2049 search results - page 3 / 410 » Normalization and Partial Evaluation |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— We consider a multiple input single output antenna system with a feedback link. While most of the previous works have considered perfect feedback channels, in this paper, we ev...
PET
2005
Springer
14 years 29 days ago
2005
Springer
We review threat models used in the evaluation of anonymity systems’ vulnerability to traffic analysis. We then suggest that, under the partial adversary model, if multiple packe...
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
BIOINFORMATICS
2005
13 years 7 months ago
2005
JCP
2007
13 years 7 months ago
2007
—Embedded systems normally involve a combination of hardware and software resources designed to perform dedicated tasks. Such systems have widely crept into industrial control, a...