Deductive Framework for Programming Sensor Networks

Himanshu Gupta, Xianjin Zhu, Xiang Xu. Deductive Framework for Programming Sensor Networks. In Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China. pages 281-292, IEEE, 2009. [doi]

Abstract

Abstract is missing.