Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments.
Karima BelgharbiMahmoud BoufaïdaPublished in: Int. J. Ambient Comput. Intell. (2017)
Keyphrases
- pervasive environments
- context awareness
- pervasive computing
- service discovery
- computing environments
- pervasive computing environments
- ambient intelligence
- context aware
- ubiquitous computing
- web services
- semantic web services
- context sensitive
- web services discovery
- computing paradigm
- daily life
- service composition
- service oriented architecture
- human computer interaction
- service description
- web service discovery
- databases
- smart home
- mobile computing
- management system