458 search results - page 48 / 92 » Monitoring of a Class of Timed Discrete Events Systems |
STACS
2000
Springer
14 years 10 days ago
2000
Springer
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
MABS
2000
Springer
14 years 11 days ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we present an extensible visualization tool that is being used in a web-based closed laboratory system. The goal of this project is to provide a tool for both stude...
RTAS
2002
IEEE
14 years 1 months ago
2002
IEEE
Large-scale wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from traditional networked sys...