805 search results - page 64 / 161 » On the Semantics of Conditional Commitment |
ENTCS
2002
14 years 11 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
123
click to vote
CAV
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
100
click to vote
SIGMOD
2002
ACM
16 years 22 hour ago
2002
ACM
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. Unlike data models, the fundamental asset of ontologies is the...
SLE
2009
Springer
15 years 6 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
SAC
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents flexible protocols for dynamic database design and reconfiguration, enabling mobile database to be designed in such a way that data location, replication and e...