Sciweavers

2580 search results - page 195 / 516
» Systems for human-powered mobile computing
Sort
View
CASSIS
2004
Springer
15 years 9 months ago
Mobile Resource Guarantees for Smart Devices
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
David Aspinall, Stephen Gilmore, Martin Hofmann, D...
MHCI
2004
Springer
15 years 9 months ago
CENTAUR: A Two-Panel User Interface for Mobile Document Access
This paper introduces a novel user interface designed to mitigate some of the usability problems in mobile web access. The interface consists of two side-by-side panels for represe...
Greg Schohn, Adam Berger
APNOMS
2006
Springer
15 years 7 months ago
A DNS Based New Route Optimization Scheme with Fast Neighbor Discovery in Mobile IPv6 Networks
In this paper, we propose a new route optimization scheme (EDNS-MIPv6) for MIPv6 using the enhanced Domain Name System (DNS) together with local mobility management scheme to reduc...
Byungjoo Park, Haniph A. Latchman
ICALP
2004
Springer
15 years 9 months ago
Towards an Algebraic Theory of Typed Mobile Processes
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
Yuxin Deng, Davide Sangiorgi
GROUP
2009
ACM
15 years 10 months ago
Cluestr: mobile social networking for enhanced group communication
Recent technological advances foster the spreading of social software in the mobile domain. Hence, future usage patterns of mobile devices will involve more group interaction. Whi...
Reto Grob, Michael Kuhn 0002, Roger Wattenhofer, M...