Sciweavers

5447 search results - page 880 / 1090
» Environment-Mediated Mobile Computing
Sort
View
IWANN
1997
Springer
15 years 10 months ago
Dynamic Path Planning with Spiking Neural Networks
: The path planning problem is relevant for all applications in which a mobil robot should autonomously navigate. Finding the shortest path in an environment that is only partialy ...
Ulrich Roth, Marc Walker, Arne Hilmann, Heinrich K...
SIGMETRICS
1994
ACM
15 years 10 months ago
An Empirical Study of a Highly Available File System
In this paper we present results from a six-month empirical study of the high availability aspectsof the CodaFile System. We reporton the servicefailures experienced by Coda clien...
Brian Noble, Mahadev Satyanarayanan
ESAS
2007
Springer
15 years 10 months ago
The Candidate Key Protocol for Generating Secret Shared Keys from Similar Sensor Data Streams
Secure communication over wireless channels necessitates authentication of communication partners to prevent man-in-the-middle attacks. For spontaneous interaction between independ...
Rene Mayrhofer
CODES
2004
IEEE
15 years 10 months ago
System-on-chip validation using UML and CWL
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
Qiang Zhu, Ryosuke Oishi, Takashi Hasegawa, Tsuneo...
ISER
2000
Springer
80views Robotics» more  ISER 2000»
15 years 10 months ago
Robot Navigation for Automatic Model Construction Using Safe Regions
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
Héctor H. González-Baños, Jea...