4543 search results - page 759 / 909 » Interactive Distributed Configuration |
134
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
156
click to vote
CRYPTO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Assuming an insecure quantum channel and an authenticated classical channel, we propose an unconditionally secure scheme for encrypting classical messages under a shared ...
176
click to vote
CRYPTO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...
152
click to vote
EGOV
2005
Springer
15 years 12 months ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
145
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...