3228 search results - page 371 / 646 » Computationally Sound Proofs |
137
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
95
Voted
HUC
2009
Springer
15 years 8 months ago
2009
Springer
We describe a technique to detect the presence of computer users. This technique relies on sonar using hardware that already exists on commodity laptop computers and other electro...
132
click to vote
GROUP
1999
ACM
15 years 8 months ago
1999
ACM
This paper addresses issues of user interface design, relating to ease of use, of handheld CSCW. In particular, we are concerned with the requirements that arise from situations i...
138
click to vote
PPSC
1993
15 years 5 months ago
1993
Scalable parallel computers with TFLOPS (Trillion FLoating Point Operations Per Second) performance levels are now under construction. While we believe TFLOPS processor technology...
134
click to vote
LATA
2009
Springer
15 years 10 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...