443 search results - page 6 / 89 » Compensation-Aware Runtime Monitoring |
99
Voted
TGC
2005
Springer
15 years 3 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
156
click to vote
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
We present an approach and implementation for run-time correlation of large volumes of log data and symptom matching of know issues in the context of large enterprise applications...
109
click to vote
HVC
2005
Springer
15 years 3 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...