6608 search results - page 1052 / 1322 » On the Completeness of Model Checking |
189
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...
195
click to vote
PRDC
2000
IEEE
15 years 11 months ago
2000
IEEE
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...
171
Voted
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
192
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
We consider the problem of coordination and control of large heterogeneous groups of agents distributed over the Internet in the context of Law-Governed Interaction (LGI) [2, 5]. L...
192
click to vote
CA
1999
IEEE
15 years 11 months ago
1999
IEEE
MPEG-4 is scheduled to become an International Standard in March 1999. This paper demonstrates an experiment for a virtual cloning method and animation system, which is compatible...