Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de

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

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Object Process Methodology
• Object diagram
• Class diagram
• Postcondition
• Design by contract
• Sequence diagram
• Conceptual model

On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric

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

• Software engineering
• Unified Modeling Language
• Computing
• Theoretical computer science
• Object Constraint Language
• ECO
• Executable UML
• Postcondition
• State diagram
• Event
• Class diagram
• Finite-state machine

New Look-Ahead Schemes for Constraint Satisfaction Kalev Kask, Rina Dechter and Vibhav Gogate Department of Information and Computer Science University of California, Irvine, CAAbstract

Source URL: www.hlt.utdallas.edu

Constraint Satisfaction with Countable Homogeneous Templates Manuel Bodirsky1 and Jaroslav Neˇsetˇril2 1 Humboldt Universit¨

Source URL: iti.mff.cuni.cz

Letter Noncoding regulatory sequences of Ciona exhibit strong correspondence between evolutionary constraint and functional importance David S. Johnson,1 Brad Davidson,2 Christopher D. Brown,1 William C. Smith,3 and

Source URL: mendel.stanford.edu

Scalable, Anytime Constraint Optimization through Iterated, Peer-to-Peer Interaction in Sparsely-Connected Networks Stephen Fitzpatrick & Lambert Meertens Kestrel Institute 3260 Hillview Avenue, Palo Alto, California, U.

Source URL: www.kestrel.edu

1378 IEEE TRANSACTIONS ON IMAGE PROCESSING, VOL. 12, NO. 11, NOVEMBER 2003 On Exploiting Geometric Constraint of Image Wavelet Coefficients

Source URL: www.csee.wvu.edu

Scientific Report First name / Family name Nationality Name of the Host Organisation First Name / family name of the

Source URL: fellowship.ercim.eu

• Mathematical optimization
• Model predictive control
• Constrained optimization
• Feasible region
• Constraint
• Systems theory
• Systems science
• Applied mathematics

Scientific Report First name / Family name Francesco Santini

Source URL: fellowship.ercim.eu

• Constraint programming
• Mathematical optimization
• Software engineering
• Computer programming
• Constraint automaton
• Computing
• Constraint satisfaction problem
• Constraint satisfaction
• Constraint
• Reo Coordination Language
• Constrained optimization
• Multi-agent system

Preprint. Submitted for publication in JACM A Ranking Functions for Linear-Constraint Loops Amir M. Ben-Amram, The Academic College of Tel-Aviv Yaffo Samir Genaim, Complutense University of Madrid

Source URL: www2.mta.ac.il