| Document Date: 2010-03-08 19:45:47
Open Document File Size: 49,62 KBShare Result on Facebook
Facility Building Correct Context-Aware Systems Christian Hoareau Doctor / The Graduate University / / IndustryTerm query processing / energy footprint / contextaware systems / pervasive computing plateform / particular sensing technology / energy conservation / ontext-aware computing / Context-aware systems / context-aware services / / Organization School of Multidisciplinary Sciences / Philosophy Department of Informatics / Graduate University for Advanced Studies / / Technology particular sensing technology / /
SocialTag |
A Model Checking based Framework for Building Correct Context-Aware Systems Christian Hoareau