907 search results - page 85 / 182 » Monitoring of Real-Time Properties |
PATMOS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present a new approach to power modeling and runtime power estimation for wireless network interface cards (WNICs). We obtain run-time power estimates by...
NCI
2004
13 years 9 months ago
2004
In this paper, we present a neural networks and image analysis based approach to assessing colour deviations in an offset printing process from direct measurements on halftone mult...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Service level agreements (SLAs) specify performance guarantees made by service providers, typically in terms of packet loss, delay, delay variation, and network availab...