1006 search results - page 15 / 202 » Generating XML structure using examples and constraints |
CAV
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
ECOOP
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
SEKE
2007
Springer
15 years 3 months ago
2007
Springer
XML diff algorithms proposed in the literature have focused on the structural analysis of the document. When XML is used for data exchange, or when different versions of a documen...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we introduce the architecture of a distributed service platform that integrates speech, web technology and voice-overIP technologies and describe how a specific serv...
CIKM
2009
Springer
15 years 1 months ago
2009
Springer
The XML support in relational databases and the SQL/XML language are still relatively new as compared to purely relational databases and traditional SQL. Today, most database user...