2595 search results - page 38 / 519 » Modes in Asynchronous Systems |
133
click to vote
CAV
2003
Springer
15 years 9 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...
133
click to vote
AC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
117
click to vote
EWSA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
141
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
According to the taxonomy for agent activity, proposed by V. Parunak, a collaboration is an interaction between agents of a multi-agent system (MAS) whereby the agents explicitly ...
160
click to vote
TC
2002
15 years 3 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...