1972 search results - page 13 / 395 » The Timed Asynchronous Distributed System Model |
114
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
124
click to vote
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
110
Voted
ACTA
2007
15 years 2 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
129
click to vote
SRDS
1999
IEEE
15 years 6 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...