161 search results - page 29 / 33 » Verifying Compensating Transactions |
71
Voted
ISCA
1993
IEEE
15 years 1 months ago
1993
IEEE
Parity encoded redundant disk arrays provide highly reliable, cost effective secondary storage with high performance for read accesses and large write accesses. Their performance ...
127
click to vote
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
SIAMCO
2008
14 years 9 months ago
2008
We consider stochastic impulse control problems where the process is driven by one-dimensional diffusions. Impulse control problems are widely applied to financial engineering and...
CERA
2004
14 years 9 months ago
2004
: A secure electronic cash scheme and its role-based access control (RBAC) management are proposed in this paper. The scheme uses electronic cash for payment transactions. In this ...