443 search results - page 42 / 89 » Compensation-Aware Runtime Monitoring |
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
Thermal management in microprocessors has become a major design challenge in recent years. Thermal monitoring through hardware sensors is important, and these sensors must be care...
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
87
Voted
MLDM
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we show how frequent sequence mining (FSM) can be applied to data produced by monitoring distributed enterprise applications. In particular we show how we applied FSM...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
124
click to vote
RV
2010
Springer
14 years 11 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...