4520 search results - page 377 / 904 » Algebraic Techniques for Timed Systems |
216
click to vote
NCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...
202
click to vote
P2P
2005
IEEE
16 years 1 months ago
2005
IEEE
The availability of a P2P service is a function of the individual peers’ availabilities, and it is often desirable to estimate how available a particular P2P service will be giv...
205
click to vote
WOSP
2005
ACM
16 years 1 months ago
2005
ACM
Designers of distributed systems often rely on replicas for increased robustness, scalability, and performance. Replicated server architectures require some technique to select a ...
195
click to vote
SELMAS
2005
Springer
16 years 1 months ago
2005
Springer
Software reuse technologies have been a driving force in significantly reducing both the time and cost of software specification, development, maintenance and evolution. However, t...
181
click to vote
PODC
1998
ACM
15 years 11 months ago
1998
ACM
ÐIn this paper, we explore techniques to detect Byzantine server failures in asynchronous replicated data services. Our goal is to detect arbitrary failures of data servers in a s...