1818 search results - page 283 / 364 » Granularity-Adaptive Proof Presentation |
132
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
103
click to vote
FSE
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, we present One-key CBC MAC (OMAC) and prove its security for arbitrary length messages. OMAC takes only one key, K (k bits) of a block cipher E. Previously, XCBC req...
120
Voted
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Fostering creativity in User Interface (UI) design is challenging for innovation. This paper explores the combination of model-based approaches and interactive genetic algorithms ...
98
Voted
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
— The high-order compact finite difference (HCFD) method is adapted for interconnect modeling. Based on the compact finite difference method, the HCFD method employs the Chebys...
110
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...