858 search results - page 162 / 172 » Formal Verification of Digital Systems |
109
Voted
IPSN
2007
Springer
15 years 4 months ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
113
click to vote
PODC
2003
ACM
15 years 3 months ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...