Sciweavers

161 search results - page 7 / 33
» Verifying Compensating Transactions
Sort
View
EUROSYS
2009
ACM
15 years 6 months ago
xCalls: safe I/O in memory transactions
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...
Haris Volos, Andres Jaan Tack, Neelam Goyal, Micha...
80
Voted
ECOWS
2007
Springer
15 years 3 months ago
Transactional BPEL Processes with AO4BPEL Aspects
Recently, OASIS approved two standards respectively for Web Service composition and for Web Service transactions. Nevertheless, it is still unclear how WS-BPEL and the WS-TX famil...
Anis Charfi, Benjamin Schmeling, Mira Mezini
TPDS
2008
90views more  TPDS 2008»
14 years 9 months ago
A Reservation-Based Extended Transaction Protocol
With the advent of the new generation of Internet-based technology, in particular Web Services, the automation of business activities that are distributed across multiple enterpri...
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
61
Voted
JUCS
2007
104views more  JUCS 2007»
14 years 9 months ago
Achieving Atomicity for Web Services Using Commutativity of Actions
: Web Services enable the creation of complex business activities through the cooperation of independently developed software programs. However, Web Services incur the risk of long...
P. Michael Melliar-Smith, Louise E. Moser
FMOODS
2006
14 years 11 months ago
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo ...