Search Results - programming evolving program compositional program https

Search alternatives:
program compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
programming evolving » programming solving , programming building , programming designing
evolving program » evolving programs , proving program , evolving problem
program https » programs https , program has , program help

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Published 2008

Table of Contents: “...Oral Presentations -- Training Time and Team Composition Robustness in Evolved Multi-agent Systems...”
View full text

Electronic eBook

Genetic Programming Theory and Practice VIII

Published 2011

Table of Contents: “...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...”
View full text

Electronic eBook

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures /

Published 2008

Table of Contents: “... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”
View full text

Electronic eBook

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers /

Published 2013

Table of Contents: “... and Adaptability for Evolving Application Development -- Requirements for Self-adaptation -- Dynamic Program...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... of Evolving Software -- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments...”
View full text

Electronic eBook

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
View full text

Electronic eBook

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Published 2010

Table of Contents: “... Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs...”
View full text

Electronic eBook

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /

Published 2008

Table of Contents: “... Collaboration Using Goal Sequences -- Adaptive and Fault-Tolerant Service Composition in Peer-to-Peer Systems...”
View full text

Electronic eBook

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Published 2014

Table of Contents: “... Evolving Systems -- Modal Characterisations of Probabilistic and Fuzzy Bisimulations -- Pointer Program...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2013

Table of Contents: “... Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon...”
View full text

Electronic eBook

Transactions on Aspect-Oriented Software Development IV Focus: Early Aspects and Aspects of Software Evolution /

Published 2007

Table of Contents: “... — Mapping Across the Lifecycle -- COMPASS: Composition-Centric Mapping of Aspectual Requirements...”
View full text

Electronic eBook

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Published 2010

Table of Contents: “...Keynote Talks -- Architecture in the Age of Compositionality -- Where Did All This Good...”
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: “... -- Continuous Monitoring in Evolving Business Networks -- Collaborative Coordination of Activities with Temporal...”
View full text

Electronic eBook

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /

Published 2008

Table of Contents: “... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October...

Published 2014

Table of Contents: “...Evolving Critical Systems - Track Introduction -- Statistical Abstraction Boosts Design and Test...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “...Adaptable and Evolving Software for Eternal Systems (Track Summary).- Challenges in Defining a...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
View full text

Electronic eBook

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /

Published 2007

Table of Contents: “...Graphical Composition of Grid Services -- A UML 2.0 Profile for Architecting B3G Applications...”
View full text

Electronic eBook

Narrow Search