Sciweavers

2612 search results - page 37 / 523
» Mobile Processes and Termination
Sort
View
TSMC
1998
169views more  TSMC 1998»
13 years 7 months ago
Real-time map building and navigation for autonomous robots in unknown environments
—An algorithmic solution method is presented for the problem of autonomous robot motion in completely unknown environments. Our approach is based on the alternate execution of tw...
Giuseppe Oriolo, Giovanni Ulivi, Marilena Venditte...
FSTTCS
2007
Springer
14 years 1 months ago
Synthesis of Safe Message-Passing Systems
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
Nicolas Baudru, Rémi Morin
CN
2002
110views more  CN 2002»
13 years 7 months ago
Evaluation of mobility and quality of service interaction
With the fast adoption of IP-based communications for mobile computing, users are expecting a similar service in wireless and wired networks. This raises the need for setting guar...
Jukka Manner, Alberto López Toledo, Andrej ...
PERVASIVE
2005
Springer
14 years 1 months ago
Mobile Phones as Pointing Devices
This article outlines two techniques that allow the mobile phone to be used as a pointing device for public terminals and large public displays. Our research has produced two comp...
Rafael Ballagas, Michael Rohs, Jennifer G. Sherida...
COMCOM
2000
77views more  COMCOM 2000»
13 years 7 months ago
A location-based mobility tracking scheme for PCS networks
This paper introduces a location-based locating strategy for Personal Communication Services (PCS) systems. In the proposed scheme, location updates are based on the value of a mo...
Zuji Mao, Christos Douligeris