Search Results - programs practices https functionality cloud https

1

Genetic Programming Theory and Practice X

Published 2013

Table of Contents: “...Evolving SQL Queries from Examples with Developmental Genetic Programming -- A Practical Platform...”
View full text

Electronic eBook

2

Genetic Programming Theory and Practice XI

Published 2014

Table of Contents: “... System for the Genome-Wide Genetic Analysis of Alzheimer's Disease -- Optimizing a Cloud Contract...”
View full text

Electronic eBook

3

Practical Load Balancing Ride the Performance Tiger /

by Membrey, Peter., Membrey, Peter., Plugge, Eelco., Hows, David.
Published 2012

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

4

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “... of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking...”
View full text

Electronic eBook

5

Assurances for Self-Adaptive Systems Principles, Models, and Techniques /

Published 2013

Table of Contents: “... Applications in the Cloud -- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller...”
View full text

Electronic eBook

6

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Published 2010

Table of Contents: “... Architectural Knowledge Go? -- REST in Practice -- Full Research Papers -- An ADL-Approach to Specifying...”
View full text

Electronic eBook

7

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
View full text

Electronic eBook

8

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
View full text

Electronic eBook

9

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Published 2010

Table of Contents: “... -- InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services...”
View full text

Electronic eBook

10

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice...”
View full text

Electronic eBook

11

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Published 2014

Table of Contents: “... and Collaboration Inducement in Mobile Ad hoc Networks -- Uncoupling of Mobile Cloud Computing Services...”
View full text

Electronic eBook

12

Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings /

Published 2008

Table of Contents: “... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”
View full text

Electronic eBook

13

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, Se...

Published 2008

Table of Contents: “... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...”
View full text

Electronic eBook

14

Numerical Analysis and Optimization NAO-III, Muscat, Oman, January 2014 /

Published 2015

Table of Contents: “... Characterization Based Geo-Statistical Prior Sampling -- Solving Multiscale Linear Programs Using the Simplex...”
View full text

Electronic eBook

15

Remote Sensing of the Environment and Radiation Transfer An Introductory Survey /

by Kuznetsov, Anatoly., Kuznetsov, Anatoly., Melnikova, Irina., Pozdnyakov, Dmitry., Seroukhova, Olga., Vasilyev, Alexander.
Published 2012

Table of Contents: “... -- Calculating solar radiative characteristics in clouds with asymptotic formulas of the radiative transfer...”
View full text

Electronic eBook

16

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Interpretability in Machine Learning – Principles and Practice -- Interpretability of Fuzzy Systems -- Feature...”
View full text

Electronic eBook

17

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

Published 2012

Table of Contents: “... Method between Cloud Services in Cloud Manufacturing System -- Interactive ACO Algorithm toward Practical...”
View full text

Electronic eBook

18

The Semantic Web: Research and Applications 7th European Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... and Ranking -- Towards Practical Semantic Web Service Discovery -- iSeM: Approximated Reasoning for Adaptive...”
View full text

Electronic eBook

19

Architecture of Computing Systems -- ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /

Published 2013

Table of Contents: “...An Unstructured Termination Detection Algorithm Using Gossip in Cloud Computing Environments...”
View full text

Electronic eBook

20

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Published 2010

Table of Contents: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
View full text

Electronic eBook

Narrow Search