511 search results - page 78 / 103 » A Model for Space-Correlated Failures in Large-Scale Distrib... |
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
SSS
2005
Springer
14 years 2 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 ...
NOSSDAV
2005
Springer
14 years 2 months ago
2005
Springer
The cost savings and novel features associated with Voice over IP (VoIP) are driving its adoption by service providers. Such a transition however can successfully happen only if t...
AMAI
2008
Springer
13 years 8 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...
SODA
2008
ACM
13 years 10 months ago
2008
ACM
A common approach for dealing with large data sets is to stream over the input in one pass, and perform computations using sublinear resources. For truly massive data sets, howeve...