17082 search results - page 336 / 3417 » Abstractions for Mobile Computation |
159
click to vote
ICVS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video camera and a range sensor (stereo or laser range finder); we fo...
141
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
140
click to vote
INFORMATIKTAGE
2008
15 years 6 months ago
2008
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
139
click to vote
ER
1998
Springer
15 years 8 months ago
1998
Springer
It is widely acknowledged that information such as web content should be adapted for mobile platforms to account for restrictions in mobile environments. As emerging mobile platfor...
132
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
This paper describes our ongoing work on a system that provides information about network resources and related communication facilities to applications running on a mobile device...