5255 search results - page 188 / 1051 » Formal Methods for Privacy |
123
Voted
ICSM
1996
IEEE
15 years 7 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
134
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
124
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
131
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
109
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...