1737 search results - page 224 / 348 » On Interpolation in Existence Logics |
137
click to vote
CDES
2007
15 years 7 months ago
2007
—Fault collapsing is the process of reducing the number of faults by using redundance and equivalence/dominance relationships among faults. Exact global fault collapsing can be e...
178
click to vote
FMOODS
2008
15 years 7 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
150
click to vote
IFIP8
2007
15 years 7 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
155
click to vote
SPLC
2008
15 years 7 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
175
click to vote
AKA
2004
15 years 7 months ago
2004
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...