Tractable hypergraph properties for constraint satisfaction and conjunctive queries ´ Daniel Marx

Source URL: www.cs.bme.hu

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Theoretical computer science
• Unified Modeling Language
• Computing
• Formal methods
• Object Constraint Language
• ECO
• Postcondition
• Object diagram
• Object Process Methodology
• Class diagram
• Invariant

Probabilistic Inductive Constraint Logic Fabrizio Riguzzi1 , Elena Bellodi2 , Riccardo Zese2 , Giuseppe Cota2 , and Evelina Lamma2 1 Dipartimento di Matematica e Informatica – University of Ferrara

Source URL: ilp2015.jp

Parameterized complexity of constraint satisfaction problems ´ Daniel Marx Budapest University of Technology and Economics

Source URL: www.cs.bme.hu

Filmstripping and Unrolling: A Comparison of Verication Approaches for UML and OCL Behavioral Models? Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille University of Bremen, Computer Science Department

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Object Constraint Language
• ECO
• Dining philosophers problem
• Conceptual model
• Object Process Methodology

Two-constraint Domain Decomposition with Space Filling Curves Christian Konrad LRI, Univ. Paris-Sud, FOrsay, France Abstract

Source URL: www.christiankonrad.de

Declarative Diagnosis of Constraint Programs: an assertion-based approach Johan Boye, Wlodek Drabent, Jan Maluszynski April 21, 1997 Abstract This paper discusses adaptation of the declarative diagnosis techniques for

Source URL: www.ep.liu.se

Constraint satisfaction parameterized by solution size Andrei A. Bulatov1? and D´aniel Marx2?? 1 2

Source URL: www.cs.bme.hu

THE JOURNAL OF COMPARATIVE NEUROLOGY 411:359–Commentary Neural Development in Metatherian and Eutherian Mammals: Variation and Constraint

Source URL: blogs.cornell.edu

Appears in Working Notes of the AAAI Workshop on Constraints and AI Planning Austin, TX, 2000 MACBeth: A Multi-Agent Constraint-Based Planner Robert P. Goldman, Karen Zita Haigh, David J. Musliner, Michael Pelican

Source URL: musliner.com