A compositional approach to performance modelling
A compositional approach to performance modelling
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
DIS '00 Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques
Usability engineering: scenario-based development of human-computer interaction
Usability engineering: scenario-based development of human-computer interaction
Model Checking Interactor Specifications
Automated Software Engineering
PRISM: Probabilistic Symbolic Model Checker
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Taming HAL: Designing Interfaces Beyond 2001
Taming HAL: Designing Interfaces Beyond 2001
Adaptive navigation support with public displays
Proceedings of the 10th international conference on Intelligent user interfaces
Technology as Experience
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Human-Computer Interaction (3rd Edition)
Human-Computer Interaction (3rd Edition)
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Analysis of a gossip protocol in PRISM
ACM SIGMETRICS Performance Evaluation Review
Verification-guided modelling of salience and cognitive load
Formal Aspects of Computing
Interaction walkthrough: evaluation of safety critical interactive systems
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Moving on from weiser's vision of calm computing: engaging ubicomp experiences
UbiComp'06 Proceedings of the 8th international conference on Ubiquitous Computing
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
| Hi-index | 0.00 |
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.