Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
721	Introduction Search Tree Visualizer Constraint and Variable Visualizers Tools VIZ - A Generic Constraint Visualization Tool Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2010-02-23 08:02:12 Computing Visualizer Document camera ECLiPSe Constraint programming Software engineering Computer programming
722	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
723	Problem Program Naive Search Improvements Chapter 6: Search Strategies (N-Queens) Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2009-06-21 13:28:54 Constraint programming Eight queens puzzle Array data type Local consistency C Mathematics Software engineering Computing
724	Employing the Object Constraint Language in Model-Based Engineering Martin Gogolla Database Systems Group, University of Bremen, Germany Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-04-24 13:55:47 Object Constraint Language Eclipse Diagram Model-driven engineering Modeling language ECO Kermeta Software Unified Modeling Language Computing
725	The Complexity of the Routing Problem in POR Wei Hu, Jin Xie, and Zhenghao Zhang Computer Science Department Florida State University Tallahassee, FL 32306, USA Abstract—We have designed and implemented a new protocol Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2013-06-12 09:46:54 Optimization problem Applied mathematics Constraint programming Theoretical computer science 2-satisfiability Mathematics
726	Abstract Runtime Monitoring with USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-01-27 03:50:41 Unified Modeling Language Formal methods Java platform Knowledge representation Object Constraint Language ECO KeY Runtime verification Software development process Computing Software Cross-platform software
727	Behavior Modeling with Interaction Diagrams in a UML and OCL Tool Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen University of Bremen, Germany {gogolla,lhamann,fhilken,ms,quang}@tzi.de Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-06-25 01:16:58 Design Unified Modeling Language Communication diagram Sequence diagram Object Constraint Language ECO Diagram Object diagram Class diagram UML diagrams Software engineering Data modeling
728	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering
729	Customer Communications • Notification of Scheduled Firm Access Quantities • Notification of Associated Transmission Reinforcements • Status of Associated Transmission Reinforcements • Constraint Reports Add to Reading List Source URL: www.eirgrid.com Language: English - Date: 2013-10-25 07:14:55 Reinforcement FAQ General Architecture for Text Engineering Software Application software EirGrid
730	Some Research Challenges and Remarks on CP Nicolas Beldiceanu Automata and Learning Question Is there a declarative way for describing concisely a generator of automata (or MDDs) that have a very regular structure? Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:10:27 ECLiPSe Propagator Graph Computing Constraint programming Software engineering Computer programming

UPDATE