544 search results - page 56 / 109 » Overview of QAST 2007 |
104
click to vote
CHI
2007
ACM
16 years 6 days ago
2007
ACM
In this paper we introduce SocialBrowsing, a Firefox extension that adds social context to the web browsing experience. The extension is paired with services provided by social ne...
184
click to vote
POPL
2007
ACM
16 years 4 days 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....
105
click to vote
CADE
2007
Springer
16 years 4 days 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 ...
103
click to vote
CADE
2007
Springer
16 years 4 days 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...
197
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
The provenance of data has recently been recognized as central to the trust one places in data. It is also important to annotation, to data integration and to probabilistic databa...