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