403 search results - page 47 / 81 » An algebra for commitment protocols |
124
click to vote
CL
2007
Springer
14 years 12 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
ASPLOS
2004
ACM
15 years 5 months ago
2004
ACM
Pipeline flushes are becoming increasingly expensive in modern microprocessors with large instruction windows and deep pipelines. Selective re-execution is a technique that can r...
110
click to vote
DAIS
2006
15 years 1 months ago
2006
Abstract. For years, transactional protocols have been defined for particular application needs. Traditionally, when implementing a transaction service, a protocol is chosen and re...
GI
2001
Springer
15 years 4 months ago
2001
Springer
: Whenever database centered client-server web applications have to be used by multiple web clients on different platforms, then recently XML has been considered as an important da...
ASIACRYPT
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We introduce weaker models for non-interactive zero knowledge, in which the dealer is not restricted to deal a truly random string and may also have access to the input t...