Using semi-formal methods for detecting interactions among smart homes policies.
Mohamed ShehataArmin EberleinAbraham O. FapojuwoPublished in: Sci. Comput. Program. (2007)
Keyphrases
- formal methods
- smart home
- context aware
- ambient intelligence
- activity recognition
- model checking
- ubiquitous environments
- home automation
- knowledge based systems
- formal specification
- assisted living
- artificial intelligence
- intelligent environments
- smart environments
- home environment
- intelligent systems
- software engineering
- home environments
- modeling language
- information systems
- ambient assisted living
- embedded systems
- smart grid
- development lifecycle
- intelligent agents
- case study
- human activities
- computer vision