Deductive Framework for Programming Sensor Networks.

Himanshu Gupta, Xianjin Zhu, Xiang Xu

Browse the full ICDE paper archive.