19010 search results - page 3562 / 3802 » Adaptive A |
157
click to vote
ISW
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
169
click to vote
IWMM
2004
Springer
16 years 2 days ago
2004
Springer
Many state-of-the-art garbage collectors are generational, collecting the young nursery objects more frequently than old objects. These collectors perform well because young objec...
191
click to vote
IWQOS
2004
Springer
16 years 2 days ago
2004
Springer
— Managing the performance of multiple-tiered Web sites under high client loads is a critical problem with the advent of dynamic content and database-driven servers on the Intern...
156
click to vote
LCTRTS
2004
Springer
16 years 2 days ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
182
click to vote
LOPSTR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...