1129 search results - page 104 / 226 » Modular Ranking Abstraction |
159
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
185
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
190
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
175
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
232
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...