3676 search results - page 63 / 736 » Scalable component abstractions |
ICDT
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. This paper presents XPeer, a data sharing system for massively distributed XML data. XPeer allows users to publish and query heterogeneous information without any signiï¬...
SAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
FMCAD
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present Minion, a new constraint solver. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits....
EDBT
2010
ACM
15 years 1 months ago
2010
ACM
Entity search, a significant departure from page-based retrieval, finds data, i.e., entities, embedded in documents directly and holistically across the whole collection. This pap...