Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., Harrison M., Latella D. Scalable analysis of collective behaviour in smart service systems. In: SAC 2010 - 25th Annual ACM Symposium on Applied Computing 2010 (Sierre, Switzerland, 22-26 March 2010). Proceedings, vol. 2 pp. 1173 - 1180. ACM, 2010.
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.
URL: http://portal.acm.org/browse_dl.cfm?linked=1&part=series&idx=SERIES179&coll=ACM&dl=ACM&CFID=84499930&CFTOKEN=55847702
Subject Model-based usability analysis
Ubiquitous systems
Fluid Flow analysis
D.2.4 Software/Program Verification
H.5.2 User Interfaces
H.1.2 User/Machine Systems
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional