Engineering crowd interaction within smart environments

EICS'09 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Volumn , Issue , 2009, Pages 117-122

  Harrison, Michael D ^a   Massink, Mieke ^b   Latella, Diego ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b ISTI CNR   (Italy)

Author keywords

Dynamic signage systems; Formal methods; Performance evaluation; Process algebra; Usability analysis

Indexed keywords

COMPLEMENTARY ANALYSIS; CROWD BEHAVIOR; PERFORMANCE EVALUATION PROCESS ALGEBRA; PROCESS ALGEBRA; SMART ENVIRONMENT; USABILITY ANALYSIS;

ALGEBRA; COMPUTER SYSTEMS; DYNAMIC ANALYSIS; FORMAL METHODS; STOCHASTIC MODELS;

UBIQUITOUS COMPUTING;

EID: 77949407802     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1570433.1570456     Document Type: Conference Paper

References (13)

1. th Annual European and Simulation Modelling Conference, 60-67.
2. Campos, J.C. and Harrison, M.D. 2008. Systematic analysis of control panel interfaces using formal tools. In N. Graham and P. Palanque, editors, Interactive systems: Design, Specification and Verification, DSVIS'08, Springer Lecture Notes in Computer Science, 5136 72-85. Springer-Verlag,
3. Gillespie, D.T. 1977. Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry, 81(25):2340-2361.
4. Gilmore, S. and Hillston, J. 1994. The PEPA workbench: a tool to support a process algebra-based approach to performance modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Springer Lecture Notes in Computer Science 794, 353-368. Springer-Verlag.
5. Gow, J. and Thimbleby, H.W. 2004. MAUI: An interface design tool based on matrix algebra. In R. J. K. Jacob, Q. Limbourg, and J. Vanderdonckt, editors, Computer Aided Design of User Interfaces IV, CADUI' 2004, 81-94.
6. Harrison, M.D., Kray, C., Sun, Z and Zhang, H. 2008. Factoring user experience in the design of ambient and mobile systems. In Gulliksen, J.; Harning, M.B.; Palanque, P.; Veer, G.C. van der; Wesson, J. (Eds.) Engineering Interactive Systems Springer Lecture Notes in Computer Science. Vol. 4940. 243-259.
7. Harrison M., Massink M., Latella D. Engineering human flows in smart environments using formal techniques - Full version. 2009. 〈http://puma. isti.cnr.it/ metadata.php? idcode=2009-TR-014&idcol=1& idauth=1&langver=it〉. Technical report CNR-ISTI 2009-TR-014.
8. Hillston, J.A.. 1996. A compositional approach to performance modelling. C.U.P.
9. Hillston, J. 2005. Fluid flow approximation of PEPA models. In Proceedings of QEST'05, 33-43. IEEE Computer Society.
10. Kwiatkowska, M., Norman, G. and Parker, D. 2002. PRISM: Probabilistic symbolic model checker. In T. Field, P.G. Harrison, J. Bradley, and U. Harder, editors, Computer Performance Evaluation: Modelling Techniques and Tools Proceedings 12th International Conference, TOOLS 2002, Springer Lecture Notes in Computer Science, 2324, page 200. Springer-Verlag.
11. Nielsen J. 1992. Finding usability problems through heuristic evaluation. In: Proc. of ACM CHI'92 Conference on Human Factors in Computing Systems. New York. ACM 249-256.
12. Polson, P.G., Lewis, C., Rieman, J. and Wharton, C. 1992. Cognitive walkthroughs: a method for theory-based evaluation of user interfaces, International Journal of Man-Machine Studies, Volume 36(5).
13. Wright, P.C., Fields, R.E. and Harrison, M.D. 2000. Analyzing human-computer interaction as distributed cognition: the resources model. Human Computer Interaction, 15(1):1-42.