827 search results - page 90 / 166 » Proof-Theoretic Soundness and Completeness |
118
Voted
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
106
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...
94
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
120
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
105
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...