Sciweavers

1484 search results - page 112 / 297
» A Coordination Model for Interactive Components
Sort
View
EICS
2010
ACM
15 years 2 months ago
Improving modularity and usability of interactive systems with Malai
In this paper we present Malai, a model-based user interface development environment. Malai is dedicated to the conception of post-WIMP (Window, Icon, Menu, Pointing device) inter...
Arnaud Blouin, Olivier Beaudoux
CHI
2009
ACM
15 years 12 months ago
EnsembleMatrix: interactive visualization to support machine learning with multiple classifiers
Machine learning is an increasingly used computational tool within human-computer interaction research. While most researchers currently utilize an iterative approach to refining ...
Justin Talbot, Bongshin Lee, Ashish Kapoor, Desney...
EICS
2009
ACM
15 years 3 months ago
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems
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...
Philippe A. Palanque, Marco Winckler, Jean-Fran&cc...
COORDINATION
2009
Springer
15 years 11 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
SI3D
2010
ACM
15 years 6 months ago
Interactive fluid-particle simulation using translating Eulerian grids
We describe an interactive system featuring fluid-driven animation that responds to moving objects. Our system includes a GPUaccelerated Eulerian fluid solver that is suited for...
Jonathan M. Cohen, Sarah Tariq, Simon Green