3 search results - page 1 / 1 » A Temporal Abductive Diagnostic Process for Runtime Properti... |
EXACT
2008
13 years 7 months ago
2008
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
ECAI
2008
Springer
13 years 5 months ago
2008
Springer
In many domains successful execution of plans requires careful monitoring and repair. Diagnosis of plan execution supports this process by identifying causes of plan failure. Most ...
PTS
1998
13 years 6 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...