205 search results - page 13 / 41 » Types for ambient and process mobility |
CHI
2004
ACM
14 years 8 months ago
2004
ACM
This demonstration reports results from the EU-funded project Ambient Agoras, investigating future applications of ubiquitous and ambient computing in workspaces. Instead of prese...
FSTTCS
2005
Springer
14 years 1 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...
ISAMI
2010
13 years 2 months ago
2010
Context management has been a key technique in Ambient Intelligence applications development, although its use has not attain such success in other environments, such as those evol...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
TELETRAFFIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...