5446 search results - page 792 / 1090 » Mobile computing |
165
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
190
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
As network and computing technologies have improved, and the number of mobile devices has increased, realizing context-aware personal services has become one of the most important...
173
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
Coordinating the interactions of applications running on the diversity of both mobile and embedded devices that will be common in ubiquitous computing environments is still a diff...
168
click to vote
PODC
2003
ACM
15 years 11 months ago
2003
ACM
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper we try to contribute to narrowing this gap in the field of ad-hoc rout...
175
click to vote
BDA
2003
15 years 8 months ago
2003
Pervasive computing introduces data management requirements that must be tackled in a growingvariety of lightweight computing devices. Personal folders on chip, networks of sensor...