4037 search results - page 505 / 808 » Routing without ordering |
123
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Content Delivery Networks (CDNs) are commonly believed to offer their customers protection against application-level denial of service (DoS) attacks. Indeed, a typical CDN with its...
143
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
113
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
Dynamic memory management and the use of pointers are critical topics in teaching the C++ language. They are also some of the most difficult for students to grasp properly. The re...
113
click to vote
CICLING
2009
Springer
16 years 5 months ago
2009
Springer
We cast name discrimination as a problem in clustering short contexts. Each occurrence of an ambiguous name is treated independently, and represented using second?order context vec...
126
click to vote
CHES
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We introduce a new technique for extracting unique fingerprints from identical CDs. The proposed technique takes advantage of manufacturing variability found in the lengt...