6167 search results - page 233 / 1234 » Can Refinement be Automated |
175
click to vote
HOTSWUP
2009
ACM
15 years 10 months ago
2009
ACM
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...
190
click to vote
KDD
1999
ACM
15 years 10 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
165
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
189
click to vote
CBMS
2006
IEEE
15 years 9 months ago
2006
IEEE
Advances in medical image analysis have increased the need to integrate and deploy image analysis software in daily clinical routine and in epidemiological studies. We developed a...
169
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...