260 search results - page 6 / 52 » Strong Mobility in Mobile Haskell |
CHI
2002
ACM
14 years 10 months ago
2002
ACM
We introduce the Hocman prototype, supporting mobile group collaboration among motorcyclists. The design is based on findings from a field study. The motorcyclists are a group wit...
EDBT
2010
ACM
14 years 1 months ago
2010
ACM
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
IADIS
2003
13 years 11 months ago
2003
The potential software market for client-side mobile applications is strongly dependent upon the ability to rapidly migrate existing in-house software solutions, while maintaining...
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
We investigated the usefulness transparency can play in increasing the display space of mobile devices in navigation scenarios. Two different systems that used transparency to dis...