Protocol validation system

Protocol verification using symbolic representations of queues

Protocol-independent jsp invocation

Providing a consistent hierarchical abstraction of...

Providing a dynamic user interface for a dense three...

Providing a dynamic user interface for a dense...

Providing a graphical user interface in a system with a...

Providing a master device with slave device capability...

Providing a multi-tier enterprise level application for...

Providing a prompt for entry of information at a later time

Providing a snapshot of a subset of a file system

Providing a useable version of a data item

Providing a user access to data files distributed in a...

Providing a user interface with search query broadening

Providing access to a data item using access graphs

Providing additional system characteristics to a data...

Providing an address format compatible with different...

Providing annotations of a digital work

Providing certificate matching in a system and method for...

Providing common memory management code to objects that are...