4350 search results - page 675 / 870 » Case studies for contract-based systems |
156
click to vote
PVLDB
2008
15 years 2 months ago
2008
Data exchange is the process of converting an instance of one schema into an instance of a different schema according to a given specification. Recent data exchange systems have l...
132
click to vote
MODELS
2010
Springer
15 years 2 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
178
click to vote
REALWSN
2010
14 years 10 months ago
2010
Pre-deployment tests of sensor networks in indoor testbeds can only deliver a very approximate view of the correctness and performance of a deployed sensor network and it is theref...
209
click to vote
PEPM
2007
ACM
17 years 2 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
229
Voted
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Algorithms that exploit sort orders are widely used to implement joins, grouping, duplicate elimination and other set operations. Query optimizers traditionally deal with sort ord...