932 search results - page 52 / 187 » Verifying Progress in Timed Systems |
124
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
128
Voted
ICRA
1995
IEEE
15 years 7 months ago
1995
IEEE
When many mobile robots should achieve cooperation, local communication system is considered appropriate from the standpoint of the cost and capacity of communication. This paper ...
219
Voted
VLDB
2009
ACM
16 years 3 months ago
2009
ACM
This paper answers the following question; given a multiplicity of evolving 1-way conversations, can a machine or an algorithm discern the conversational pairs in an online fashio...
254
Voted
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
149
Voted
ENTCS
2006
15 years 3 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...