Sciweavers

202 search results - page 2 / 41
» Consensus on Transaction Commit
Sort
View
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
14 years 8 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
ICDE
2008
IEEE
214views Database» more  ICDE 2008»
15 years 11 months ago
Adjourn State Concurrency Control Avoiding Time-Out Problems in Atomic Commit Protocols
Abstract-- The use of atomic commit protocols in mobile adhoc networks involves difficulties in setting up reasonable timeouts for aborting a pending distributed transaction. This ...
George Samaras, Martin Hett, Panos K. Chrysanthis,...
PODS
1999
ACM
127views Database» more  PODS 1999»
15 years 2 months ago
Atomicity with Incompatible Presumptions
We identify one of the incompatibility problems associated with atomic commit :protocols that prevents them from being used together and weiderive a correctness criterion that cap...
Yousef J. Al-Houmaily, Panos K. Chrysanthis
WDAG
2009
Springer
117views Algorithms» more  WDAG 2009»
15 years 4 months ago
Elastic Transactions
This paper presents elastic transactions, a variant of the transactional model. Upon conflict detection, an elastic transaction might drop what it did so far within a separate tra...
Pascal Felber, Vincent Gramoli, Rachid Guerraoui
DPD
2002
126views more  DPD 2002»
14 years 9 months ago
HiCoMo: High Commit Mobile Transactions
Abstract. We introduce a new mobile transaction model applicable to decisionmaking applications over aggregate data warehoused on mobile hosts. The model allows the aggregate data ...
Minsoo Lee, Abdelsalam Helal