Abstract :
The following topics are dealt with: ambient assisted living; formal models; formal methods; human-computer interaction; hybrid spaces; intelligent agents; sensors networks; simulation; visualization awareness; smart homes; smart spaces; urban environments; sustainable environments; user modelling and social perspectives.
Keywords :
data visualisation; formal specification; home computing; human computer interaction; multi-agent systems; ambient assisted living; formal methods; formal models; human-computer interaction; intelligent agents; sensors networks; smart homes; sustainable environments; urban environments; user modelling; visualization awareness;
Conference_Titel :
Intelligent Environments (IE), 2011 7th International Conference on
Conference_Location :
Nottingham
Print_ISBN :
978-1-4577-0830-5
