Pervasive wireless-sensor-networks for home healthcare need automatic reasoning | IEEE Conference Publication | IEEE Xplore