84 search results - page 2 / 17 » Abstract Interpretation of Mobile Ambients |
COORDINATION
2005
Springer
14 years 29 days ago
2005
Springer
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
DATE
2003
IEEE
14 years 22 days ago
2003
IEEE
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
APLAS
2005
ACM
13 years 9 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
PUC
2010
13 years 5 months ago
2010
Abstract The in-house monitoring of elders using intelligent sensors is a very desirable service that has the potential of increasing autonomy and independence while minimizing the...
ASE
2005
13 years 7 months ago
2005
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...