A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1145/1570433.1570473 (literal)

Alternative label

• Palanque P.; Winckler M.; Ladry J.; Ter Beek M. H.; Faconti G.; Massink M. (2009)
  A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems
  in 1st ACM SIGCHI symposium on Engineering Interactive Computing Systems, Pittsburgh, PA, USA
  (literal)

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

• Palanque P.; Winckler M.; Ladry J.; Ter Beek M. H.; Faconti G.; Massink M. (literal)

Pagina inizio

• 211 (literal)

Pagina fine

• 220 (literal)

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

• Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (2009)211 (literal)

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

• In: EICS'09 - 1st ACM SIGCHI symposium on Engineering Interactive Computing Systems (Pittsburgh, PA, USA, 15-17 July 2009). Proceedings, pp. 211 - 220. Gaëlle Calvary, T. C. Nicholas Graham, Philip Gray (eds.). ACM, 2009. (literal)

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

• ABSTRACT: This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach combines previous work in the field of interruption analysis, formal description techniques for interactive systems and stochastic processes to support performance analysis of user activities constrained by the occurrence of interruptions. The approach uses formal description techniques to provide a precise description of user tasks, and both system and interruptions behavior. The detailed mechanism by which systems and interruptions behave is first described using a Petri nets-based formal description technique called Interactive Cooperative Objects (ICO). The use of a formal modeling technique for the description of these three components makes it possible to compare and analyze different interaction techniques. In particular, it allows us to determine which of the system states are most affected (literal)

Note

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

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

• Université Paul Sabatier; Université Paul Sabatier; Université Paul Sabatier; CNR-ISTI; CNR-ISTI; CNR-ISTI (literal)

Titolo

• A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems (literal)

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

• 978-1-60558-600-7 (literal)

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

• 220 (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR

• GIORGIO FACONTI (Unità di personale interno)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• MIEKE MASSINK (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• GIORGIO FACONTI (Unità di personale interno)
• MAURICE HENRI TER BEEK (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Insieme di parole chiave di

• Parole chiave di "A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems" (Insieme di parole chiave)