963 search results - page 33 / 193 » Types for Mobile Ambients |
FSTTCS
2005
Springer
14 years 2 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
2004
ACM
14 years 9 months ago
2004
ACM
An experienced user of the Twiddler, a one?handed chording keyboard, averages speeds of 60 words per minute with letter?by?letter typing of standard test phrases. This fast typing...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we evaluate and compare five commercial off-the-shelf platforms for building converged serviceoriented architectures in an ambient computing environment. To this en...
HUC
2010
Springer
13 years 7 months ago
2010
Springer
We present Energy Life a system utilizing wireless sensors, mobile and ambient interfaces that turn energy consumers into active players. Energy Life participants play through dif...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...