Introduction to special section on formal methods in pervasive computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Dependable Services for Mobile Health Monitoring Systems
International Journal of Ambient Computing and Intelligence
Software simulation and verification to increase the reliability of Intelligent Environments
Advances in Engineering Software
Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People
Mobile Networks and Applications
A monitoring system enhanced by means of situation-awareness for cognitive impaired people
BodyNets '13 Proceedings of the 8th International Conference on Body Area Networks
| Hi-index | 4.10 |
The design of ambient intelligence applications in critical systems requires rigorous software-engineering-oriented approaches. Drawing on practical experience, the authors propose a set of formal tools and a specification process for AmI design activities and artifacts.