5377 search results - page 762 / 1076 » Programming Languages For Interactive Computing |
155
click to vote
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
125
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Relying on naturalistic observation, via video selfdocumentaries, contextual interviews, and focus groups, we explored gender differences in the information and communication tech...
122
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
108
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
132
click to vote
FLAIRS
2001
15 years 5 months ago
2001
SUITEKeys is a speech user interface for motor-disabled computer users. This interface provides access to all available functionality of a computer by modeling interaction at the ...