893 search results - page 67 / 179 » Environment Assumptions for Synthesis |
PKC
2009
Springer
14 years 8 months ago
2009
Springer
This paper proposes a chosen-ciphertext secure variant of the ElGamal public-key encryption scheme which generates very compact ciphertexts for messages of arbitrary length. The ci...
STOC
2004
ACM
14 years 8 months ago
2004
ACM
We propose a modification to the framework of Universally Composable (UC) security [3]. Our new notion, involves comparing the protocol executions with an ideal execution involvin...
ICDCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Timing failures refer to a situation where the environment in which a system operates does not behave as expected regarding the timing assumptions, that is, the timing constraints...
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
The vast majority of mobile ad hoc networking research makes a very large assumption: that communication can only take place between nodes that are simultaneously accessible withi...
ISMAR
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we describe the effects of shadow representation of virtual objects in Augmented Reality. Optical consistency is important in order to create realistic augmented re...