A fluid flow approach to usability analysis of multi-user systems (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• A fluid flow approach to usability analysis of multi-user systems (Articolo in rivista) (literal)

Anno

• 2008-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-540-85992-5_15 (literal)

Alternative label

• Massink M.; Latella D.; Ter Beek M. H.; Harrison M.; Loreti M. (2008)
  A fluid flow approach to usability analysis of multi-user systems
  in Lecture notes in computer science
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Massink M.; Latella D.; Ter Beek M. H.; Harrison M.; Loreti M. (literal)

Pagina inizio

• 166 (literal)

Pagina fine

• 180 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 5247 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: HCSE'08, EIS'08, TAMODIA'08 - Engineering Interactive Systems. Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008 2nd Conference on Human-Centered Software Engineering, part of Engineering Interactive Systems 2008 (Pisa, Italy, 25-26 September 2008). Proceedings, pp. 166 - 180. P. Forbrig and F. Paternò (eds.). (Lecture Notes in Computer Science, vol. 5247). Springer, 2008. (literal)

Note

• ISI Web of Science (WOS) (literal)
• Scopus (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa, School of Computing Science, Newcastle University, UK, Universita' di Firenze, Dip. di Sistemi e Informatica, Italy (literal)

Titolo

• A fluid flow approach to usability analysis of multi-user systems (literal)

Abstract

• The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their users may have considerable impact on usability. Model-based analysis of such features leads to state-space explosion because of the sheer number of entities to be modeled when automatic techniques such as model checking are used. In this paper we explore the use of a recently proposed scalable model-based technique based on solving sets of Ordinary Differential Equations (ODEs). Starting from a formal model specified using the Performance Evaluation Process Algebra (PEPA), we show how different groupware usage patterns may be modeled and analyzed using this approach. We illustrate how the approach can explore different design options and their impact on group behavior by comparing file access policies in the context of a groupware application. (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)
• MAURICE HENRI TER BEEK (Unità di personale interno)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)
• MAURICE HENRI TER BEEK (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)