1
Published 2010
Table of Contents: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
View full text
Electronic eBook
2
Published 2007
Table of Contents: .../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... for Microarray Data -- New Method for Dynamic Signature Verification Using Hybrid Partitioning -- New Method...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...-Oriented Programming -- Comparing White-Box, Black-Box, and Glass-Box Composition of Aspect Mechanisms...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Encryption over the Integers -- Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... and Their Relations with Alignment Composition -- Semantics and Complexity of SPARQL -- Ontology-Driven Automatic...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Agreement between Breast Density Assessment Using Volumetric Methods and Visual Analogue Scales -- Breast...
View full text
Electronic eBook
15
Table of Contents: ... theory -- Calculating solar irradiance with the Eddington method.-Monte-Carlo method for the solar...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ...Some Properties of Logic N-GLukG -- The Inverse Method for Many-Valued Logics -- A Parametric...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Using Fuzzy Patterns Inside a CBR System -- CBR for State Value Function Approximation in Reinforcement...
View full text
Electronic eBook