1972 search results - page 85 / 395 » Testing Mobile and Distributed Systems: Method and Experimen... |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper introduces a testbed for sensor and robot network systems, currently composed of 10 cameras and 5 mobile wheeled robots equipped with several sensors for self-locali...
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we propose a new system for real-time feature acquisition and integration based on high-resolution stereo images that is suitable for mobile robot platforms with limi...
SSD
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Modern mobile phones and PDAs are equipped with positioning capabilities (e.g., GPS). Users can access public location-based services (e.g., Google Maps) and ask spatial ...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Mobile advertising has emerged as one of the most popular applications in mobile commerce, particularly in the form of SMS advertising campaigns. However, looking at the process o...