Isotope Programming Model: a Kind of Program Model for Context-Aware Application | IEEE Conference Publication | IEEE Xplore