805 search results - page 63 / 161 » On the Semantics of Conditional Commitment |
115
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Managing the transactions in real time distributed computing system is not easy, as it has heterogeneously networked computers to solve a single problem. If a transaction runs acr...
ENTCS
2006
14 years 12 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
JOCN
2010
14 years 6 months ago
2010
When exposed to novel dynamical conditions (e.g., externally imposed forces), neurologically intact subjects easily adjust motor commands on the basis of their own reaching errors...
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing trans...
108
click to vote
ISIPTA
2005
IEEE
15 years 5 months ago
2005
IEEE
This article presents a probabilistic logic whose sentences can be interpreted as asserting the acceptability of gambles described in terms of an underlying logic. This probabilis...