177 search results - page 2 / 36 » Requirements-based monitors for real-time systems |
SEUS
2007
IEEE
14 years 9 days ago
2007
IEEE
Abstract. Accurate real-time monitoring of structural health can result in significant safety improvements, while providing data that can be used to improve design and constructio...
ICESS
2004
Springer
13 years 11 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
ENTCS
2002
13 years 5 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...
ICDCSW
2000
IEEE
13 years 10 months ago
2000
IEEE
One of the main problems to ensure the quality of services (QoS) in video playback in a replicated distributed video player system is how to adapt to the changing network traffic ...
IPPS
2007
IEEE
14 years 10 days ago
2007
IEEE
- Monitoring and controlling a large number of geographically distributed scientific instruments is a challenging task. Some operations on these instruments require real-time (or q...