317 search results - page 20 / 64 » Reasoning about the Implementation of Concurrency Abstractio... |
EPEW
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. People with special needs may find difficulties using electronic consumer devices, user interfaces limit their chances of having full control on them. The Universal Remot...
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Screen readers can drive braille devices for allowing visually impaired users to access computer environments, by providing them the same information as sighted users. But in some...
131
click to vote
ISPE
2003
15 years 1 months ago
2003
ABSTRACT: Knowledge systems for scientific and engineering endeavors must be able to insure the accuracy, completeness, and validity of their contents. When designed as such, these...
ERSHOV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...