813 search results - page 129 / 163 » Correctness Properties for Multiagent Systems |
130
Voted
ASE
2004
15 years 3 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
155
Voted
EUROMED
2010
15 years 1 months ago
2010
A map series of 1920s Mytilene town, property of Lesvos Archives, had been inaccessible due to its poor condition. One map of this series was restored, scanned, digitised and given...
145
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we consider the k-set agreement problem in distributed round-based systems where processes communicate by message passing. We capture the synchrony and reliability o...
155
click to vote
HASE
1997
IEEE
15 years 7 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
137
click to vote
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...