2162 search results - page 318 / 433 » A Meta-Notation for Protocol Analysis |
CRYPTO
2005
Springer
15 years 3 months ago
2005
Springer
Anonymous channels are necessary for a multitude of privacy-protecting protocols. Onion routing is probably the best known way to achieve anonymity in practice. However, the crypto...
102
click to vote
ERCIMDL
2004
Springer
15 years 3 months ago
2004
Springer
The paper presents a comparative analysis of data harvesting and distributed computing as complementary models of service delivery within large-scale federated digital libraries. I...
INFOCOM
1998
IEEE
15 years 2 months ago
1998
IEEE
Abstract--This paper presents a novel loss recovery scheme, Active Reliable Multicast (ARM), for large-scale reliable multicast. ARM is "active" in that routers in the mu...
ELPUB
2007
ACM
15 years 1 months ago
2007
ACM
This study reports the findings of a usability test conducted to examine users' interaction with two different learning object metadata-driven search result interfaces. The f...
132
click to vote
EMNETS
2007
15 years 1 months ago
2007
Imagers are an increasingly significant source of sensory observations about human activity and the urban environment. ImageScape is a software tool for processing, clustering, an...