780 search results - page 54 / 156 » Compositional Quantitative Reasoning |
128
click to vote
PODC
1994
ACM
15 years 4 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
103
Voted
JLP
2011
14 years 7 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
101
Voted
ECP
1997
Springer
15 years 5 months ago
1997
Springer
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
135
click to vote
KR
1994
Springer
15 years 4 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
112
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...