Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments
Year of publication: |
2017
|
---|---|
Authors: | Boufaida, Mahmoud ; Belgharbi, Karima |
Published in: |
International Journal of Ambient Computing and Intelligence (IJACI). - IGI Global, ISSN 1941-6245, ZDB-ID 2696086-2. - Vol. 8.2017, 1 (01.01.), p. 1-22
|
Publisher: |
IGI Global |
Subject: | Adaptation | Context | Event-B Language | Pervasive Computing | Service Discovery | WSDL |
-
A semantic-based approach for context-aware service discovery
Grifoni, Patrizia, (2014)
-
Analyzing the Acquisition and Management of Context
Rivero-Rodriguez, Alejandro, (2018)
-
System support for proactive adaptation
VanSyckel, Sebastian, (2015)
- More ...
-
An Evolutive Component-Based Method for Agile Development of Service Oriented Architectures
Chehili, Hamza, (2017)
-
An Approach Based on Service Components for Adapting Web-Oriented Applications
Bendekkoum, Soumia, (2016)
-
An Adaptation Architecture Dedicated to Personalized Management of Multimedia Documents
Bettou, Farida, (2017)
- More ...