2228 search results - page 276 / 446 » Electronic Payment Systems |
162
Voted
DIS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particle...
145
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
189
click to vote
ISLPED
1997
ACM
15 years 10 months ago
1997
ACM
With the increasing performance and density of VLSI circuits as well as the popularity of portable devices such as personal digital assistance, power consumption has emerged as an...
143
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
Teams whose members are in close physical proximity often rely on team rooms to serve both as meeting places and repositories of the documents and artifacts that support their pro...
157
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
A blind traveler walking through an unfamiliar environment, and a mobile robot navigating through a cluttered environment have an important feature in common: both have the kinema...