805 search results - page 36 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
104
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
151
click to vote
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
124
click to vote
HRI
2010
ACM
15 years 9 months ago
2010
ACM
—Recent feasibility studies involving children with autism spectrum disorders (ASD) interacting with socially assistive robots have shown that children can have both positive and...
115
click to vote
HCI
2009
15 years 22 days ago
2009
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
147
click to vote
DDECS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...