Sciweavers

Share
500 search results - page 1 / 100
» Data generation using declarative constraints
Sort
View
SIGMOD
2011
ACM
222views Database» more  SIGMOD 2011»
7 years 10 months ago
Data generation using declarative constraints
We study the problem of generating synthetic databases having declaratively speciļ¬ed characteristics. This problem is motivated by database system and application testing, data ...
Arvind Arasu, Raghav Kaushik, Jian Li
CP
2006
Springer
8 years 11 months ago
Generating Propagators for Finite Set Constraints
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
Guido Tack, Christian Schulte, Gert Smolka
FM
2008
Springer
152views Formal Methods» more  FM 2008»
8 years 8 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid
CORR
1998
Springer
107views Education» more  CORR 1998»
8 years 6 months ago
Computing Declarative Prosodic Morphology
This paper describes a computational, declarative approach to prosodic morphology that uses inviolable constraints to denote small finite candidate sets which are filtered by a re...
Markus Walther
SPIN
2010
Springer
8 years 5 months ago
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aal...
books