754 search results - page 66 / 151 » Transaction Processing in PRO-MOTION |
144
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
133
Voted
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe an approach to healthcare coordination using object life cycles (OLCs) [1]. By consulting the OLC of a given patient object instance, the legal methods to apply to tha...
146
click to vote
C3S2E
2009
ACM
15 years 8 months ago
2009
ACM
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
147
click to vote
JTAER
2008
15 years 4 months ago
2008
We typically think of documents as carrying information. However, certain kinds of documents do more than that: they are not only informative but also performative in that they re...
121
click to vote
EPEW
2005
Springer
15 years 9 months ago
2005
Springer
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...