1355 search results - page 192 / 271 » PaperSpace: a system for managing digital and paper document... |
114
click to vote
AGENTS
1997
Springer
15 years 5 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...
158
click to vote
PODC
1994
ACM
15 years 5 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...
105
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Software evolution research inherently has several resourceintensive logistical constraints. Archived project artifacts, such as those found in source code repositories and bug tr...
130
click to vote
ER
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oï...
130
click to vote
SIGUCCS
2003
ACM
15 years 6 months ago
2003
ACM
The revolution in life sciences research brought about by the sequencing of the human genome creates new challenges for scientists and new opportunities for computing support orga...