Top-k query result completeness verification in sensor networks | IEEE Conference Publication | IEEE Xplore