652 search results - page 82 / 131 » Database Engineering from the Category Theory Viewpoint |
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Leveraging information from relevance assessments has been proposed as an effective means for improving retrieval. We introduce a novel language modeling method which uses inform...
EMSOFT
2006
Springer
14 years 19 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
Conditional functional dependencies (CFDs) have recently been proposed as extensions of classical functional dependencies that apply to a certain subset of the relation, as specif...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...