ICST
2010
IEEE
13 years 3 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
HOTOS
1997
IEEE
13 years 9 months ago
1997
IEEE
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
WAIM
2004
Springer
13 years 10 months ago
2004
Springer
In distributed computing systems, processes in different hosts take checkpoints to survive failures. For mobile computing systems, due to certain new characteristics conventional d...
ISCIS
2004
Springer
13 years 10 months ago
2004
Springer
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
ICCNMC
2005
Springer
13 years 10 months ago
2005
Springer
Transcoding proxy caching is an important technology for improving the services over Internet, especially in the environment of mobile computing systems. In this paper, we address ...