8 search results - page 2 / 2 » Novel Probabilistic Combinational Equivalence Checking |
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
ISI
2006
Springer
13 years 4 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
EUROCRYPT
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. This paper investigates a novel computational problem, namely the Composite Residuosity Class Problem, and its applications to public-key cryptography. We propose a new t...