Sciweavers

805 search results - page 78 / 161
» Formal Analysis of Human-computer Interaction using Model-ch...
Sort
View
ACMDIS
2010
ACM
15 years 3 months ago
Observing the mobile music phenomenon: one in nine commuters is wired
In this study we attempt to quantify the popularity of mobile music device utilization. We present an observational method to study music interaction in the wild and assess the re...
Lassi A. Liikkanen, Mikko Lahdensuo
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 1 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
TABLETOP
2007
IEEE
15 years 9 months ago
Living with a Tabletop: Analysis and Observations of Long Term Office Use of a Multi-Touch Table
Multi-touch tabletops have been the focus of significant recent study but, to date, few devices have moved from prototype to installed use. In this paper, we present observation a...
Daniel Wigdor, Gerald Penn, Kathy Ryall, Alan Esen...
CHI
2006
ACM
16 years 3 months ago
Robot-human interaction with an anthropomorphic percussionist
The paper presents our approach for human-machine interaction with an anthropomorphic mechanical percussionist that can listen to live players, analyze perceptual musical aspects ...
Gil Weinberg, Scott Driscoll
DSVIS
1998
Springer
15 years 7 months ago
An Ontology for Task World Models
Many different task modeling methods exist. In this paper, we discuss 1) ingredients common to most task models, 2) how task modeling relates to the design of user interfaces, and ...
Martijn van Welie, Gerrit C. van der Veer, Anton E...