161 search results - page 3 / 33 » Verifying Compensating Transactions |
EDBT
2008
ACM
15 years 9 months ago
2008
ACM
Transactional requirements, from new application domains and execution environments, are varying and may exceed traditional ACID properties. We believe that transactional middlewa...
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
76
Voted
ISCAPDCS
2001
14 years 11 months ago
2001
IBMSJ
2002
14 years 9 months ago
2002
COORDINATION
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...