805 search results - page 54 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
130
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Web usage mining, the analysis of user navigation paths through web sites, is a common technique for evaluating site designs or adaptive hypermedia techniques. However, often it i...
126
click to vote
HCI
2011
14 years 6 months ago
2011
: This work, a collaboration between Alstom Transport and the MIT Humans and Automation Laboratory (HAL), is focused on the development of an interactive in-cab scheduling interfac...
139
click to vote
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
112
click to vote
HRI
2006
ACM
15 years 9 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...
117
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
We perform a theoretical study of the following queryview security problem: given a view V to be published, does V logically disclose information about a confidential query S? The...