PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Harrison M., Massink M. Modelling interactive experience, function and performance in ubiquitous systems. In: Electronic Notes in Theoretical Computer Science, vol. 261 pp. 23 - 42. Special issue: Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling (PASM 2009). Elsevier, 2010.
 
 
Abstract
(English)
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.
Subject Interactive systems
Model checking
Stochastic modelling
Ubiquitous computing
Human computer interaction
D.2.4 Software/Program Verification
H.5.3 Group and Organization Interfaces
68N30 Mathematical aspects of software engineering


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional