Publication year
2010Publisher
Paris : Atlantis Press
Series
Atlantis Ambient and Pervasive Intelligence book series ; vol. 1
ISBN
9789491216312
In
Mangina, E.; Carbo, J.; Molina, J.M. (ed.), Agent-based ubiquitous computing, pp. 35-61Publication type
Part of book or chapter of book

Display more detailsDisplay less details
Editor(s)
Mangina, E.
Carbo, J.
Molina, J.M.
Organization
SW OZ BSI CW
Languages used
English (eng)
Book title
Mangina, E.; Carbo, J.; Molina, J.M. (ed.), Agent-based ubiquitous computing
Page start
p. 35
Page end
p. 61
Subject
Atlantis Ambient and Pervasive Intelligence book series; Communication and MediaAbstract
A reusable agent-based generic model is presented for a specific class of Ambient Intelligence pplications: those cases addressing human wellbeing and functioning from a human-like understanding. The model incorporates ontologies, knowledge and dynamic models from human-directed sciences such as psychology, social science, neuroscience and biomedical sciences. The model has been formally specified, and it is shown how for specific applications it can be instantiated by applicationspecific elements, thus providing an executable specification that can be used for prototyping. Moreover, it is shown how dynamic properties can be formally specified and verified against generated traces.
This item appears in the following Collection(s)
- Faculty of Social Sciences [28418]
- Non RU Publications [14900]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.