503 search results - page 101 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
CACM
1998
13 years 5 months ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
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...
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...