177 search results - page 5 / 36 » Requirements-based monitors for real-time systems |
HASE
1997
IEEE
15 years 1 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
SAC
2003
ACM
15 years 2 months ago
2003
ACM
We present a distributed framework that enables real-time streaming and visualization of data generated by large remote simulations. We address issues arising from distributed cli...
104
Voted
ICIAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Background updating is an important aspect of dynamic scene analysis. Two critical problems: sudden camera perturbation and the sleeping person problem, which arise frequ...
101
click to vote
AINA
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a framework for a wireless health monitoring system within a smart home using ZigBee technology. Vital signals are collected and processed using a 3-tiered architecture...