Sciweavers

26354 search results - page 254 / 5271
» How we refactor, and how we know it
Sort
View
AGENTS
2001
Springer
15 years 11 months ago
Terrain coverage with ant robots: a simulation study
In this paper, we study a simple means for coordinating teams of simple agents. In particular, we study ant robots and how they can cover terrain once or repeatedly by leaving mar...
Sven Koenig, Yaxin Liu
CSFW
1999
IEEE
15 years 11 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek
ICRA
1998
IEEE
107views Robotics» more  ICRA 1998»
15 years 11 months ago
Mobile Robot Exploration and Map-Building with Continuous Localization
Our research addresses how to integrate exploration and localization for mobile robots. A robot exploring and mapping an unknown environment needs to know its own location, but it...
Brian Yamauchi, Alan C. Schultz, William Adams
PODC
1997
ACM
15 years 11 months ago
Lazy Consistency Using Loosely Synchronized Clocks
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...
Atul Adya, Barbara Liskov
PODC
1996
ACM
15 years 10 months ago
Fail-Awareness in Timed Asynchronous Systems
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
Christof Fetzer, Flaviu Cristian