Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program composition » process composition, protein composition, proximate composition
composition https » computation https, composition haptics, cognition https
function changes » function change, functional changes, function charles
https function » its function, sites function, ups function
changes https » change https, change http, changes his
program composition » process composition, protein composition, proximate composition
composition https » computation https, composition haptics, cognition https
function changes » function change, functional changes, function charles
https function » its function, sites function, ups function
changes https » change https, change http, changes his
1
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Behaviour of Functionalized Hydrogels for Application in Chemical Sensors....”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Change Set Composition -- Automated and Unanticipated Flexible Component Substitution -- Dynamic...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...-Oriented Programming -- Comparing White-Box, Black-Box, and Glass-Box Composition of Aspect Mechanisms...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Keynote Talks -- Architecture in the Age of Compositionality -- Where Did All This Good...”View full text
Electronic
eBook
8
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
9
Published 2014
Table of Contents:
“...Testing Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Grammars with Word Order Restrictions -- Borrowed Contexts and Adhesive Categories -- Composition...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Change — Evolving the EIS Vision -- Automatic Speech Recognition: A Review -- Reasoning with Goals...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules -- A Self...”View full text
Electronic
eBook