Pervasive Computing Environment

Formal Modeling and Verification of Services Managements for Pervasive Computing Environment

FREE-DOWNLOAD [PDF] H Wan, Z Drey, Y Zhiyang… – 2010
Various forms of pervasive computing environments are being deployed in an increasing number
of areas including hospitals, homes and military settings. Entities in this environment provide
rich functionalities (ie services). How to organize these heterogeneous and distributed