443 search results - page 26 / 89 » Compensation-Aware Runtime Monitoring |
127
Voted
JUCS
2006
15 years 2 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
116
Voted
IJCIS
2006
15 years 2 months ago
2006
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
188
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
This demonstration presents FireStream, a sensor stream processing system which provides services for run-time detection, monitoring and visualization of fire spread in intelligen...
130
Voted
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
102
click to vote
FORTE
2004
15 years 3 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...