1
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Research Papers -- Business Process Model Abstraction Based on Behavioral Profiles -- Root-Cause...
View full text
Electronic eBook
4
Published 2011
Subjects: ...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ...Algorithms and models for computation on biomolecular Systems -- Computational processes in vitro...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Hierarchical Composition of Areas in Multi-robot Area Coverage -- Formalizing the Abstraction Process in Model...
View full text
Electronic eBook
7
Table of Contents: ... -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved rules for probabilistic...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... for Payments Card Processing Systems -- Services-Oriented Computing in a Ubiquitous Computing Platform -- SCA...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...Web Scale Computing: The Power of Infrastructure as a Service -- Services in the Long Tail World...
View full text
Electronic eBook
11
Published 2011
Subjects: ...Management of Computing and Information Systems. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ...Invited Paper -- Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
View full text
Electronic eBook
15
Published 2011
Table of Contents: ...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... -- An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems -- Location-Based Services...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... in a Docking Process.- Semantic Bias in Program Coevolution.- A New Implementation of Geometric...
View full text
Electronic eBook
18
Table of Contents: ...Introduction -- Abstraction in Different Disciplines -- Abstraction in Artificial Intelligence...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
View full text
Electronic eBook