3228 search results - page 276 / 646 » Computationally Sound Proofs |
153
click to vote
DCC
2008
IEEE
16 years 4 months ago
2008
IEEE
This paper presents a proof of the rate distortion function of a Poisson process with a queuing distortion measure that is in complete analogy with the proofs associated with the ...
146
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
147
click to vote
FOCS
2003
IEEE
15 years 10 months ago
2003
IEEE
We show that Yao’s XOR Lemma, and its essentially equivalent rephrasing as a Direct Product Lemma, can be re-interpreted as a way of obtaining error-correcting codes with good l...
149
click to vote
ICNP
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— Internet flash crowds (a.k.a. hot spots) are a phenomenon that result from a sudden, unpredicted increase in an on-line object’s popularity. Currently, there is no e...
158
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...