16218 search results - page 183 / 3244 » Standards |
112
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
The common random string model introduced by Blum, Feldman and Micali permits the construction of cryptographic protocols that are provably impossible to realize in the standard m...
154
Voted
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
133
click to vote
FGR
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a novel method to relight video sequences given known surface shape and illumination. The method preserves fine visual details. It requires single view video frames, ap...
145
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We put forward a first definition of general secure computation that, without any trusted set-up, • handles an arbitrary number of concurrent executions; and • is implementa...
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...