We introduce a calculus describing the movement of processes and devices, including movement through administrative domains. c © 2000 Elsevier Science B.V. All rights reserved.

A tutorial introduction to the key concepts of ambient calculi and their type disciplines, illustrated through a number of systems proposed in the last few years, such as Mobile Ambients, Safe Ambients, Boxed Ambients, and other related calculi with types.

During the past decade, researchers from humanities, design, science and engineering, have been collectively working towards the realization of the Ambient Intelligence vision. This thematic issue records the evolution of the field and fosters scientific debate on research issues and reflection on the progress of Ambient Intelligence and its future.

This paper briefly outlines the scientific area that addresses Ambient Intelligence applications in which not only sensor data, but also knowledge from the human-directed sciences such as biomedical science, neuroscience, and psychological and social sciences is incorporated. This knowledge enables the environment to perform more in-depth, human-like analyses of the functioning of the observed ...

This paper briefly outlines the scientific area that addresses Ambient Intelligence applications in which not only sensor data, but also knowledge from the human-directed sciences such as biomedical science, neuroscience, and psychological and social sciences is incorporated. This knowledge enables the environment to perform more in-depth, human-like analyses of the functioning of the observed ...