7381 search results - page 1130 / 1477 » The age of human computer interaction |
206
click to vote
CASSIS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
181
click to vote
CASSIS
2004
Springer
16 years 8 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
184
click to vote
ICCHP
2004
Springer
16 years 8 days ago
2004
Springer
David tries not to use unfamiliar trains and buses, he doesn’t travel to places he doesn’t know, and he doesn’t travel in unusual environments without a companion. David is v...
194
click to vote
ICCHP
2004
Springer
16 years 8 days ago
2004
Springer
People with disabilities need several assistive technical aids to increase their autonomy and perform daily living tasks. This paper describes the role of networking and communicat...
174
click to vote
MHCI
2004
Springer
16 years 7 days ago
2004
Springer
Sound is an important medium in our lives, but its ephemeral nature can be problematic when people cannot recall something they heard in the past. Motivated by everyday conversatio...