805 search results - page 142 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
159
click to vote
IUI
2006
ACM
15 years 9 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
HUC
2007
Springer
15 years 9 months ago
2007
Springer
How should Ubicomp technologies be evaluated? While lab studies are good at sensing aspects of human behavior and revealing usability problems, they are poor at capturing context o...
142
click to vote
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
140
click to vote
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...