Search Results - encoding compositional program functionality using https

Search alternatives:
encoding compositional » encoding composition , reasoning compositional , analyzing compositional
compositional program » composition programs , computational program , compositional problems
program functionality » protein functionality , programs functional , supra functionality
functionality using » functionality business , functionality design , functioning using
using https » using http , nursing https , aging https

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

Published 2013

Table of Contents: “... Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon...”
View full text

Electronic eBook

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “... Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization...”
View full text

Electronic eBook

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Problem Analysis and Encoding I -- Logical Analysis of Hash Functions -- Combination Issues in Rewriting...”
View full text

Electronic eBook

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: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
View full text

Electronic eBook

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... Problem Using a Dandelion-Encoded Evolutionary Algorithm -- Generalized Extremal Optimization for Solving...”
View full text

Electronic eBook

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
View full text

Electronic eBook

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings /

Published 2013

Table of Contents: “... of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding -- Composition with Algebra...”
View full text

Electronic eBook

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

Published 2010

Table of Contents: “... Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance...”
View full text

Electronic eBook

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Published 2006

Table of Contents: “... Grammars with Word Order Restrictions -- Borrowed Contexts and Adhesive Categories -- Composition...”
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: “... IEEE1394 -- Efficient Measurement of the Eye Blinking by Using Decision Function for Intelligent...”
View full text

Electronic eBook

Artificial Intelligence in Theory and Practice II IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy /

Published 2008

Table of Contents: “... Mining -- Mining Fuzzy Association Rules from Composite Items -- P-Prism: A Computationally Efficient...”
View full text

Electronic eBook

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Published 2006

Table of Contents: “...-Balanced Semi-matchings for Weighted Bipartite Graphs -- Analyzing Chain Programs over Difference...”
View full text

Electronic eBook

Web Services Foundations

Published 2014

Table of Contents: “..., Emerging Technologies -- Conceptual Design of Sound, Custom Composition Languages -- Service-Oriented...”
View full text

Electronic eBook

From Animals to Animats 10 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming System Using Imitation -- Embodiment and Perceptual Crossing in 2D -- Navigation and Internal...”
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: “... -- Solving the Multiple Objective Integer Linear Programming Problem -- Generalized Polychotomic Encoding: A...”
View full text

Electronic eBook

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

Published 2006

Table of Contents: “...Summarization -- Modeling and Evaluating Summaries Using Complex Networks -- SABio: An Automatic...”
View full text

Electronic eBook

Knowledge Science, Engineering and Management 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings /

Published 2010

Table of Contents: “... of Belief Functions for Data Analysis and Machine Learning Applications: Review and Prospects -- Modeling...”
View full text

Electronic eBook

Frontier and Innovation in Future Computing and Communications

Published 2014

Table of Contents: “... Representation using Inverse Compositional Image Alignment for Multimodal Face Recognition; K.Jeong, et al...”
View full text

Electronic eBook

Narrow Search