Nasdaq, Inc.

Nasdaq Technology Ab

Michael Craig

Dominick Paniscotti

Thomas Bryan Fay

Robert Adolfsson

Thomas Fay

Jan Tilfors

A system for processing distributed transactions is provided. The system includes a sequencer that communicates an atomic message stream to multiple different service instances. The service instances each process the messages from the message stream into a local queue. Each service instance also executes a state machine by reading messages from a queue and transitioning between states in the state machine while also performing one or more operations in connection with performing a distributed transaction.

Distributed stream-based ACID transactions

A computer system is provided that allows participants to submit agent data structures for processing. Each agent data structure includes a valuation function for a first resource and a property of a second resource. The computer system performs a dual sided evaluation process to determine when contra-sided agents match with one another. A match is determined by comparing results of valuation functions of the agent data structures.

Systems and methods of matching customizable data transaction requests

A computer is provided that includes a search engine. The search engine is configured to receive a search request and conduct a search against a database. Each record within the database includes or is associated with a display criteria or profile that specifies when data from that record can be included into a response to a search.

Systems and methods of conditional search techniques

A computer system is provided that allows participants to submit agent data structures for processing. The computer system performs a dual sided evaluation process to determine when contra-sided agents match with one another.

Growing community of inventors

Wayne, NJ, United States of America

Michael Craig