Search Results - program composition https functionality adding https

Search alternatives:
functionality adding » functionality using , functionality amino , functionality setting
program composition » process composition , protein composition , proximate composition
https functionality » its functionality , bags functionality , cross functionality
composition https » computation https , composition haptics , cognition https
adding https » aging https , auditing https , banking https

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
View full text

Electronic eBook

Practical OCaml

by Smith, Joshua B., Smith, Joshua B.
Published 2007

Table of Contents: “... -- Understanding Functions -- Practical: Creating a Simple Database -- Primitive and Composite Types -- Practical...”
View full text

Electronic eBook

The Mathematics of Medical Imaging A Beginner’s Guide /

by Feeman, Timothy G., Feeman, Timothy G.
Published 2015

Subjects: “...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice o...

Published 2008

Table of Contents: “... Systems -- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages...”
View full text

Electronic eBook

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...-Reliable MANET Protocols -- REGULAR PAPERS -- A Composition Operator for Systems with Active and Passive...”
View full text

Electronic eBook

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Published 2014

Table of Contents: “...Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits...”
View full text

Electronic eBook

Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “... -- A Compositional Framework for Real-Time Guarantees -- Validation of Component and Service...”
View full text

Electronic eBook

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /

Published 2008

Table of Contents: “... Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding...”
View full text

Electronic eBook

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Published 2010

Table of Contents: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Published 2007

Table of Contents: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Published 2007

Table of Contents: “... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”
View full text

Electronic eBook

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
View full text

Electronic eBook

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Published 2006

Table of Contents: “... Solutions -- Towards Adaptive Management of QoS-Aware Service Compositions – Functional Architecture....”
View full text

Electronic eBook

Acid Rain - Deposition to Recovery

Published 2007

Table of Contents: “... Deposition in Europe and the Cause of Non-linearities -- Trends in Chemical Composition of Wet-only...”
View full text

Electronic eBook

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Published 2006

Table of Contents: “... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...”
View full text

Electronic eBook

Model Predictive Control

by Camacho, Eduardo F., Camacho, Eduardo F., Bordons Alba, Carlos.
Published 2007

Table of Contents: “... Functional Control -- 3.4 Case Study: A Water Heater -- 3.5 Exercises -- 4 Generalized Predictive Control...”
View full text

Electronic eBook

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Published 2008

Table of Contents: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
View full text

Electronic eBook

Narrow Search