Lucent Technologies Inc.

Alcatel-lucent USA Inc.

At+t Corp.

Michael Abraham Benedikt

Thomas J Ball

Peter Andrew Mataga

Kenneth G Rehor

Curtis Duane Tuckey

Carlos Miguel Puchol

Rajeev R Rastogi

Minos N Garofalakis

James Christopher Ramming

Patrice Ismael Godefroid

Leonid Libkin

Avinash Vyas

Juliana Freire Silva

David Alan Ladd

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&#x2014;be it a link, via a button with a JavaScript handler, or via form submission&#x2014;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.

Automatic exploration and testing of dynamic Web sites

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.

Method for performing information-preserving DTD schema embeddings

A 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.

Structured voicemail messages

Method and apparatus for creating and sending structured voicemail messages

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.

Method and apparatus for assembling and presenting structured voicemail messages

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.

Methods and apparatus for generating and using safe constraint queries

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.

Method and apparatus for generating program code for world wide web

Growing community of inventors

Chicago, IL, United States of America

Michael Abraham Benedikt