188 search results - page 11 / 38 » A Formal Implementation of Value Commitment |
ICDE
2004
IEEE
14 years 9 months ago
2004
IEEE
Phoenix/App supports software components whose states are made persistent across a system crash via redo recovery, replaying logged interactions. Our initial prototype force logge...
SIGMOD
2004
ACM
14 years 7 months ago
2004
ACM
Snapshot Isolation (SI), is a multi-version concurrency control algorithm introduced in [BBGMOO95] and later implemented by Oracle. SI avoids many concurrency errors, and it never ...
JASIS
2007
13 years 7 months ago
2007
It has been claimed that topic metadata can be used to improve the accuracy of text searches. Here, we test this claim by examining the contribution of metadata to effective search...
IJMI
2002
13 years 7 months ago
2002
In this paper we present a complete reference framework for the provision of quality assured Trusted Third Party (TTP) services within a medical environment. The main objective is...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...