774 search results - page 98 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
VLSID
2006
IEEE
15 years 3 months ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
CTRSA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Identity-Based Encryption (IBE) offers an interesting alternative to PKI-enabled encryption as it eliminates the need for digital certificates. While revocation has bee...
ACMACE
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we propose a new method to edit captured human motion data by using the data glove. The animator first wears a glove and mimics the human body motion observed in t...
SIGMETRICS
2004
ACM
15 years 3 months ago
2004
ACM
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...