24554 search results - page 21 / 4911 » Dependable distributed systems |
ISORC
2003
IEEE
15 years 2 months ago
2003
IEEE
sents some concluding remarks and discusses future work. This paper considers the problem of integrating commercial off-the-shelf (COTS) software components into systems with high ...
100
click to vote
WCRE
2007
IEEE
15 years 3 months ago
2007
IEEE
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
CONCUR
2000
Springer
15 years 1 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
72
Voted
SIGOPS
2010
14 years 4 months ago
2010
In order to be economically feasible and to offer high levels of availability and performance, large scale distributed systems depend on the automation of repair services. While t...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions. Cate...