3384 search results - page 435 / 677 » More Testable Properties |
184
click to vote
BTW
2005
Springer
16 years 5 days ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
184
click to vote
CEFP
2005
Springer
16 years 5 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
196
click to vote
CIKM
2005
Springer
16 years 4 days ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
148
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...
170
click to vote
DNA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The intramolecular model for gene assembly in ciliates considers three operations, ld, hi, and dlad that can assemble any gene pattern through folding and recombination: ...