4205 search results - page 100 / 841 » Typed Mobile Objects |
132
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
134
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
User trials for future mobile telecommunication applications inherently pose several particular challenges which are difficult to meet in a traditional lab environment. In this pa...
121
Voted
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
In this work, a new type of collaborative learning activity is proposed in order to enable students to explore and understand information in highly mobile situations. We call this ...
137
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Mobile commerce (m-Commerce), which allows for anytime/anywhere access to information and services, shows great potential. Ubiquitous access to information systems is critical to e...
120
click to vote
HOTOS
1993
IEEE
15 years 7 months ago
1993
IEEE
Mobile computing and multimedia are two emerging trends in computer systems. One foreseeable application suggested by these two trends is the playback of stored video on both mobi...