880 search results - page 42 / 176 » Semantics-Based Concurrency Control |
149
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
190
click to vote
AFP
2008
Springer
16 years 10 days ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
210
click to vote
VLDB
2007
ACM
16 years 3 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
189
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
160
click to vote
ICFEM
2000
Springer
15 years 9 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...