361 search results - page 73 / 73 » Characterization of Semantics for Argument Systems |
JFP
2010
13 years 3 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...