805 search results - page 58 / 161 » On the Semantics of Conditional Commitment |
IFM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
HICSS
1999
IEEE
15 years 4 months ago
1999
IEEE
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
115
click to vote
ENTCS
2006
14 years 12 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
108
click to vote
SRDS
2000
IEEE
15 years 4 months ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...
122
click to vote
AVI
2006
15 years 1 months ago
2006
Access to real environments is often conditioned by a number of issues, including the skills of the user (i.e. affected by aging, physical and psychological deficiencies, etc.) an...