1724 search results - page 270 / 345 » Models for Concurrency |
151
Voted
WETICE
2007
IEEE
15 years 11 months ago
2007
IEEE
Enterprises increasingly demand IT support for the coordination of their engineering processes, which often consist of hundreds up to thousands of sub-processes. From a technical ...
139
Voted
SRDS
2006
IEEE
15 years 11 months 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...
156
click to vote
CSFW
2005
IEEE
15 years 11 months 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...
141
click to vote
ISCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Writing concurrent programs is difficult because of the complexity of ensuring proper synchronization. Conventional lock-based synchronization suffers from wellknown limitations, ...
154
click to vote
ISPDC
2005
IEEE
15 years 11 months 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...