Abstract: A system for retrieving and disseminating information records from Internet sources includes a client device and an intermediary server system, including software, between the client device and the Internet. The system collects a record specific to a client from an individual one of said Internet sources in a first form in which the record is recorded at the Internet source, transforms the record from the first form to a second form specific to an application other than an Internet browser application, the application executable by the client device, and transmits the transformed record to the client device for display in the application other than an Internet browser application executable by the client device. In some cases the client device connects by a data link that is not Internet-compatible link. Data mining on the Internet specific to clients and client devices is taught, with aggregation services and synchronization for keeping a client up-to-date efficiently for changing data content.

Abstract: An Internet portal system for accomplishing a multi-component task involving interaction with one or more Internet Web sites includes an Internet-connected server having access to client-related data, an internet-capable client station usable by a client, and software executing on the server for managing individual component tasks in execution of the multi-component task. The software, in response to initiation of a multi-component task specified by the client, defines the component tasks, identifies Internet Web sources for completion of the tasks, manages interaction with the identified Web sites gathering results of the interactions, integrates the gathered results, and communicates final results to the client at the client station. Tasks may be such as trip planning and may include payment for services rendered at Web sites, such as airline reservations, car rentals and the like.

Abstract: A system for retrieving and disseminating information records from Internet sources includes a client device and an intermediary server system, including software, between the client device and the Internet. The system collects a record specific to a client from an individual one of said Internet sources in a first form in which the record is recorded at the Internet source, transforms the record from the first form to a second form specific to an application other than an Internet browser application, the application executable by the client device, and transmits the transformed record to the client device for display in the application other than an Internet browser application executable by the client device. In some cases the client device connects by a data link that is not Internet-compatible link. Data mining on the Internet specific to clients and client devices is taught, with aggregation services and synchronization for keeping a client up-to-date efficiently for changing data content.

Abstract: An Internet-connected portal system has a data repository, a data-gathering system, a request processor, a plurality of report algorithms, and a report processor. The request processor receives a request from a user and matches the request to an individual one of the report algorithms. The data-gathering subsystem accesses plural Internet sites associated with the user and extracts raw data therefrom according to needs of the report algorithm. The report processor processes the raw data according to the report algorithm into metasummarized information defined by the report algorithm, and the portal system transmits the metasummarized information as a report to a destination associated with the report request.

Abstract: A state-transition system is extracted from a high-level description of a design. Assumptions regarding states of the design are determined for an initial clock cycle. Linear arithmetic relations are introduced to these assumptions. Guarantees are determine that provide properties of the design that hold after a fixed number of clock cycles. Symbolic simulation is performed for a limited number of clock cycles on the state transition system of the design. If the guarantees hold once simulation is performed, the design is verified. Otherwise, counter-examples are generated.

Abstract: An Internet portal system for accomplishing a multi-component task involving interaction with one or more Internet Web sites includes an Internet-connected server having access to client-related data, an internet-capable client station usable by a client, and software executing on the server for managing individual component tasks in execution of the multi-component task. The software, in response to initiation of a multi-component task specified by the client, defines the component tasks, identifies Internet Web sources for completion of the tasks, manages interaction with the identified Web sites gathering results of the interactions, integrates the gathered results, and communicates final results to the client at the client station. Tasks may be such as trip planning and may include payment for services rendered at Web sites, such as airline reservations, car rentals and the like.

Abstract: A search function is provided for Internet searching capable of searching to greater depth than conventional search functions. The new function tests returned electronic documents from a first search for a second search function, and, finding a second function, transfers at least a form of first search criteria into the second search function, then initiated the second function, and returns at least addresses of documents found by the second function into the first function. In a preferred embodiment a search function according to the invention is provided by a subscription portal server, and operates by proxy, initiated and controlled by subscribers. In this form, primary searches may be limited to destinations registered to specific subscribers using the function.

Abstract: A methodology for generating structural descriptions of complex digital devices from high-level descriptions and specifications is disclosed. The methodology uses a systematic technique to map and enforce consistency of the semantics imbedded in the intent of the original, high-level descriptions. The design activity is essentially a series of transformations operating upon various levels of design representations. At each level, the intended meaning (semantics) and formal software manipulations are captured to derive a more detailed level describing hardware meeting the design goals. Important features of the methodology are: capturing the users concepts, intent, specification, descriptions, constraints and trade-offs; architectural partitioning; what-if analysis at a high level; sizing estimation; timing estimation; architectural trade-off; conceptual design with implementation estimation; and timing closure.

Abstract: A methodology for generating structural descriptions of complex digital devices from high-level descriptions and specifications is disclosed. The methodology uses a systematic technique to map and enforce consistency of the semantics imbedded in the intent of the original, high-level descriptions. The design activity is essentially a series of transformations operating upon various levels of design representations. At each level, the intended meaning (semantics) and formal software manipulations are captured to derive a more detailed level describing hardware meeting the design goals. Important features of the methodology are: capturing the users concepts, intent, specification, descriptions, constraints and trade-offs; architectural partitioning; what-if analysis at a high level; sizing estimation; timing estimation; architectural trade-off; conceptual design with implementation estimation; and timing closure.