18493 search results - page 69 / 3699 » Timers for Distributed Systems |
HOTOS
2003
IEEE
14 years 2 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...
ECOOP
1994
Springer
14 years 1 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...
IC3
2009
13 years 6 months 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...
DEBS
2008
ACM
13 years 10 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...
IWDC
2004
Springer
14 years 2 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...