3575 search results - page 530 / 715 » Modeling Concurrency with Geometry |
164
click to vote
SRDS
2006
IEEE
16 years 14 days ago
2006
IEEE
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but h...
176
click to vote
CSFW
2005
IEEE
16 years 2 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
155
click to vote
DSN
2005
IEEE
16 years 2 days ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
159
click to vote
ISCA
2005
IEEE
16 years 1 days ago
2005
IEEE
Writing concurrent programs is difficult because of the complexity of ensuring proper synchronization. Conventional lock-based synchronization suffers from wellknown limitations, ...
179
click to vote
ISPDC
2005
IEEE
16 years 1 days ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...