1422 search results - page 182 / 285 » Complementation in Abstract Interpretation |
146
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
155
Voted
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
117
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
120
Voted
BILDMED
2008
15 years 5 months ago
2008
Abstract. Perfusion data characterize the regional blood flow in human tissue. For each voxel, a time-intensity curve (TIC) represents the enhancement of a contrast agent (CA). Par...
114
Voted
BILDMED
2008
15 years 5 months ago
2008
Abstract. Due to the actual demographic development the use of Computer-Assisted Diagnosis (CAD) systems becomes a more important part of clinical workflows and clinical decision m...