15097 search results - page 2855 / 3020 » Image Processing in C |
171
click to vote
NDSS
2000
IEEE
15 years 11 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...
172
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
This paper examines the latency in Internet path failure, failover and repair due to the convergence properties of interdomain routing. Unlike switches in the public telephony net...
222
click to vote
ICCS
1999
Springer
15 years 10 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
157
click to vote
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
Current high-end parallel systems achieve low-latency, highbandwidth network communication through the use of aggressive design techniques and expensive mechanical and electrical ...
174
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...