1721 search results - page 181 / 345 » On Active and Passive Testing |
197
Voted
ESORICS
2005
Springer
16 years 18 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...
189
click to vote
GFKL
2005
Springer
16 years 18 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...
210
click to vote
IPTPS
2005
Springer
16 years 17 days 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...
229
click to vote
PCM
2005
Springer
16 years 17 days 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...
203
click to vote
CHI
2004
ACM
16 years 15 days 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...