partial constraint checking for context consistency in pervasive computing
文献类型：期刊论文
| 作者 | Xu Chang ; Cheung S. C. ; Chan W. K. ; Ye Chunyang |
| 刊名 | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
 |
| 出版日期 | 2010 |
| 卷号 | 19期号:3页码:- |
| 关键词 | Algorithms Performances Theory Constraints performance pervasive computing validation |
| ISSN号 | 1049-331X |
| 学科主题 | Computer Science, Software Engineering |
| 收录类别 | SCI |
| 语种 | 英语 |
| 公开日期 | 2011-05-23 |
| 附注 | Pervasive computing environments typically change frequently in terms of available resources and their properties. Applications in pervasive computing use contexts to capture these changes and adapt their behaviors accordingly. However, contexts available to these applications may be abnormal or imprecise due to environmental noises. This may result in context inconsistencies, which imply that contexts conflict with each other. The inconsistencies may set such an application into a wrong state or lead the application to misadjust its behavior. It is thus desirable to detect and resolve the context inconsistencies in a timely way. One popular approach is to detect context inconsistencies when contexts breach certain consistency constraints. Existing constraint checking techniques recheck the entire expression of each affected consistency constraint upon context changes. When a changed context affects only a constraints subexpression, rechecking the entire expression can adversely delay the detection of other context inconsistencies. This article proposes a rigorous approach to identifying the parts of previous checking results that are reusable without entire rechecking. We evaluated our work on the Cabot middleware through both simulation experiments and a case study. The experimental results reported that our approach achieved over a fifteenfold performance improvement on context inconsistency detection than conventional approaches. |
| 源URL | [http://124.16.136.157/handle/311060/9770]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Xu Chang,Cheung S. C.,Chan W. K.,et al. partial constraint checking for context consistency in pervasive computing[J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY,2010,19(3):-. |
| APA | Xu Chang,Cheung S. C.,Chan W. K.,&Ye Chunyang.(2010).partial constraint checking for context consistency in pervasive computing.ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY,19(3),-. |
| MLA | Xu Chang,et al."partial constraint checking for context consistency in pervasive computing".ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 19.3(2010):-. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。