A Policy-based Management Framework for Pervasive Systems using Axiomatized Rule-Actions | IEEE Conference Publication | IEEE Xplore