503 search results - page 52 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
107
click to vote
PPPJ
2009
ACM
15 years 8 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
105
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
The quality of information is crucial for decision making in many mission-critical applications such as battlefield operations and intelligence analysis. However, as the system b...
ACMSE
2007
ACM
15 years 5 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
138
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
118
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...