7109 search results - page 376 / 1422 » Process Algebra with Combinators |
145
click to vote
SCN
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Span programs provide a linear algebraic model of computation. Monotone span programs (MSP) correspond to linear secret sharing schemes. This paper studies the properties...
166
Voted
ASAP
2003
IEEE
16 years 1 days ago
2003
IEEE
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...
189
Voted
HLK
2003
IEEE
16 years 1 days ago
2003
IEEE
Deformable 3–D models can be represented either as explicit or implicit surfaces. Explicit surfaces, such as triangulations or wire-frame models, are widely accepted in the Comp...
179
Voted
LICS
2003
IEEE
16 years 1 days ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
160
click to vote
ACISP
2003
Springer
16 years 22 min ago
2003
Springer
Abstract. We explore three applications of geometric sequences in constructing cryptographic Boolean functions. First, we construct 1-resilient functions of n Boolean variables wit...