1763 search results - page 243 / 353 » A Formalization of Polytime Functions |
ICML
2006
IEEE
16 years 2 months ago
2006
IEEE
Consider Alice, who is interacting with Bob. Alice and Bob have some shared secret which helps Alice identify Bob-impersonators. Now consider Eve, who knows Alice and Bob, but doe...
137
click to vote
PODS
2008
ACM
16 years 1 months ago
2008
ACM
Processing large data streams is now a major topic in data management. The data involved can be truly massive, and the required analyses complex. In a stream of sequential events ...
121
click to vote
CIE
2007
Springer
15 years 7 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
113
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
105
click to vote
FOCS
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider the problem of storing a large file on a remote and unreliable server. To verify that the file has not been corrupted, a user could store a small private (randomized...