907 search results - page 73 / 182 » Monitoring of Real-Time Properties |
AIME
2007
Springer
14 years 2 months ago
2007
Springer
Many machines used in the modern hospital settings offer real time physiological monitoring. Haemodialysis machines combine a therapeutic treatment system integrated with sophistic...
DIMEA
2008
13 years 9 months ago
2008
Motion2Sound is a program that translates motion properties into sound ones. This is done by using a motion detection system(Open Cv) and one can have as an input a live web-cam o...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
RV
2007
Springer
14 years 2 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
GMAI
2006
IEEE
14 years 2 months ago
2006
IEEE
Autostereoscopic displays are a subject of recent research efforts in Computer Graphics. Such displays have to be fed graphics information in order to produce spatial images. This...