3384 search results - page 433 / 677 » More Testable Properties |
181
click to vote
WCRE
2005
IEEE
16 years 6 days ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...
177
click to vote
HT
2005
ACM
16 years 5 days ago
2005
ACM
Hyper-Hitchcock is a hypervideo editor enabling the direct manipulation authoring of a particular form of hypervideo called “detail-on-demand video.” This form of hypervideo a...
170
click to vote
IMC
2005
ACM
16 years 5 days ago
2005
ACM
The Domain Name System, DNS, is based on nameserver delegations, which introduce complex and subtle dependencies between names and nameservers. In this paper, we present results f...
160
click to vote
PASTE
2005
ACM
16 years 5 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
194
click to vote
ADHOCNOW
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this work we investigate bounds on throughput and delay performance of a scheduling protocol that derives its decisions from codes traditionally used to correct or det...