Sciweavers

10773 search results - page 33 / 2155
» Ambient Computational Environments
Sort
View
IWANN
2007
Springer
14 years 3 months ago
Intelligent Healthcare Managing: An Assistive Technology Approach
This paper is about the key role of Personalization through Ambient Intelligence in the development of Assistive Technologies for the elders. Ambient Intelligence implies three rel...
Ulises Cortés, Cristina Urdiales, Roberta A...
CL
2004
Springer
13 years 9 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...
AIIA
2007
Springer
14 years 1 months ago
Mobile Robots and Intelligent Environments
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
Francesco Capezio, Fulvio Mastrogiovanni, Antonio ...
CDC
2010
IEEE
124views Control Systems» more  CDC 2010»
13 years 4 months ago
Deployment of drifters in a piecewise-constant flow environment
We study a deployment strategy for a group of vehicles that drift in an ambient flow field. Specifically, we address the case where the flow is always greater in magnitude than an ...
Andrew Kwok, Sonia Martínez
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 2 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb