210 search results - page 13 / 42 » Hob: A Tool for Verifying Data Structure Consistency |
ACL
2007
13 years 9 months ago
2007
The Penn Treebank does not annotate within base noun phrases (NPs), committing only to flat structures that ignore the complexity of English NPs. This means that tools trained on...
ICISS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
PVLDB
2010
13 years 6 months ago
2010
Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm so...
NDDL
2003
13 years 9 months ago
2003
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
We present a novel framework for mapping between any combination of XML and relational schemas, in which a high-level, userspecified mapping is translated into semantically meanin...