6199 search results - page 41 / 1240 » Monitoring the |
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
RTSS
2008
IEEE
14 years 4 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
Sleep-wake protocols are critical in sensor networks to ensure long-lived operation. However, an open problem is how to develop efficient mechanisms that can be incorporated with ...
VLDB
2007
ACM
14 years 4 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
ESCIENCE
2006
IEEE
14 years 4 months ago
2006
IEEE
In production Grids for scientific applications, service and resource failures must be detected and addressed quickly. In this paper, we describe the monitoring infrastructure use...