µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
Software measurement forms a sound basis for monitoring software development process and software product quality. Implementing software measurement is, however, difficult and crea...
Minna Pikkarainen, Matias Vierimaa, Hannu Tanner, ...
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
Listening to music on personal, digital devices while mobile is an enjoyable, everyday activity. We explore a scheme for exploiting this practice to immerse listeners in navigatio...
Nigel Warren, Matt Jones, Steve Jones, David Bainb...
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...