452 search results - page 41 / 91 » Diagnosability Analysis of Distributed Discrete Event System... |
MABS
2004
Springer
14 years 1 months ago
2004
Springer
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
SPRINGSIM
2007
13 years 8 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
PPOPP
2005
ACM
14 years 1 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
DCOSS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents a failure diagnosis algorithm for summarizing and generalizing patterns that lead to instances of anomalous behavior in sensor networks. Often multipl...
WSC
1997
13 years 9 months ago
1997
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...