8413 search results - page 1319 / 1683 » Ordering Problem Subgoals |
139
click to vote
ADBIS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper we consider the dictionary problem in the scalable distributed data structure paradigm introduced by Litwin, Neimat and Schneider and analyze costs for inse...
132
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes an agent-based approach to realizing interactive pedagogical drama. Characters choose their actions autonomously, while director and cinematographer agents ma...
130
Voted
ASIACRYPT
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, we investigate the gap between auxiliary-input zero-knowledge (AIZK) and blackbox-simulation zero-knowledge (BSZK). It is an interesting open problem whether or not ...
153
Voted
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
141
click to vote
DSOM
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Object middleware is an enabling technology for distributed applications that are required to operate in heterogeneous computing and communication environments. Although ...