23557 search results - page 4177 / 4712 » Distributed Computing - Introduction |
167
Voted
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
158
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
156
click to vote
CTRSA
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a new cryptographic technique that we call universal re-encryption. A conventional cryptosystem that permits reencryption, such as ElGamal, does so only for a player w...
157
click to vote
DRM
2004
Springer
15 years 11 months ago
2004
Springer
Today, database relations are widely used and distributed over the Internet. Since these data can be easily tampered with, it is critical to ensure the integrity of these data. In...
128
click to vote
ECOOPW
2004
Springer
15 years 11 months ago
2004
Springer
This paper reports on the results of the Fifth International Workshop on Object-Oriented Reengineering in Oslo on June 15, 2004. It enumerates the presentations made, classifies t...