1581 search results - page 298 / 317 » Mechanizing Inductive Reasoning |
149
click to vote
P2P
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we take an availability-centric view on quality of service (QoS) and propose a model and mechanisms for studying the effectiveness of realistic replication schemes ...
146
click to vote
HT
2003
ACM
15 years 10 months ago
2003
ACM
Despite the multitude of existing interfaces for annotation, little is known about their influence on the created annotations. In this paper, first findings of a comparative video...
161
Voted
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
127
Voted
SIGCOMM
2003
ACM
15 years 10 months ago
2003
ACM
Launching a denial of service (DoS) attack is trivial, but detection and response is a painfully slow and often a manual process. Automatic classification of attacks as single- o...
134
click to vote
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...