1721 search results - page 181 / 345 » On Active and Passive Testing |
176
click to vote
ESORICS
2005
Springer
16 years 1 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
168
click to vote
GFKL
2005
Springer
16 years 1 days ago
2005
Springer
Today biometric techniques are based either on passive (e.g. IrisScan, Face) or active methods (e.g. voice and handwriting). In our work we focus on evaluation of the latter. These...
187
click to vote
IPTPS
2005
Springer
16 years 15 hour ago
2005
Springer
— We propose here an analysis of a rich dataset which gives an exhaustive and dynamic view of the exchanges processed in a running eDonkey system. We focus on correlation in term...
203
click to vote
PCM
2005
Springer
16 years 2 hour ago
2005
Springer
Abstract. In this paper we propose a touch enabled video player system. A conventional video player only allows viewers to passively experience visual and audio media. In virtual e...
185
click to vote
CHI
2004
ACM
15 years 12 months ago
2004
ACM
We introduce Topobo, a 3D constructive assembly system embedded with kinetic memory, the ability to record and playback physical motion. Unique among modeling systems is Topoboʼs...