Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the physical environment and the activities that are to be carried out within it. This paper provides an initial exploration of whether stochastic process algebras (in particular PEPA with a Fluid Flow semantics) might be used to explore consequences before deployment. The focus of the exploration is to aid understanding of how a proposed system supports users within the environment. The challenge is to provide notations and techniques that will enable the analysis of potentially complex systems.
Author(s): Harrison MD, Massink M
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Electronic Notes in Theoretical Computer Science: 4th International Workshop on the Practical Application of Stochastic Modelling (PASM)
Year of Conference: 2010
Library holdings: Search Newcastle University Library for this item