1466 search results - page 175 / 294 » Completeness of the Authentication Tests |
134
Voted
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
118
Voted
CIBCB
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, we report a practical application of world’s first internet-based melanoma diagnostic system. The system is now available from all over the world, 24 hours 36...
142
Voted
IMC
2005
ACM
15 years 9 months ago
2005
ACM
In recent years, the standards community has developed techniques for traversing NAT/firewall boxes with UDP (that is, establishing UDP flows between hosts behind NATs). Because...
140
Voted
PAM
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present results of a series of bandwidth estimation experiments conducted on a high-speed testbed at the San Diego Supercomputer Center and on OC-48 and GigE paths...
132
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...