177 search results - page 3 / 36 » Requirements-based monitors for real-time systems |
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
1992
IEEE
15 years 1 months ago
1992
IEEE
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
RV
2010
Springer
14 years 7 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...