Formal Analysis of Pervasive Computing Systems.
Yan LiuXian ZhangJin Song DongYang LiuJun SunJit BiswasMounir MokhtariPublished in: ICECCS (2012)
Keyphrases
- formal analysis
- pervasive computing
- formal methods
- computing environments
- mobile devices
- intelligent systems
- context awareness
- ambient intelligence systems
- daily life
- context aware
- knowledge representation
- ambient intelligence
- activity recognition
- business process
- human computer interaction
- smart environments
- distributed systems
- computational intelligence
- artificial intelligence