6274 search results - page 672 / 1255 » Proofs, Programs, Processes |
225
click to vote
WWW
2005
ACM
16 years 22 days ago
2005
ACM
This paper proposes an incremental maintenance algorithm that efficiently updates the materialized XPath/XSLT views defined using XPath expressions in XP{[],∗,//,vars} . The al...
196
click to vote
EMSOFT
2005
Springer
16 years 21 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
191
click to vote
ICLP
2004
Springer
16 years 16 days ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
182
click to vote
ISOLA
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
184
click to vote
COMPSAC
2003
IEEE
16 years 14 days ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...