6244 search results - page 903 / 1249 » Geographic human-computer interaction |
167
Voted
CASSIS
2004
Springer
15 years 10 months 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...
132
click to vote
CASSIS
2004
Springer
15 years 10 months 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...
142
Voted
ICCHP
2004
Springer
15 years 10 months 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...
154
Voted
ICCHP
2004
Springer
15 years 10 months 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...
129
click to vote
ICCHP
2004
Springer
2004
Springer
Neuropsychological Function for Accessibility of Computer Program for People with Mental Retardation
15 years 10 months ago
The extent to which people with mental retardation are benefit from the modern information technology is not well explored. A better understanding on ways that the existing human-c...