10715 search results - page 1931 / 2143 » From Tests to Proofs |
184
click to vote
STOC
1996
ACM
15 years 10 months ago
1996
ACM
A fundamental problem in designing secure multi-party protocols is how to deal with adaptive adversaries i.e., adversaries that may choose the corrupted parties during the course ...
163
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
A data warehouse materializes views derived from data that may not reside at the warehouse. Maintaining these views e ciently in response to base updates is di cult, since it may ...
190
click to vote
APWEB
2009
Springer
15 years 10 months ago
2009
Springer
We present a new method to evaluate a search ontology, which relies on mapping ontology instances to textual documents. On the basis of this mapping, we evaluate the adequacy of on...
179
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
204
click to vote
ICDT
2010
ACM
15 years 10 months ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...