Sciweavers

11395 search results - page 1874 / 2279
» Beyond computer science
Sort
View
ERSHOV
2003
Springer
16 years 3 days ago
On the Possibility of Provably Secure Obfuscating Programs
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
Nikolay P. Varnovsky, Vladimir A. Zakharov
ICALP
2003
Springer
16 years 2 days ago
Quantum Search on Bounded-Error Inputs
Suppose we have n algorithms, quantum or classical, each computing some bit-value with bounded error probability. We describe a quantum algorithm that uses O( √ n) repetitions of...
Peter Høyer, Michele Mosca, Ronald de Wolf
ICALP
2003
Springer
16 years 2 days ago
Quantitative Analysis of Probabilistic Lossy Channel Systems
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
Alexander Moshe Rabinovich
ICMI
2003
Springer
96views Biometrics» more  ICMI 2003»
16 years 2 days ago
Learning and reasoning about interruption
We present methods for inferring the cost of interrupting users based on multiple streams of events including information generated by interactions with computing devices, visual ...
Eric Horvitz, Johnson Apacible
ICS
2003
Tsinghua U.
16 years 2 days ago
Conserving disk energy in network servers
In this paper we study four approaches to conserving disk energy in high-performance network servers. The first approach is to leverage the extensive work on laptop disks and pow...
Enrique V. Carrera, Eduardo Pinheiro, Ricardo Bian...
« Prev « First page 1874 / 2279 Last » Next »