161 search results - page 24 / 33 » Verifying Compensating Transactions |
93
Voted
WDAG
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
SAC
2000
ACM
15 years 2 months ago
2000
ACM
Many Web areas are in an early technological period of rapid evolution and intense competitive selection. Nowhere is this truer than with electronic commerce. While much is being ...
JCP
2007
14 years 9 months ago
2007
—The ability to authenticate the identity of an entity in an open and insecure environment such as the Internet plays an important role in reducing potential threats and Public k...