2661 search results - page 455 / 533 » A Semantics for Abstraction |
CRYPTO
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Non-committing encryption enables the construction of multiparty computation protocols secure against an adaptive adversary in the computational setting where private cha...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
HOTOS
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract--End-to-end connectivity is growing increasingly diverse, with orders of magnitude differences in characteristics throughout the network. At the same time, most applicatio...
ICDCS
1999
IEEE
15 years 2 months ago
1999
IEEE
group multicasts provide a nice abstraction for communicating data reliably among group members and have been used for a variety of applications. In this paper we present Corona, ...
ECOOP
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...