24554 search results - page 95 / 4911 » Dependable distributed systems |
137
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
127
click to vote
SICHERHEIT
2010
15 years 2 months ago
2010
: A network early warning system consists of several distributed sensors to detect malicious network activity. The effectiveness of such early warning systems critically depends on...
144
click to vote
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
In systems consisting of multiple clusters of processors which are interconnected by relatively slow communication links and which employ space sharing for scheduling jobs, such a...
142
click to vote
FORTE
2007
15 years 5 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
150
click to vote
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...