783 search results - page 81 / 157 » Compositional Reasoning in Model Checking |
122
Voted
AUSAI
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
111
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
107
Voted
JSW
2008
15 years 2 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
124
click to vote
FLAIRS
2007
15 years 4 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
119
click to vote
ICSOC
2010
Springer
15 years 28 days ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...