18493 search results - page 69 / 3699 » Timers for Distributed Systems |
105
click to vote
HOTOS
2003
IEEE
15 years 7 months ago
2003
IEEE
Upgrading the software of long-lived distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be down and halting t...
111
click to vote
ECOOP
1994
Springer
15 years 6 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
139
click to vote
IC3
2009
15 years 4 days ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
123
click to vote
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
99
Voted
IWDC
2004
Springer
15 years 7 months ago
2004
Springer
Intrusion detection for computer systems is a key problem in today’s networked society. Current distributed intrusion detection systems (IDSs) are not fully distributed as most o...