Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.