Sciweavers

2317 search results - page 113 / 464
» DMVIS: Design, Modelling and Validation of Interactive Syste...
Sort
View
HAPTICS
2002
IEEE
14 years 1 months ago
System Identification of the Human Hand Grasping a Haptic Knob
Accurate dynamic models of human hands grasping haptic devices can help to inform stability analyses, control algorithms, device design, and technology development efforts. The cu...
Christopher J. Hasser, Mark R. Cutkosky
JUCS
2000
102views more  JUCS 2000»
13 years 8 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
CHI
2009
ACM
14 years 8 months ago
Product interest and engagement scale, beta (pies-beta): initial development
We report a work in progress: development and initial validation of the Product Interest and Engagement Scale (PIES), a short assessment instrument measuring consumer interest in ...
Christopher N. Chapman, Michal Lahav, Edwin Love, ...
ECTEL
2006
Springer
13 years 10 months ago
A Method for Capitalizing upon and Synthesizing Analyses of Human Interactions
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
Annie Corbel, Jean-Jacques Girardot, Kristine Lund
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
13 years 9 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...