805 search results - page 86 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
119
click to vote
CHI
1994
ACM
15 years 7 months ago
1994
ACM
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
151
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
People come to online communities seeking information, encouragement, and conversation. When a community responds, participants benefit and become more committed. Yet interactions...
147
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
136
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
115
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
This study examines the acceptance and usability of an animated conversational agent designed to establish longterm relationships with older, mostly minority adult users living in...