A Formal Model for Dynamic Service Updates in Pervasive Computing.
Siqi DuLinpeng HuangJun-Qing ChenPublished in: IMIS (2011)
Keyphrases
- formal model
- pervasive computing
- service discovery
- pervasive environments
- computing environments
- pervasive computing environments
- smart spaces
- daily life
- context awareness
- ubiquitous computing environments
- context aware
- ambient intelligence
- ubiquitous computing
- mobile computing
- artificial intelligence
- smart environments
- web services
- databases
- management system
- database systems
- smart home
- service oriented architecture
- service composition
- mobile devices
- data analysis
- computing paradigm
- home care