1
Published 2007
Table of Contents: ...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
3
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
4
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
5
Published 2005
Table of Contents: ... -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Network Encryption Protocol in the OTS/CafeOBJ Method -- Model-Driven Design-Space Exploration...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning...
View full text
Electronic eBook
8
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
9
Published 2015
Table of Contents: ...A New Grammatical Evolution Based on Probabilistic Context-free Grammar -- An Adaptive Cauchy...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Learning and Constraint Programming -- The Importance of Topology Evolution in NeuroEvolution: A Case Study...
View full text
Electronic eBook
11
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
12
Published 2005
Table of Contents: ... Functions in Probabilistic Space -- Circular SOM for Temporal Characterisation of Modelled Gene Expressions...
View full text
Electronic eBook
13
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
14
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
15
Published 2005
Table of Contents: ... Using Contract Workflow Models -- Resource-Centric Worklist Visualisation -- CoopFlow: A Framework...
View full text
Electronic eBook
16
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