1665 search results - page 20 / 333 » Monitoring Timing Constraints in Distributed Real-Time Syste... |
ENTCS
2002
14 years 9 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
104
click to vote
IBPRIA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Power system topology is defined by the connectivity among power system components such as generators, power transformers, transmission lines, loads, etc. The knowledge about topo...
RTSS
1995
IEEE
15 years 1 months ago
1995
IEEE
Previous work in real-time database management systems (RT-DBMS) has primarily based on simulation. This paper discusses how current real-time technology has been applied to archi...
RV
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...