783 search results - page 92 / 157 » Compositional Reasoning in Model Checking |
126
click to vote
MOMM
2009
ACM
15 years 7 months ago
2009
ACM
Modeling adaptivity is a challenging task for two reasons: 1) adaptation is usually strongly interwoven with the general functionality of the web application, separation of concer...
123
Voted
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with n...
134
click to vote
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
128
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
102
click to vote
ECOWS
2006
Springer
15 years 6 months ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...