662 search results - page 133 / 133 » Model Checking Procedures for Infinite State Systems |
IMAGING
2003
13 years 6 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
CCS
2010
ACM
13 years 1 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...