Sciweavers

10773 search results - page 46 / 2155
» Ambient Computational Environments
Sort
View
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
15 years 11 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ö...
FOSSACS
2004
Springer
15 years 11 months ago
Electoral Systems in Ambient Calculi
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
Iain Phillips, Maria Grazia Vigliotti
HICSS
2003
IEEE
101views Biometrics» more  HICSS 2003»
15 years 11 months ago
Omnisphere: a Personal Communication Environment
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...
Franck Rousseau, Justinian Oprescu, Laurentiu-Sori...
PETRA
2009
ACM
15 years 10 months ago
Ubi-designer: a web-based toolkit for configuring and field-testing UbiComp prototypes
Technology is now available for creating affordable sensor networks and infrastructures for ubiquitous computing environments. In the area of ambient assisted living, contextaware...
Martijn H. Vastenburg, Halldór Fjalldal, Ch...