4508 search results - page 902 / 902 » Design of human-map system interaction |
119
Voted
JFP
2010
15 years 1 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...
120
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
144
Voted
EMSOFT
2010
Springer
15 years 22 days ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...