6031 search results - page 51 / 1207 » Communicating Transaction Processes |
107
click to vote
FC
1997
Springer
15 years 3 months ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
COORDINATION
2004
Springer
15 years 5 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...
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
In existing systems, user transactions get blocked during materialized view creation and non-trivial database schema transformations. Blocking user transactions is not an option in...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people...
WOSP
1998
ACM
15 years 4 months ago
1998
ACM
ÐAn approach to software performance testing is discussed. A case study describing the experience of using this approach for testing the performance of a system used as a gateway ...