Search alternatives:
usa international » usa internationale, asia international, ima international
based competition » based compensation, based computational, based compression
based computation » based computational, based communication, based computing
based composition » based decomposition, based composites, acid composition
Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... with Respect to Their Composition -- An Execution-Level Component Composition Model Based on Component Testing...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...-Based Open Middleware Supporting Aspect-Oriented Software Composition -- An Empirical Study...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Agent Based Approach to Service Description and Composition -- Intelligent Software Agents Technology...”
Cover Image
Read Now

5
Published 2016
Springer International Publishing
Table of Contents: “... PubMed -- Compositional Adaptation of Explanations in Textual Case-based Reasoning -- Relevance Matrix...”
Cover Image
Read Now

6
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks and Tutorials -- Keynote Address: Abstraction, Composition, Symmetry, and a Little...”
Cover Image
Read Now

7
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Cover Image
Read Now

8
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Model Checking Conformance with Scenario-Based Specifications -- Theorem Proving -- Deductive...”
Cover Image
Read Now

9
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Hybrid control of automotive powertrain systems: A case study -- On the composition of hybrid systems...”
Cover Image
Read Now

10
Published 2020
Springer International Publishing
Table of Contents: “... -- NLC: A Replacement Caching Algorithm based on Non-Critical Path Least Counts for In-Memory Computing...”
Cover Image
Read Now

11
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Imbalanced Data-Sets -- Learning of Fuzzy Rule-Based Meta-schedulers for Grid Computing with Differential...”
Cover Image
Read Now

12
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework -- Energy-Efficient...”
Cover Image
Read Now

13
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...to Semantic Web Services and Web Process Composition -- Panel -- Academic and Industrial Research...”
Cover Image
Read Now

14
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Ontology -- IEC-Based Motion Retrieval System Using Laban Movement Analysis -- Automatic Composition...”
Cover Image
Read Now

15
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- An Analysis of Background-Color Effects on the Scores of a Computer-Based English Test -- Message Ferry Route...”
Cover Image
Read Now

16
Published 2023
Springer Nature Switzerland
Table of Contents: “...Distributing and Parallelizing Non-canonical Loops -- SMT-Based Modeling and Verification...”
Cover Image
Read Now

17
Published 2018
Springer International Publishing
Table of Contents: “... be Happy: a Deadline-based Backfilling Approach -- Supporting Real-Time Jobs on the IBM Blue Gene/Q...”
Cover Image
Read Now

18
Published 2021
Springer International Publishing
Table of Contents: “... and Their Applications to SMT and CHC Solving -- Compositional Verification of Smart Contracts Through Communication...”
Cover Image
Read Now

19
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Biomolecular Networks -- Compositional Refinement for Hierarchical Hybrid Systems -- Optimal Paths in Weighted...”
Cover Image
Read Now

20
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Enumeration of Compositional Hybrid Systems -- Automated Symbolic Reachability Analysis; with Application...”