3573 search results - page 42 / 715 » Reasoning about Codata |
101
click to vote
APAL
2010
15 years 19 days ago
2010
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
117
Voted
ATAL
2011
Springer
14 years 15 days ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
SBIA
2004
Springer
15 years 5 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
KR
2010
Springer
15 years 5 months ago
2010
Springer
A plan with rich control structures like branches and loops can usually serve as a general solution that solves multiple planning instances in a domain. However, the correctness o...
85
Voted
BSDCON
2003
15 years 1 months ago
2003
While the subject of SMP locking primitives has been well covered in the literature [Val][Schm][Bald][Leh], there has been relatively little discussion on the rationale and proces...