2678 search results - page 25 / 536 » Operational Semantics of Transactions |
139
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Wikis allow users to collaboratively create and maintain content. Semantic wikis, which provide the additional means to annotate the content semantically and thereby allo...
114
Voted
ICDCS
1995
IEEE
15 years 7 months ago
1995
IEEE
To deal with the frequent, foreseeable and variable disconnections that occur in a mobile environment, we introduce a exible, two-level consistency model. Semantically related or ...
120
Voted
PPOPP
2010
ACM
16 years 28 days ago
2010
ACM
Drawing inspiration from several previous projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusua...
126
Voted
AI
1998
Springer
15 years 3 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
122
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Nested transactional memory (TM) facilitates software composition by letting one module invoke another without either knowing whether the other uses transactions. Closed nested tr...