1620 search results - page 66 / 324 » Testing Polymorphic Properties |
151
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper introduces a finite memory compactor called convolutional compactor that provides compaction ratios of test responses in excess of 100x even for a very small number of ...
118
click to vote
DELTA
2002
IEEE
15 years 7 months ago
2002
IEEE
A DSP technique that transforms a digital signal by warping the frequency axis is discussed. The technique corresponds to a mapping of the samples in the z-domain such that they a...
99
Voted
IPCV
2008
15 years 4 months ago
2008
We propose one geometric algorithm to solve both the problem of circularity test and the problem of circularity measure. The former problem consists in deciding whether a given di...
121
click to vote
JANCL
2006
15 years 2 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...