4963 search results - page 291 / 993 » Implementing a Categorical Information System |
173
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
For the management of a large number of motion data for humanoid virtual actors we propose to use a database system to store and retrieve motion data with additional information. ...
193
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
156
click to vote
HPDC
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper a model for scheduling in wide-area systems is described. The model is federated and utilizes a collection of local site schedulers that control the use of their res...
193
click to vote
WCE
2007
15 years 7 months ago
2007
—RFID facilitates processing of product information, making it a promising technology for anti-counterfeiting. A number of RFID anti-counterfeiting mechanisms have recently been ...
194
click to vote
IJNSEC
2007
15 years 6 months ago
2007
In this paper a secure error-signalling scheme for packetswitched network architectures is presented. Current solutions are based on the Internet Control Message Protocol to deliv...