4940 search results - page 730 / 988 » On the Complexity of Universal Programs |
132
click to vote
HPCC
2005
Springer
16 years 2 days ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
150
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
157
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
191
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...
173
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is...