5255 search results - page 399 / 1051 » Formal Methods for Privacy |
151
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a working solution for the MEMOCODE 2010 design contest. The design presented in this paper is implemented in the Xilinx V5LX330 FPGA as a custom circuit. The s...
196
click to vote
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
197
click to vote
FMCO
2009
Springer
15 years 3 months ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
194
click to vote
IFM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
145
click to vote
UC
2009
Springer
16 years 21 days ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...