10715 search results - page 164 / 2143 » Proofs from Tests |
103
Voted
STOC
2009
ACM
16 years 1 months ago
2009
ACM
An affine disperser over Fn 2 for sources of dimension d is a function f : Fn 2 F2 such that for any affine space S Fn 2 of dimension at least d, we have {f(s) : s S} = F2. Aff...
116
Voted
CRYPTO
2009
Springer
15 years 7 months ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
89
Voted
ISVD
2007
IEEE
15 years 7 months ago
2007
IEEE
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
146
click to vote
SCESM
2006
ACM
15 years 6 months ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...