4205 search results - page 353 / 841 » Typed Mobile Objects |
213
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
154
click to vote
DAC
2006
ACM
16 years 18 days ago
2006
ACM
A hierarchical power distribution methodology that enables more than dozen power domains in a chip and a power management scheme using 20 power domains are described. This method ...
191
click to vote
MOBICOM
2004
ACM
16 years 2 days ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
160
click to vote
CHI
2010
ACM
15 years 9 months ago
2010
ACM
We conducted a series of user studies to understand and clarify the fundamental characteristics of pressure in user interfaces for mobile devices. We seek to provide insight to cl...
198
click to vote
WICON
2008
15 years 8 months ago
2008
Mobile ad hoc networks range from traditional MANETs where end-to-end paths exist from sources to destinations, to DTNs where no contemporaneous end-to-end paths exist and communi...