4529 search results - page 169 / 906 » Position Based Cryptography |
218
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
187
click to vote
LISA
2007
15 years 8 months ago
2007
We present an architecture1 designed for alert verification (i.e., to reduce false positives) in network intrusion-detection systems. Our technique is based on a systematic (and a...
176
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper proposes a population based adaptive tuning for dynamic position control of robot manipulators. The dynamic behavior of a robot manipulator is highly nonlinear, and ...
148
click to vote
IJBRA
2007
15 years 6 months ago
2007
: Pooling designs are used in DNA library screening to efficiently distinguish positive from negative clones, which is fundamental for studying gene functions and many other biolog...
155
click to vote
LOGCOM
2010
15 years 4 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...