805 search results - page 101 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
138
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
120
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Traditional online social network sites use a single monolithic "friends" relationship to link users. However, users may have more in common with strangers, suggesting t...
120
Voted
CHI
2003
ACM
16 years 3 months ago
2003
ACM
This paper introduces an approach for graphically visualizing the affective structure of a text document. A document is first affectively analyzed using a unique textual affect se...
138
click to vote
HCI
2009
15 years 28 days ago
2009
Social network analysis (SNA) has been used to study the relationships between actors in social networks, revealing their features and patterns. In most cases, nodes and edges in g...
104
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
Correlations between prototypical usability metrics from 90 distinct usability tests were strong when measured at the task-level (r between .44 and .60). Using test-level satisfac...