Sciweavers

4098 search results - page 62 / 820
» Sound mobility models
Sort
View
138
Voted
COORDINATION
2007
Springer
15 years 9 months ago
A Calculus for Mobile Ad Hoc Networks
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
Jens Chr. Godskesen
ICALP
2003
Springer
15 years 8 months ago
Resource Access and Mobility Control with Dynamic Privileges Acquisition
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
Daniele Gorla, Rosario Pugliese
PROFES
2004
Springer
15 years 8 months ago
Automatic Measurement at Nokia Mobile Phones: A Case of SDL Based Software Development
Software measurement forms a sound basis for monitoring software development process and software product quality. Implementing software measurement is, however, difficult and crea...
Minna Pikkarainen, Matias Vierimaa, Hannu Tanner, ...
138
Voted
CONCUR
1999
Springer
15 years 7 months ago
Validating Firewalls in Mobile Ambients
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
Flemming Nielson, Hanne Riis Nielson, René ...
107
Voted
ICRA
1999
IEEE
136views Robotics» more  ICRA 1999»
15 years 7 months ago
The Arc-Transversal Median Algorithm: An Approach to Increasing Ultrasonic Sensor Accuracy
This paper describes a new method for improving the accuracy of range information using low resolution ultrasonic sensors mounted on a mobile robot. These sensors emit ultra-sound...
Keiji Nagatani, Howie Choset, Nicole A. Lazar