17082 search results - page 93 / 3417 » Abstractions for Mobile Computation |
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
PERVASIVE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Continuous sensing applications (e.g., mobile social networking applications) are appearing on new sensor-enabled mobile phones such as the Apple iPhone, Nokia and Androi...
ICDCS
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—Nowadays companies increasingly aggregate location data from different sources on the Internet to offer locationbased services such as estimating current road traffic c...
GI
2009
Springer
13 years 6 months ago
2009
Springer
Abstract: Mobile indoor navigation systems guide users through buildings and premises by taking into account the current position of the user and a destination such as a room, offi...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
In the mid-nineties, mobile code was on the rise and, in particular, there was a growing interest in autonomously moving code components, called mobile agents. In 1997, we publish...