User Requirements Deduction in a Pervasive Environment | IEEE Conference Publication | IEEE Xplore