2612 search results - page 267 / 523 » Mobile Processes and Termination |
POPL
2001
ACM
14 years 11 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Convergence of communication, consumer applications and computing within mobile systems pushes memory requirements both in terms of size, bandwidth and power consumption...
MHCI
2009
Springer
2009
Springer
The use of mobile contact list applications and a context-oriented framework to support their design
14 years 5 months ago
Contact lists are one of the most frequently used applications on mobile devices. They are used not only as contact detail repositories, but also as temporary information storage ...
MM
2009
ACM
14 years 5 months ago
2009
ACM
Finding a destination in unfamiliar environments of complex office building or shopping mall has been always bothering us in daily life. Fine-scale directional guidance, a combina...
MOBILITY
2009
ACM
14 years 5 months ago
2009
ACM
Vocal systems are a well-established reality. Examples of popular voice-based applications include helpdesk services, reservation systems, and vocal mailboxes. These services, tha...