Sciweavers

185 search results - page 7 / 37
» Mobile Ambients
Sort
View
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
14 years 1 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
ICN
2005
Springer
14 years 1 months ago
Failover for Mobile Routers: A Vision of Resilient Ambience
The ambient networking approach includes the flexibility of every end system to be not just a node but also an entire network. The end user entities are, in the majority of use cas...
Eranga Perera, Aruna Seneviratne, Roksana Boreli, ...
PERVASIVE
2007
Springer
14 years 1 months ago
A Time to Glance: Studying the Use of Mobile Ambient Information
Recent work by our group at Motorola Labs has focused on applying the principles of ambient interfaces to the domain of mobile communications. Our methods incorporate both formati...
Frank Bentley, Joe Tullio, Crysta J. Metcalf, Drew...
ASE
2005
145views more  ASE 2005»
13 years 7 months ago
Developing Ambient Intelligence Systems: A Solution based on Web Services
Enabling the ambient intelligence vision means that consumers will be provided with universal and immediate access to available content and services, together with ways of effectiv...
Valérie Issarny, Daniele Sacchetti, Ferda T...
ICTCS
2001
Springer
14 years 2 days ago
Subtyping and Matching for Mobile Objects
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa