13895 search results - page 2527 / 2779 » Exploring |
133
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract— Optimizing TCP (Transport Layer) for mobility has been researched extensively. We present a brief summary of existing results which indicates that most schemes require ...
110
click to vote
NDSS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
126
Voted
WCRE
2000
IEEE
15 years 5 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...
104
click to vote
ASPLOS
2000
ACM
15 years 5 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
97
Voted
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...