2725 search results - page 282 / 545 » Constraint Solving for Interpolation |
205
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
197
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
179
click to vote
ISCIS
2009
Springer
16 years 1 months ago
2009
Springer
—The channel assignment problem (CAP) in cellular networks is concerned with the allocation and reuse of the frequency spectrum to the base stations in such a way that both the i...
179
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
A complex Enterprise Relationship Planning (ERP) data migration was in trouble: low quality, poor performance, instability, and an overworked team threatened project success. Faci...
217
click to vote
AAIM
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. We study an extension of the set cover problem, the connected set cover problem, the problem is to find a set cover of minimal size that satisfies some connectivity con...