Search Results - spaces evolution programming programming contracts https

Search alternatives:
programming programming » programming programmed , programming program
evolution programming » evolutionary programming , evolutionary programing , production programming
programming contracts » programming contract , programming constructs , programming constraints
spaces evolution » space evolution , species evolution , spaces evaluation
https » http

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
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: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Evolution Learned by Listening to Smalltalk -- The Web of Things: Extending the Web into the Real World...”
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

Embedded Systems Design The ARTIST Roadmap for Research and Development /

Published 2005

Table of Contents: “... -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation...”
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: “... Network Encryption Protocol in the OTS/CafeOBJ Method -- Model-Driven Design-Space Exploration...”
View full text

Electronic eBook

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Published 2008

Table of Contents: “...Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning...”
View full text

Electronic eBook

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... in the Semantic Web -- Semantic Web Service Choreography: Contracting and Enactment -- Formal Model for Semantic...”
View full text

Electronic eBook

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Published 2015

Table of Contents: “...A New Grammatical Evolution Based on Probabilistic Context-free Grammar -- An Adaptive Cauchy...”
View full text

Electronic eBook

Research and Development in Intelligent Systems XXX Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI Internationa...

Published 2013

Table of Contents: “... Learning and Constraint Programming -- The Importance of Topology Evolution in NeuroEvolution: A Case Study...”
View full text

Electronic eBook

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... Their Procurement Spending and Introduce Greater Competition in Public Sector Contracting.-Models for Some Smart...”
View full text

Electronic eBook

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Functions in Probabilistic Space -- Circular SOM for Temporal Characterisation of Modelled Gene Expressions...”
View full text

Electronic eBook

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “... on an Improved Genetic Algorithm -- An Improved Multi-Objective Differential Evolution Algorithm with an Adaptive...”
View full text

Electronic eBook

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-...

Published 2006

Table of Contents: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - N...

Published 2005

Table of Contents: “... Using Contract Workflow Models -- Resource-Centric Worklist Visualisation -- CoopFlow: A Framework...”
View full text

Electronic eBook

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Published 2014

Table of Contents: “...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”
View full text

Electronic eBook

Narrow Search