955 search results - page 188 / 191 » Model Checking Operator Procedures |
109
click to vote
CLEF
2010
Springer
15 years 1 months ago
2010
Springer
In the intellectual property field two tasks are of high relevance: prior art searching and patent classification. Prior art search is fundamental for many strategic issues such as...
124
click to vote
ISLPED
2010
ACM
15 years 1 months ago
2010
ACM
This paper proposes a framework for (signal) interconnect power optimization at the global routing stage. In a typical design flow, the primary objective of global routing is mini...
130
Voted
IANDC
2008
15 years 26 days 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...
115
Voted
JUCS
2007
15 years 21 days ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
121
Voted
CCS
2010
ACM
14 years 9 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...