Engineering human flows in smart environments using formal techniques - Full version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type

• Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali (Classe)
• Prodotto della ricerca (Classe)

Label

• Engineering human flows in smart environments using formal techniques - Full version (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)

Anno

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

Alternative label

• Harrison M.; Massink M.; Latella D. (2009)
  Engineering human flows in smart environments using formal techniques - Full version
  
  (literal)

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

• Harrison M.; Massink M.; Latella D. (literal)

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

• Technical report, 2009. (literal)

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

• ABSTRACT: While the cost of deploying a smart environment is likely to be high, the benefits of such systems are hard to quantify and predict. The potential for expensive failure is therefore considerable. This paper is concerned with how formal models of smart environments might be used to explore the consequences of the technology on users of the environment before deployment. Alternative models of interaction within smart environments are explored. The first focuses on the individual within the environment and the second provides an exploration of the impact of the designed environment on collective behaviour. It applies a recent approach that provides a quantitative analysis of systems with a very large number of entities with similar behaviour. The paper argues that there are particular properties relating to implicit interaction in immersive systems and to issues of crowd system interaction and discusses how these properties should be analysed. The relationship between these mode (literal)

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

• Altro (literal)

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

• School of Computing Science, Newcastle University, Newcastle upon Tyne, UK, CNR-ISTI, Pisa (literal)

Titolo

• Engineering human flows in smart environments using formal techniques - Full version (literal)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• 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)

Insieme di parole chiave

• Keywords of "Engineering human flows in smart environments using formal techniques - Full version" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (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

• Keywords of "Engineering human flows in smart environments using formal techniques - Full version" (Insieme di parole chiave)