Introduction to special section on formal methods in pervasive computing.
Mohamed BakhouyaRoy H. CampbellAntonio CoronatoGiuseppe De PietroAnand RanganathanPublished in: ACM Trans. Auton. Adapt. Syst. (2012)
Keyphrases
- formal methods
- special section
- pervasive computing
- daily life
- mobile devices
- ambient intelligence
- special issue
- computing environments
- service discovery
- ubiquitous computing
- formal specification
- context aware
- context awareness
- model checking
- mobile computing
- smart environments
- artificial intelligence
- knowledge based systems
- software engineering
- pervasive computing environments
- intelligent environments
- databases
- pervasive environments
- context sensitive
- management system
- development lifecycle
- data management
- computational intelligence
- modeling language
- query processing
- database systems
- web services