295 search results - page 11 / 59 » Invariants Based Failure Diagnosis in Distributed Computing ... |
IANDC
2008
13 years 7 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
DSN
2003
IEEE
14 years 25 days ago
2003
IEEE
Fault-tolerant distributed systems based on fieldbuses may benefit to a great extent from the availabilityof semantically rich communication services,such as those provided by g...
FORTE
2004
13 years 9 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
WWW
2003
ACM
14 years 24 days ago
2003
ACM
An important factor in the successful deployment of federated web-services-based business activities will be the ability to guarantee reliable distributed operation and execution....
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
The growing interest in ad hoc wireless network applications that are made of large and dense populations of lightweight system resources calls for scalable approaches to fault to...