3864 search results - page 622 / 773 » time 2005 |
140
click to vote
SSS
2005
Springer
15 years 9 months ago
2005
Springer
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
123
click to vote
SSS
2005
Springer
15 years 9 months ago
2005
Springer
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...
130
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
139
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Adaptively-secure encryption schemes ensure secrecy even in the presence of an adversary who can corrupt parties in an adaptive manner based on public keys, ciphertexts, and secret...
109
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Dynamic rebinding is the ability of changing the definitions of names at execution time. While dynamic rebinding is clearly useful in practice, and increasingly needed in modern s...