963 search results - page 5 / 193 » Types for Mobile Ambients |
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Mobile Ambients has been proposed by Cardelli and Gordon
SEBD
2003
13 years 10 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
TCS
2008
13 years 8 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
EUSAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. To realise an Ambient Intelligence environment, it is paramount that applications can dispose of information about the context in which they operate, preferably in a very...
WECWIS
2005
IEEE
14 years 2 months ago
2005
IEEE
The notion of ambient e-services is defined in this paper to identify a new scope of mobile e-services. The notable features of ambient e-services are the exhilarated linkage based...