3006 search results - page 212 / 602 » Overview |
108
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
Blind or visually impaired users typically access diagrams in the tactile medium. This paper describes TouchMelody, a system designed for augmenting such existing diagrams with 3D...
225
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e....
136
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
141
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
239
click to vote
VLDB
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes the basic processing model and architecture of Aurora, a new system to manage data streams for monitoring applications. Monitoring applications differ substant...