| Patent Number |
Title Of Patent |
Date Issued |
| 7574334 |
Formal methods for modeling and analysis of hybrid systems |
August 11, 2009 |
| A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition s |
| 7554787 |
Wall crawling devices |
June 30, 2009 |
| Described herein is electroadhesion technology that permits controllable adherence between two objects. Electroadhesion uses electrostatic forces of attraction produced by an electrostatic adhesion voltage, which is applied using electrodes in an electroadhesive device. The electrostatic |
| 7403980 |
Methods and apparatus for scalable, distributed management of virtual private networks |
July 22, 2008 |
| A groupware management system for collaborative groups is disclosed that is scalable to support large, dynamic, multiple, and other virtual VPNs. The system may introduce a graph (or hierarchical) structure to the VPN, providing multiple master nodes controlling membership in subsets of |
| 7177867 |
Method and apparatus for providing scalable resource discovery |
February 13, 2007 |
| A scalable method and architecture for efficiently locating desired resources within a network containing a plurality of server nodes, each of which hosts or otherwise provides access to a subset of a global resource set. In one aspect of the invention, each of the server nodes are a |
| 7117363 |
System and method using information-based indicia for securing and authenticating transactions |
October 3, 2006 |
| A method, system, and apparatus for authenticating transactions and records is disclosed. A nonce stamp is a physical article that is relatively difficult to copy illicitly, and that bears a "nonce" number. The "nonce" is a relatively unique identifier, in that it is chosen from a di |
| 7095444 |
Method and apparatus for generating, distributing and reconstructing deconstructed video |
August 22, 2006 |
| A method and apparatus for deconstructing video into a hierarchical structure, distributing the deconstructed video and reconstructing the deconstructed video to form a video signal having characteristics that match the capabilities of a user device. The video stream may be deconstru |
| 6963077 |
Sublithographic nanoscale memory architecture |
November 8, 2005 |
| A memory array comprising nanoscale wires is disclosed. The nanoscale wires are addressed by means of controllable regions axially and/or radially distributed along the nanoscale wires. In a one-dimensional embodiment, memory locations are defined by crossing points between nanoscale wir |
| 6922696 |
Lattice-based security classification system and method |
July 26, 2005 |
| Despite advances in recent years in the area of mandatory access control in database systems, today's information repositories remain vulnerable to inference and data association attacks that can result in serious information leakage. Without support for coping against these attacks, |
| 6900479 |
Stochastic assembly of sublithographic nanoscale interfaces |
May 31, 2005 |
| A method for controlling electric conduction on nanoscale wires is disclosed. The nanoscale wires are provided with controllable regions axially and/or radially distributed. Controlling those regions by means of microscale wires or additional nanoscale wires allows or prevents electric |
| 6820244 |
Methods for testing and programming nanoscale electronic devices |
November 16, 2004 |
| This invention provides methods for discovering a connectivity relationship among external connections to a two dimensional logic cell, such as a nanocell. The connectivity relationships may then be used to derive a logical relationship among the external connections. Knowledge of the |
| 6820201 |
System and method using information-based indicia for securing and authenticating transactions |
November 16, 2004 |
| A method, system, and apparatus for authenticating transactions and records is disclosed. A nonce stamp is a physical article that is relatively difficult to copy illicitly, and that bears a "nonce" number. The "nonce" is a relatively unique identifier, in that it is chosen from a di |
