907 search results - page 21 / 182 » Monitoring of Real-Time Properties |
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
Real-time cardiac ultrasound allows monitoring the heart motion during intracardiac beating heart procedures. Our application assists atrial septal defect (ASD) closure techniques...
SEUS
2007
IEEE
14 years 2 months ago
2007
IEEE
The popularity of mobile and multimedia applications made real-time support a mandatory feature for embedded operating systems. However, the current situation is that the overall p...
WACV
2005
IEEE
14 years 1 months ago
2005
IEEE
Position tracking of rodents is useful and necessary to help elucidate the behavioral and physiological effects of genetic mutations, drug action, and environmental stimuli. In th...