Search Results - integrated configuration programming program constraints https

Search alternatives:
configuration programming » configurations programmable , configuration processing , integration programming
integrated configuration » integrated reconfiguration , integration configuration , interface configuration
programming program » programming programmed , programming problem , programming problems
program constraints » programs constraints , progress constraints , problem constraints
constraints https » constraints haptic , constraints data , constraints chap

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2010

Table of Contents: “... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”
View full text

Electronic eBook

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2005

Table of Contents: “... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Published 2010

Table of Contents: “... Symmetry -- Ensemble Classification for Constraint Solver Configuration -- On Testing Constraint Programs...”
View full text

Electronic eBook

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Bandit-Based Search for Constraint Programming.-Focused Random Walk with Configuration Checking and Break...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Published 2015

Table of Contents: “... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”
View full text

Electronic eBook

Applications of Declarative Programming and Knowledge Management 15th International Conference...

Published 2005

Table of Contents: “... Resources Constraint -- Integrating Time Constraints into Constraint-Based Configuration Models...”
View full text

Electronic eBook

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Published 2008

Table of Contents: “...: Extending Business Process Configuration to Roles and Objects -- Value-Driven Coordination Process Design...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Published 2008

Table of Contents: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
View full text

Electronic eBook

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Published 2013

Table of Contents: “...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”
View full text

Electronic eBook

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /

Published 2015

Table of Contents: “... Have to be Categorical -- A Model-based Approach for the Integration of Configuration Fragments...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Greece, October 25-29, 2010, Proceedings, Part...

Published 2010

Table of Contents: “... Availability Constraints -- Achieving Recovery in Service Composition with Assurance Points and Integration...”
View full text

Electronic eBook

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Configurations on Finite Point Sets in the Plane -- Contributed Papers – Track A -- Normal and Feature...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Published 2012

Table of Contents: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
View full text

Electronic eBook

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Published 2014

Table of Contents: “...-Specific Constraints -- Scalable Armies of Model Clones through Data Sharing -- Feature and Variability...”
View full text

Electronic eBook

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Published 2010

Table of Contents: “... Evolution Strategy to Light Configuration Optimization of Photometric Stereo -- Solving Multi Objective...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent...

Published 2014

Table of Contents: “... in Business Process Management -- Towards a Compliance-Aware Inter-organizational Service Integration Platform...”
View full text

Electronic eBook

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings /

Published 2006

Table of Contents: “... System for a Nuclear Power Plant -- Regulatory Software Configuration Management System Design -- Gaining...”
View full text

Electronic eBook

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “... Systems -- RAMSS Analysis for a Co-operative Integrated Traffic Management System -- Combining Static...”
View full text

Electronic eBook

Narrow Search