A Formal Model of Context-Awareness and Context-Dependency | IEEE Conference Publication | IEEE Xplore