1496 search results - page 140 / 300 » Support for Recovery in Mobile Systems |
172
click to vote
ISM
2008
IEEE
16 years 1 months ago
2008
IEEE
We present the architecture, user interface and prototype implementation of Fluid Voice, a proximity based mobile group communication system for opportunistic social exchanges. It...
200
Voted
CHI
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we introduce a prototype system designed to support mobile group socializing that has been appropriated for everyday use by 150 users over 18 months. The system sup...
219
Voted
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
227
Voted
FMCO
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
184
click to vote
MMS
2007
15 years 8 months ago
2007
Abstract: For evaluating dynamics of mobile ad-hoc networks at least three different layers have to be distinguished: the application layer, the protocol layer, and the network lay...