Sciweavers

161 search results - page 6 / 33
» Verifying Compensating Transactions
Sort
View
162
Voted
VLDB
2001
ACM
104views Database» more  VLDB 2001»
15 years 12 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
DEXAW
2007
IEEE
162views Database» more  DEXAW 2007»
15 years 6 months ago
Coordination in Service Oriented Architectures Using Transaction Processing Concepts
Service oriented architectures (SOAs) provide an architectural paradigm to develop and evolve enterprise information systems. A key feature of SOAs is compensability of services. ...
Peter Hrastnik, Werner Winiwarter
VLDB
1991
ACM
220views Database» more  VLDB 1991»
15 years 3 months ago
A Performance Evaluation of Multi-Level Transaction Management
Multi-level transactions are a variant of open nested transactions in which the subtransactions correspond to operations at different levels of a layered system architecture. The ...
Christof Hasse, Gerhard Weikum
BIRTHDAY
2004
Springer
15 years 5 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
SEC
2008
15 years 1 months ago
Minimizing SSO Effort in Verifying SSL Anti-phishing Indicators
In an on-line transaction, a user sends her personal sensitive data (e.g., password) to a server for authentication. This process is known as Single Sign-On (SSO). Subject to phish...
Yongdong Wu, Haixia Yao, Feng Bao