47 search results - page 6 / 10 » Using Versions in Update Transactions: Application to Integr... |
ECAI
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
DS
1992
13 years 8 months ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...
IC
2003
13 years 9 months ago
2003
Integrating complex enterprise systems is challenging and reliability and performance of the integrated systems can be problematic when using typical solutions of distributed tran...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
IFM
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...