780 search results - page 37 / 156 » Compositional Quantitative Reasoning |
137
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
123
Voted
KDD
2008
ACM
16 years 1 months ago
2008
ACM
Privacy is an increasingly important aspect of data publishing. Reasoning about privacy, however, is fraught with pitfalls. One of the most significant is the auxiliary informatio...
113
click to vote
CAV
1998
Springer
15 years 5 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
102
click to vote
ECOOPW
1994
Springer
15 years 5 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
WWW
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...