2453 search results - page 485 / 491 » Design Knowledge Collection by Modeling |
108
click to vote
IPPS
1998
IEEE
15 years 3 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
AGENTS
1997
Springer
15 years 3 months ago
1997
Springer
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
118
click to vote
ECBS
1996
IEEE
15 years 3 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...
110
click to vote
SPDP
1993
IEEE
15 years 3 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
132
click to vote
PODC
1994
ACM
15 years 3 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...