13 search results - page 1 / 3 » The Complexity of Adding Failsafe Fault-Tolerance |
ICDCS
2002
IEEE
13 years 9 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
SSS
2007
Springer
13 years 10 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
EURODAC
1995
IEEE
13 years 7 months ago
1995
IEEE
Distributed systems are becoming a popular way of implementing many embedded computing applications, automotive control being a common and important example. Such embedded systems...
HPCC
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Service composition, which enables users to construct complex services from atomic services, is an essential feature for the usability of Mobile Ad hoc Networks (MANETs)....
HASE
1999
IEEE
13 years 8 months ago
1999
IEEE
Building dependable distributed systems using ad hoc methods is a challenging task. Without proper support, an application programmer must face the daunting requirement of having ...