783 search results - page 62 / 157 » Compositional Reasoning in Model Checking |
SLE
2009
Springer
14 years 1 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
RP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
ATAL
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
CSFW
2006
IEEE
14 years 22 days ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...