Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments

Publisher： IGI Global_journal

E-ISSN： 1941-6245|8|1|1-22

ISSN： 1941-6237

Source： International Journal of Ambient Computing and Intelligence (IJACI), Vol.8, Iss.1, 2017-01, pp. : 1-22

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Service description and dissemination for service discovery in pervasive computing environments

By Thompson Michael S.  

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 12, Iss. 4, 2013-03 ,pp. : 193-204

Inderscience Publishers

Access to resources Recommend Favorite

A framework for developing Pervasive Awareness Systems in smart environments

By Goumopoulos Christos   Kameas Achilles D.   Berg Erik  

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 9, Iss. 3, 2012-05 ,pp. : 142-158

Inderscience Publishers

Access to resources Recommend Favorite

Situation-awareness and reasoning using uncertain context in mobile peer-to-peer environments

By Wibisono Waskitho   Zaslavsky Arkady   Ling Sea  

International Journal of Pervasive Computing and Communications, Vol. 9, Iss. 1, 2013-03 ,pp. : 52-71

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Asynchronous event detection for context inconsistency in pervasive computing

By Zhang Daqiang   Zhou Zhangbing   Zou Qin   Zhan Tianyi   Jo Minho  

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 11, Iss. 4, 2012-11 ,pp. : 195-205

Inderscience Publishers

Access to resources Recommend Favorite

An efficient service selection framework for pervasive environments

By Silas Salaja  

International Journal of Wireless and Mobile Computing, Vol. 6, Iss. 1, 2013-04 ,pp. : 80-90

Inderscience Publishers

Access to resources Recommend Favorite