4340 search results - page 118 / 868 » Formal Methods and Cryptography |
132
Voted
EUROCRYPT
1999
Springer
15 years 8 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
118
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
151
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
128
click to vote
FCA
2005
Springer
15 years 9 months ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
137
click to vote
FM
1998
Springer
15 years 8 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...