594 search results - page 77 / 119 » Atomicity in Electronic Commerce |
JCC
2006
13 years 8 months ago
2006
: Electronic mechanism of the reversible O2 binding by heme was studied by using Density Functional Theory calculations. The ground state of oxyheme was calculated to be open singl...
JUCS
2008
13 years 8 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
ASSETS
1998
ACM
14 years 1 months ago
1998
ACM
We describe the speech-enabling approach to building auditory interfaces that treat speech as a first-class modality. The process of designing effective auditory interfaces is de...
MJ
2008
13 years 7 months ago
2008
We study the electronic and transport properties of heterostructures formed by armchair graphene nanoribbons with intersections of finite length. We describe the system by a tight...
MOBILITY
2009
ACM
14 years 3 months ago
2009
ACM
Implementing an electronic payment system involves striking a balance between usability and security. Systems that allow payments to be completed with little effort on the part of...