6554 search results - page 932 / 1311 » Constraint Logic Programming |
138
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
187
click to vote
XSYM
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
145
click to vote
ICST
2008
IEEE
16 years 20 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
157
click to vote
SOFSEM
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
163
click to vote
ICDE
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...