Internetware applications are emerging and being widely *** can adapt their behavior based on environmental contexts and deliver smart *** contexts can be subject to various noises,which cause them to be inaccurate,in...
详细信息
Internetware applications are emerging and being widely *** can adapt their behavior based on environmental contexts and deliver smart *** contexts can be subject to various noises,which cause them to be inaccurate,incomplete,or even to conflict with each *** is known as contextinconsistency *** inconsistency can trigger unexpected behavior to applications,and therefore should be *** promising approach is to check contexts against consistency constraints so as to detect the occurrences of contextinconsistency at *** techniques have attempted different ways to improve the checking efficiency or effectiveness with different trade-offs in space overhead or communication ***,none of them has exploited multi-core computing capability to systematically improve the checking *** this paper,we propose a novel concurrent checking technique Con-C to efficiently detect inconsistencies in huge volumes of dynamic ***-C derives checking subtasks for each consistency constraint based on its structure and *** achieves this in a fully automated way,and at the same time can guarantee its derived checking subtasks to be persistently *** evaluated Con-C by controlled experiments through a large-scale real-world *** reported promising results that Con-C improved the checking efficiency by extra 57.0%,in addition to what had been gained by incremental checking.
暂无评论