725 search results - page 88 / 145 » Overview of TREC 2007 |
180
click to vote
POPL
2007
ACM
15 years 11 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....
102
click to vote
CADE
2007
Springer
15 years 11 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 ...
CADE
2007
Springer
15 years 11 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...
193
click to vote
SIGMOD
2007
ACM
15 years 11 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...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
An armada of emerging agile methods of software development (with eXtreme Programming and Scrum being the most broadly used) is both gaining popularity and generating lots of cont...