9110 search results - page 1491 / 1822 » Formally-Based Design Evaluation |
202
click to vote
DPD
2002
15 years 6 months ago
2002
A major cost in executing queries in a distributed database system is the data transfer cost incurred in transferring relations (fragments) accessed by a query from different sites...
158
click to vote
IJSYSC
2000
15 years 6 months ago
2000
The generation of complex entities with advantageous behaviours beyond our manual design capability requires long-term incremental evolution with continuing emergence. In this pap...
163
click to vote
IPM
2000
15 years 6 months ago
2000
The paper reviews the TREC Programme up to TREC-6 (1997), considering the test results, the substantive findings for IR that follow, and the lessons TREC offers for IR evaluation....
175
click to vote
ESE
2002
15 years 6 months ago
2002
In recent years there has been a growing interest in empirically investigating object-oriented technology (OOT). Much of this empirical work has been experimental in nature. This ...
175
click to vote
MOC
2000
15 years 6 months ago
2000
Abstract. Two explicit error representation formulas are derived for degenerate parabolic PDEs, which are based on evaluating a parabolic residual in negative norms. The resulting ...