7109 search results - page 73 / 1422 » Process Algebra with Combinators |
143
click to vote
IANDC
2008
15 years 3 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
133
click to vote
ISSAC
1995
Springer
15 years 6 months ago
1995
Springer
: We present e cient algorithms based on a combination of numeric and symbolic techniques for evaluating one-dimensional algebraic sets in a subset of the real domain. Given a desc...
144
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
160
click to vote
INDOCRYPT
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we analyse the algebraic immunity of symmetric Boolean functions. We identify a set of lowest degree annihilators for symmetric functions and propose an efficient al...
100
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...