224 search results - page 19 / 45 » A parallel repetition theorem |
IAJIT
2006
13 years 7 months ago
2006
In this paper, a fast hardware architecture for elliptic curve cryptography computation in Galois Field GF(p) is proposed. The architecture is implemented for 160-bits, as its dat...
SNPD
2007
13 years 9 months ago
2007
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...
GCC
2003
Springer
14 years 26 days ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
APAL
2004
13 years 7 months ago
2004
Abstract. We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we pr...
ICARCV
2006
IEEE
14 years 1 months ago
2006
IEEE
- In this paper, a new design method of adaptive PID controller is proposed. The method utilizes the so- called almost strict positive realness (ASPR) of the plant so that the stab...