We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
When many mobile robots should achieve cooperation, local communication system is considered appropriate from the standpoint of the cost and capacity of communication. This paper ...
This paper presents a study about the design and evaluation of auditory feedback for a mobile outdoor training assistant. The requirement analysis and evaluation has been conducte...
Ekaterina Kurdyukova, Jochen Hahnen, Wolfgang Prin...
This paper presents a system that controls the behavior of a mobile robot. The system is based on situation calculus, the initial state is described and a goal is given, Prolog pro...
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...