8190 search results - page 1399 / 1638 » From Timed to Hybrid Systems |
296
click to vote
CRYPTO
2004
Springer
16 years 1 days ago
2004
Springer
In the bare public-key model (BPK in short), each verifier is assumed to have deposited a public key in a file that is accessible by all users at all times. In this model, intro...
193
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
Nowadays, large distributed databases are commonplace. Client applications increasingly rely on accessing objects from multiple remote hosts. The Internet itself is a huge network ...
185
click to vote
HIPC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
173
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
158
click to vote
IH
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...