Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality cloud » functionality based, functionality boost, functionality do
program testing » programs testing, progeny testing, program trading
testing https » teaching https, being https, writing https
cloud https » blood https
https functionality » its functionality, bags functionality, cross functionality
functionality cloud » functionality based, functionality boost, functionality do
program testing » programs testing, progeny testing, program trading
testing https » teaching https, being https, writing https
cloud https » blood https
1
Published 2012
Table of Contents:
“... of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... oriented architectures, business processes, and cloud computing -- Design and verification methods...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Approximations from Noisy Point Clouds -- Coresets for Discrete Integration and Clustering -- Self-assemblying...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Testing -- Video Search using Map-Reduce Framework in an Education Cloud -- Multimedia Service Delivery...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... and Collaboration Inducement in Mobile Ad hoc Networks -- Uncoupling of Mobile Cloud Computing Services...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Challenges in Evaluating SOA Test Processes -- Criteria to Compare Cloud Computing with Current Database...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... in a cloud chamber -- Quantum Mechanics of Time -- Localization and Entanglement in Relativistic...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Electronics Testing -- Context-Driven Decision Support in Flexible Networked Organisations -- Creation...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Ensemble -- CPLDP: An Efficient Large Dataset Processing System Built on Cloud Platform -- A General Multi...”View full text
Electronic
eBook