3954 search results - page 447 / 791 » Image-based Model Completion |
119
click to vote
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
120
click to vote
ISWC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes non-ideal properties of batteries and how these properties may impact power-performance trade-offs in wearable computing. The first part of the paper details ...
103
click to vote
GECCO
1999
Springer
15 years 9 months ago
1999
Springer
Infrastructure management offices plan and complete several thousand small construction projects annually. Effective planning is vital if the public and private sectors are to mai...
116
click to vote
APCHI
1998
IEEE
15 years 9 months ago
1998
IEEE
When they encounter problems with a novel or infrequently performed task, experienced users often complete their work by referring to manuals and trying task-oriented exploration....
160
click to vote
ICNP
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper evaluates the congestion control performance of Pseudofed, a congestion-controlled, reliable multicast transport protocol for bulk data transfer. Pseudofed's conge...