专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US07716322B2 Automatic exploration and testing of dynamic Web sites 有权
标题翻译：自动探索和测试动态网站
公开(公告)号：US07716322B2
公开(公告)日：2010-05-11
申请号：US10252210
申请日：2002-09-23
申请人： Michael Abraham Benedikt , Juliana Freire Silva , Patrice Ismael Godefroid , Avinash Vyas
发明人： Michael Abraham Benedikt , Juliana Freire Silva , Patrice Ismael Godefroid , Avinash Vyas
IPC分类号： G06F15/173 , G06F15/16 , G06F17/00 , G06F17/27
CPC分类号： G06F17/30864
摘要： A unique tool, i.e., “VeriWeb”, is employed to automatically discover and systematically explore Web-site execution paths that can be followed by a user in a Web application. Unlike traditional spiders (or crawlers) that are limited to the exploration of static links, VeriWeb can navigate automatically through dynamic components of Web sites, including form submissions and execution of client-side scripts. Whenever examining a new Web page, the system determines all possible actions a user might perform—be it a link, via a button with a JavaScript handler, or via form submission—and can execute them in a systematic way. In order to systematically test different paths in a Web site, VeriWeb addresses two critical problems: systematic Web site exploration and automatically filling out forms.
摘要翻译：采用独特的工具，即“VeriWeb”来自动发现和系统地探索Web应用程序中用户可以遵循的网站执行路径。不同于仅限于探索静态链接的传统蜘蛛（或爬虫），VeriWeb可以通过Web站点的动态组件自动导航，包括表单提交和客户端脚本的执行。每当检查新的网页时，系统将确定用户可能执行的所有可能的操作 - 无论是链接，通过JavaScript处理程序的按钮，还是通过表单提交，并且可以以系统的方式执行它们。为了系统地测试网站中的不同路径，VeriWeb解决了两个关键问题：系统的网站探索和自动填写表单。

2. 发明授权

US07496571B2 Method for performing information-preserving DTD schema embeddings 有权
标题翻译：执行信息保存DTD模式嵌入的方法
公开(公告)号：US07496571B2
公开(公告)日：2009-02-24
申请号：US10955322
申请日：2004-09-30
申请人： Michael Abraham Benedikt , Minos N. Garofalakis , Rajeev Rastogi
发明人： Michael Abraham Benedikt , Minos N. Garofalakis , Rajeev Rastogi
IPC分类号： G06F17/30
CPC分类号： G06F17/2247 , G06F17/227 , Y10S707/99931 , Y10S707/99932 , Y10S707/99933 , Y10S707/99934 , Y10S707/99935 , Y10S707/99936 , Y10S707/99937 , Y10S707/99942
摘要： Method for performing information-preserving DTD schema embeddings between a source schema when matching a source schema and a target schema. The preservation is realized by a matching process between the two schemas that finds a first string marking of the target schema, evaluates a legality of the first string marking, determines an estimated minimal cost of the first string marking and subsequently adjusts the estimated minimal cost based upon one to one mapping of source schema and target schema subcomponents.
摘要翻译：在匹配源模式和目标模式时，在源模式之间执行信息保留DTD模式嵌入的方法。通过在找到目标模式的第一个字符串标记的两个模式之间的匹配过程来实现保存，评估第一个字符串标记的合法性，确定第一个字符串标记的估计最小成本，并随后调整估计的最小成本在源模式和目标模式子组件的一对一映射。

3. 发明授权

US5966535A Method and apparatus for generating program code for world wide web service applications 失效
标题翻译：用于生成万维网服务应用程序代码的方法和装置
公开(公告)号：US5966535A
公开(公告)日：1999-10-12
申请号：US569046
申请日：1995-12-07
申请人： Michael Abraham Benedikt , David Alan Ladd , James Christopher Ramming
发明人： Michael Abraham Benedikt , David Alan Ladd , James Christopher Ramming
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/436 , G06F8/30
摘要： A new application language called the MAWL language and a compiler for the new application language called the MAWL compiler are provided for use by programmers of World Wide Web services. The MAWL language and the MAWL compiler may be used to provide any World Wide Web service, but they are especially useful for programming interactive services. The MAWL language provides an expressive typing capability. Through this expressive ability World Wide Web services that have defined states, sequences and sessions are straightforward where previously such capabilities do not exist. Further, the MAWL compiler performs error checking for common errors and self-consistency before actual compiling so run-time error checking is avoided. Together the MAWL language and the MAWL compiler greatly increase the productivity of the World Wide Web programmer and the complexity of the World Wide Web services that can reliably be provided.
摘要翻译：一种称为MAWL语言的新应用程序语言和一种称为MAWL编译器的新应用程序语言的编译器，供万维网服务的程序员使用。 MAWL语言和MAWL编译器可用于提供任何万维网服务，但它们对编程交互式服务特别有用。 MAWL语言提供了表达式的打字功能。通过这种具有表现力的能力，已经定义了状态，序列和会话的万维网服务是很简单的，以前这种功能不存在。此外，MAWL编译器在实际编译之前对常见错误和自身一致性执行错误检查，因此避免了运行时错误检查。 MAWL语言和MAWL编译器一起大大提高了万维网程序员的生产力，并提供了可靠提供的万维网服务的复杂性。

4. 发明授权

US06240391B1 Method and apparatus for assembling and presenting structured voicemail messages 有权
标题翻译：用于组合和呈现结构化语音邮件消息的方法和装置
公开(公告)号：US06240391B1
公开(公告)日：2001-05-29
申请号：US09318450
申请日：1999-05-25
申请人： Thomas J. Ball , Michael Abraham Benedikt , Peter Andrew Mataga , Carlos Miguel Puchol , Kenneth G. Rehor , Curtis Duane Tuckey
发明人： Thomas J. Ball , Michael Abraham Benedikt , Peter Andrew Mataga , Carlos Miguel Puchol , Kenneth G. Rehor , Curtis Duane Tuckey
IPC分类号： G10L1100
CPC分类号： H04M3/493 , H04M3/533 , H04M2201/60
摘要： The method for assembling and presenting a structured electronic message begins when the sender creates a voicemail message that includes a plurality of messaging elements that include embedded instructions that define a structure of the message. Other messaging elements may include textual fragments, audio fragments that refer to audio data files that are associated with the message, and/or references to textual fragments and/or audio fragments that are stored at specified locations. The instructions may define a hierarchical menu structure which, when the message is presented to the recipient by a messaging system, offers the recipient different navigational choices from which the recipient may select and thus effect the information content of what is presented. The structured message is sent by the sender to the recipient at an address on a messaging system that stores the message and is capable of interpreting and assembling the messaging elements in accordance with the embedded instruction and playing-out the message to the recipient when the recipient accesses the system and retrieves the message from storage. The structured message may also include links to a specific destination, to which the messaging system establishes a connection if the link is selected by the recipient during play-out of the message. Further, the messaging system can gather information from the recipient during play-out and forward that information to a specified destination, which may respond with another structured message. In the described embodiment, a phone markup language is used to define the structure and the inherent embedded instructions associated with the structure of the message.
摘要翻译：组装和呈现结构化电子消息的方法开始于当发送者创建包括定义消息结构的嵌入式指令的多个消息传送元素的语音邮件消息时。其他消息传送元件可以包括文本片段，涉及与该消息相关联的音频数据文件的音频片段，和/或对存储在指定位置的文本片段和/或音频片段的引用。指令可以定义分层菜单结构，当消息通过消息收发系统向接收者呈现时，向接收方提供接收者可以选择的不同导航选择，从而影响所呈现的信息内容。结构化消息由发送者在存储消息的消息传递系统上的地址发送给接收者，并且能够根据嵌入的指令解释和组合消息传送元素，并且当接收者发送消息时将消息发送给接收者访问系统并从存储中检索消息。结构化消息还可以包括到特定目的地的链接，如果在播放消息期间由接收者选择链接，则消息系统建立连接。此外，消息传递系统可以在播放期间从接收者收集信息，并将该信息转发到指定的目的地，其可以用另一结构化消息进行响应。在所描述的实施例中，使用电话标记语言来定义与消息的结构相关联的结构和固有的嵌入式指令。

5. 发明授权

US06459774B1 Structured voicemail messages 有权
标题翻译：结构化语音邮件消息
公开(公告)号：US06459774B1
公开(公告)日：2002-10-01
申请号：US09318441
申请日：1999-05-25
申请人： Thomas J. Ball , Michael Abraham Benedikt , Peter Andrew Mataga , Carlos Miguel Puchol , Kenneth G. Rehor , Curtis Duane Tuckey
发明人： Thomas J. Ball , Michael Abraham Benedikt , Peter Andrew Mataga , Carlos Miguel Puchol , Kenneth G. Rehor , Curtis Duane Tuckey
IPC分类号： H04M164
CPC分类号： H04M3/493 , H04M3/533 , H04M2201/60 , Y10S379/908
摘要： A sender (101) creates a voicemail message that includes a plurality of messaging elements that include embedded instructions that define a structure of the message. Other messaging elements may include textual fragments, audio fragments that refer to audio data files that are associated with the message, and/or references to textual fragments and/or audio fragments that are stored at specified locations. The instructions may define a hierarchical menu structure which, when the message is presented to the recipient (106) by a messaging system (104), offers the recipient different navigational choices from which the recipient may select and thus effect the information content of what is presented. The structured message is sent by the sender to the recipient at an address on a messaging system that stores the message and is capable of interpreting and assembling the messaging elements in accordance with the embedded instruction and playing-out the message to the recipient when the recipient accesses the system and retrieves the message from storage. The structured message may also include links to a specific destination, to which the messaging system establishes a connection if the link is selected by the recipient during play-out of the message. Further, the messaging system can gather information from the recipient during play-out and forward that information to a specified destination, which may respond with another structured message. In the described embodiment, a phone markup language is used to define the structure and the inherent embedded instructions associated with the structure of the message.
摘要翻译：发送者（101）创建语音邮件消息，其包括多个消息传送元素，其包括定义消息结构的嵌入式指令。其他消息传送元件可以包括文本片段，涉及与该消息相关联的音频数据文件的音频片段，和/或对存储在指定位置的文本片段和/或音频片段的引用。指令可以定义分层菜单结构，当通过消息传递系统（104）将消息呈现给接收者（106）时，向接收者提供接收者可以从中选择的不同的导航选择，从而影响所接收者的信息内容呈现。结构化消息由发送者在存储消息的消息传递系统上的地址发送给接收者，并且能够根据嵌入的指令解释和组合消息传送元素，并且当接收者发送消息时将消息发送给接收者访问系统并从存储中检索消息。结构化消息还可以包括到特定目的地的链接，如果在播放消息期间由接收者选择链接，则消息系统建立连接。此外，消息传递系统可以在播放期间从接收者收集信息，并将该信息转发到指定的目的地，其可以用另一结构化消息进行响应。在所描述的实施例中，使用电话标记语言来定义与消息的结构相关联的结构和固有的嵌入式指令。

6. 发明授权

US06393107B1 Method and apparatus for creating and sending structured voicemail messages 有权
标题翻译：用于创建和发送结构化语音邮件消息的方法和设备
公开(公告)号：US06393107B1
公开(公告)日：2002-05-21
申请号：US09318140
申请日：1999-05-25
申请人： Thomas J. Ball , Michael Abraham Benedikt , Peter Andrew Mataga , Carlos Miguel Puchol , Kenneth G. Rehor , Curtis Duane Tuckey
发明人： Thomas J. Ball , Michael Abraham Benedikt , Peter Andrew Mataga , Carlos Miguel Puchol , Kenneth G. Rehor , Curtis Duane Tuckey
IPC分类号： H04M164
CPC分类号： H04M3/533 , H04M3/493 , H04M2201/60 , Y10S379/908
摘要： A sender (101) creates a voicemail message that includes a plurality of messaging elements that include embedded instructions that define a structure of the message. Other messaging elements may include textual fragments, audio fragments that refer to audio data files that are associated with the message, and/or references to textual fragments and/or audio fragments that are stored at specified locations. The instructions may define a hierarchical menu structure which, when the message is presented to the recipient (106) by a messaging system (104), offers the recipient different navigational choices from which the recipient may select and thus effect the information content of what is presented. The structured message is sent by the sender to the recipient at an address on a messaging system that stores the message and is capable of interpreting and assembling the messaging elements in accordance with the embedded instruction and playing-out the message to the recipient when the recipient accesses the system and retrieves the message from storage. The structured message may also include links to a specific destination, to which the messaging system establishes a connection if the link is selected by the recipient during play-out of the message. Further, the messaging system can gather information from the recipient during play-out and forward that information to a specified destination, which may respond with another structured message. In the described embodiment, a phone markup language is used to define the structure and the inherent embedded instructions associated with the structure of the message.
摘要翻译：发送者（101）创建语音邮件消息，其包括多个消息传送元素，其包括定义消息结构的嵌入式指令。其他消息传送元件可以包括文本片段，涉及与该消息相关联的音频数据文件的音频片段，和/或对存储在指定位置的文本片段和/或音频片段的引用。指令可以定义分层菜单结构，当通过消息传递系统（104）将消息呈现给接收者（106）时，向接收者提供接收者可以从中选择的不同的导航选择，从而影响所接收者的信息内容呈现。结构化消息由发送者在存储消息的消息传递系统上的地址发送给接收者，并且能够根据嵌入的指令解释和组合消息传送元素，并且当接收者发送消息时将消息发送给接收者访问系统并从存储中检索消息。结构化消息还可以包括到特定目的地的链接，如果在播放消息期间由接收者选择链接，则消息系统建立连接。此外，消息传递系统可以在播放期间从接收者收集信息，并将该信息转发到指定的目的地，其可以用另一结构化消息进行响应。在所描述的实施例中，使用电话标记语言来定义与消息的结构相关联的结构和固有的嵌入式指令。

7. 发明授权

US06202063B1 Methods and apparatus for generating and using safe constraint queries 失效
标题翻译：用于生成和使用安全约束查询的方法和装置
公开(公告)号：US06202063B1
公开(公告)日：2001-03-13
申请号：US09322660
申请日：1999-05-28
申请人： Michael Abraham Benedikt , Leonid Libkin
发明人： Michael Abraham Benedikt , Leonid Libkin
IPC分类号： G06F1730
CPC分类号： G06F17/30471 , Y10S707/961 , Y10S707/99932 , Y10S707/99933 , Y10S707/99934 , Y10S707/99944 , Y10S707/99945
摘要： Methods and apparatus are provided for ensuring that queries presented to a database are safe thus providing solutions to both undecidability and lack of effective syntax issues. In a one aspect of the invention, a method for use in a database system includes obtaining an original query entered by a user. The invention then provides for pre-processing the query before submittal to a database engine associated with the database system wherein a result of the pre-processing operation is to ensure that a query provided to the engine is safe. Safety has a different meaning depending on the application. For example, safety may include ensuring that a query will return an output with finite results or it may include ensuring that certain geometric properties in the query are preserved in the output.
摘要翻译：提供了方法和设备，以确保提交给数据库的查询是安全的，从而为不可判定性和缺乏有效的语法问题提供解决方案。在本发明的一个方面，一种在数据库系统中使用的方法包括获得由用户输入的原始查询。然后，本发明提供在提交给与数据库系统相关联的数据库引擎之前预处理查询，其中预处理操作的结果是确保提供给引擎的查询是安全的。根据应用情况，安全性有不同的含义。例如，安全性可以包括确保查询将返回具有有限结果的输出，或者可以包括确保查询中的某些几何属性被保留在输出中。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式