A Formal Model for Space Based Ubiquitous Computing

Ubiquitous Computing asserts that technology will soon be pervasive in our lives. But how will that technology be organized and made available to us as we roam through the many spaces of our daily lives? How will we see and use that which we have a right to, and more importantly, how will a lack of access rights be enforced? These are questions that have been raised following previous research projects. They become more significant as the concept of intelligent environments scales-up beyond the boundaries of four walls. In this paper we propose a formal model that will form a roadmap for some of our upcoming research. This paper is a hypothetical work that explores some questions and poses some answers - Influenced by experimentation and with a view to further investigation.