4 search results - page 1 / 1 » On Excusable and Inexcusable Failures |
FM
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
PRIMA
2007
Springer
13 years 10 months ago
2007
Springer
DSN
2002
IEEE
13 years 9 months ago
2002
IEEE
Software developers identify two main reasons why software systems are not made robust: performance and practicality. This work demonstrates the effectiveness of general technique...
AIPS
2010
13 years 4 months ago
2010
When using a planner-based agent architecture, many things can go wrong. First and foremost, an agent might fail to execute one of the planned actions for some reasons. Even more ...