Mobile applications are required to operate in environments characterised by change. More specifically, the availability of resources and services may change significantly during a...
Christos Efstratiou, Keith Cheverst, Nigel Davies,...
In this paper a multijoint robot for sewer inspection tasks is presented. In order to increase the operating scope the robot has been made able to run round or over obstacles, to ...
Mobile nodes rely on external services to provide safety, sharing, and additional resources. Unfortunately, as mobile nodes move through the networking infrastructure, the costs o...
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Distributed computing has taken a new importance in order to meet the requirements of users demanding information “anytime, anywhere.” Inferno facilitates the creation and sup...