1411 search results - page 38 / 283 » Interactive Coding for Interactive Proofs |
EICS
2011
ACM
13 years 2 months ago
2011
ACM
Although reactive and graphically rich interfaces are now mainstream, their development is still a notoriously difficult task. This paper presents Hayaku, a toolset that supports...
HCI
2009
13 years 8 months ago
2009
For several years there has been the wish to make colors accessible to blind people. Colors are all around us and sighted people often talk about colors as it is a simple means of ...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
To facilitate software maintenance and evolution, a helpful step is to locate features concerned in a particular maintenance task. In the literature, both dynamic and interactive ...
SIGCOMM
1998
ACM
14 years 3 months ago
1998
ACM
A new retransmission-based error control technique is presented that does not incur any additional latency in frame playout times, and hence are suitable for interactive applicati...
ICSE
2000
IEEE-ACM
14 years 2 months ago
2000
IEEE-ACM
Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as co...