3573 search results - page 42 / 715 » Reasoning about Codata |
APAL
2010
14 years 11 months 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...
ATAL
2011
Springer
13 years 11 months 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 4 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 3 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...
BSDCON
2003
15 years 10 days 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...