2468 search results - page 123 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
108
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with...
124
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents RDSS, a Resource Area Network (RAN)-based Distributed Storage System, which is designed for high scalability, long-term reliability, and operational efficiency...
147
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Several models of user churn, resilience, and link lifetime have recently appeared in the literature [12], [13], [34], [35]; however, these results do not directly apply to clas...
102
Voted
ENTCS
2007
15 years 3 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
138
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...