1433 search results - page 200 / 287 » An approach to detecting failures automatically |
CC
2001
Springer
15 years 4 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
119
click to vote
ECBS
2004
IEEE
15 years 3 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
SOSYM
2008
14 years 11 months ago
2008
The syntax of modeling languages is usually defined in two steps. The abstract syntax identifies modeling concepts whereas the concrete syntax clarifies how these modeling concepts...
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...
100
click to vote
MMDB
2004
ACM
15 years 5 months ago
2004
ACM
This paper describes a fully automatic content-based approach for browsing and retrieval of MPEG-2 compressed video. The first step of the approach is the detection of shot bound...