Sciweavers

161 search results - page 23 / 33
» Verifying Compensating Transactions
Sort
View
63
Voted
ICASSP
2011
IEEE
14 years 1 months ago
Improved Secondary Range Compression focusing method in GEO SAR
The paper firstly analyses the error caused by the linear trajectory model and the Fresnel approximation because of the long synthetic aperture time in Geosynchronous Synthetic Ap...
Zhipeng Liu, Cheng Hu, Tao Zeng
ER
2008
Springer
109views Database» more  ER 2008»
14 years 11 months ago
Value-Driven Coordination Process Design Using Physical Delivery Models
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
Roel Wieringa, Vincent Pijpers, Lianne Bodenstaff,...
DBSEC
2000
94views Database» more  DBSEC 2000»
14 years 11 months ago
A Fair-exchange E-commerce Protocol with Automated Dispute Resolution
In this paper, we present a fair-exchange electronic commerce (e-commerce) protocol, based on using an online trusted third party, that ensures fairness and prevents any party fro...
Indrajit Ray, Indrakshi Ray, Natarajan Narasimhamu...
CIDR
2011
230views Algorithms» more  CIDR 2011»
14 years 1 months ago
Consistency Analysis in Bloom: a CALM and Collected Approach
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...
Peter Alvaro, Neil Conway, Joe Hellerstein, Willia...
67
Voted
SIGSOFT
2006
ACM
15 years 10 months ago
Local analysis of atomicity sphere for B2B collaboration
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu