The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
A compositional approach to performance modelling
A compositional approach to performance modelling
The origins of ubiquitous computing research at PARC in the late 1980s
IBM Systems Journal
Usability analysis with Markov models
ACM Transactions on Computer-Human Interaction (TOCHI)
Introduction to Functional Programming
Introduction to Functional Programming
Reasoning about Interactive Systems with Stochastic Models
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Adaptive navigation support with public displays
Proceedings of the 10th international conference on Intelligent user interfaces
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Engineering crowd interaction within smart environments
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
User Requirement Analysis and IT Framework Design for Smart Airports
Wireless Personal Communications: An International Journal
Hi-index | 0.00 |
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shape through a number of pilot projects. The purposes of such systems vary from intelligent homes that assist their inhabitants to make their lives more independent and comfortable to much larger environments such as airports in which people are provided with context aware, personalised, adaptive and anticipatory services that are most relevant for them given their location and their current activities. This paper is concerned with the exploration of scalable formal models that can address the collective behaviour of a large number of people moving through a smart environment.