2558 search results - page 452 / 512 » Model Composition Contracts |
134
Voted
TCC
2009
Springer
16 years 4 months ago
2009
Springer
We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple q...
158
click to vote
STOC
2002
ACM
16 years 4 months ago
2002
ACM
d Abstract) Ran Canetti Yehuda Lindell Rafail Ostrovsky Amit Sahai? We show how to securely realize any multi-party functionality in a universally composable way, regardless of th...
207
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
133
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
133
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...