336 search results - page 52 / 68 » Monitoring modulo theories |
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
Evidence-based care is an increasingly popular process for long term diagnosis and monitoring of education and healthcare disabilities. Because this evidence must also be collecte...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
When on the move, cognitive resources are reserved partly for passively monitoring and reacting to contexts and events, and partly for actively constructing them. The Resource Com...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
Although privacy is broadly recognized as a dominant concern for the development of novel interactive technologies, our ability to reason analytically about privacy in real settin...
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
Reverse skyline queries over uncertain databases have many important applications such as sensor data monitoring and business planning. Due to the existence of uncertainty in many...