1
Published 2014
Table of Contents: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... SIMD Interpreter for Genetic Programming on GPU Graphics Cards -- Partitioned Incremental Evolution...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...) - Model Evolution with Linear Integer Arithmetic Constraints -- A Constraint Sequent Calculus for First...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Programming System for Solving Problems Requiring Big Data -- Grounded Simulation: Using Simulated Evolution...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...Evolving SQL Queries from Examples with Developmental Genetic Programming -- A Practical Platform...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...Keynotes -- Issues in Architecture Evolution: Using Design Intent in Maintenance and Controlling...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- Adding Constraint Solving to Mercury -- Modeling Genome Evolution with a DSEL for Probabilistic...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... Capabilities to Natural Semantics -- Solution Strategies for Multi-domain Constraint Logic Programs...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... and Time -- An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- Model Transformation -- A Formalisation of Constraint-Aware Model Transformations -- Formal Real-Time...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... for System Design -- Workflow Patterns in Orc -- Evolution On-the-Fly with Paradigm -- Formalising Business...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... with Operating Constraints -- Evaluation of Project Quality: A DEA-Based Approach -- Process Management -- A...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Research -- What Beyond CMMI Is Needed to Help Assure Program and Project Success? -- Integrated Software...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...
View full text
Electronic eBook