458 search results - page 25 / 92 » Monitoring of a Class of Timed Discrete Events Systems |
MOBIQUITOUS
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose a platform for health monitoring using wireless sensor networks. Our platform is a new architecture called CustoMed that will reduce the customization and reconfigurat...
DALT
2009
Springer
14 years 4 days ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship betwee...
CJ
2002
13 years 8 months ago
2002
monitoring indicators at different levels of abstraction. At the application level, it instruments the Java Virtual Machine (JVM) to notify several different types of events trigge...
FMSB
2008
13 years 10 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...