2678 search results - page 168 / 536 » Operational Semantics of Transactions |
166
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
142
click to vote
SOSP
2007
ACM
16 years 2 months ago
2007
ACM
Reliable storage systems depend in part on “write-before” relationships where some changes to stable storage are delayed until other changes commit. A journaled file system, ...
154
click to vote
ATAL
2009
Springer
16 years 19 days ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
149
click to vote
SEMWEB
2007
Springer
16 years 5 days ago
2007
Springer
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
140
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...