3446 search results - page 307 / 690 » A Reasoning Algorithm for pD* |
153
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
170
Voted
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper considers the problem of providing a geocast service in mobile ad hoc networks and presents a novel geocasting algorithm combining unicasting and flooding. Geocast is ...
158
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
179
click to vote
ICNP
1997
IEEE
15 years 10 months ago
1997
IEEE
Network multimedia applications require certain performance guarantees that can be provided through proper resource allocation. Allocation techniques are needed to provide these g...
151
click to vote
WDAG
1990
Springer
15 years 10 months ago
1990
Springer
Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...