3 search results - page 1 / 1 » A Temporal Abductive Diagnostic Process for Runtime Properti... |
109
Voted
EXACT
2008
15 years 1 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...
105
click to vote
ECAI
2008
Springer
14 years 12 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 ...
88
Voted
PTS
1998
15 years 7 days 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...