Search Results - programs testing https functionality adding https

Search alternatives:
functionality adding » functionality using , functionality amino , functionality setting
https functionality » its functionality , bags functionality , cross functionality
programs testing » programs using , progeny testing
testing https » teaching https , being https , writing https
adding https » aging https , auditing https , banking https

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Published 2008

Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text

Electronic eBook

Functional Magnetic Resonance Imaging Processing

by Li, Xingfeng., Li, Xingfeng.
Published 2014

Table of Contents: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text

Electronic eBook

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Published 2008

Table of Contents: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Published 2006

Table of Contents: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
View full text

Electronic eBook

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Published 2006

Table of Contents: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
View full text

Electronic eBook

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings /

Published 2010

Table of Contents: “... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”
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: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
View full text

Electronic eBook

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

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Published 2005

Table of Contents: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
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: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
View full text

Electronic eBook

Analysis and Modeling of Complex Data in Behavioral and Social Sciences

Published 2014

Table of Contents: “...) -- Estimating a Rasch Model via Fuzzy Empirical Probability Functions -- Scale Reliability Evaluation for a...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Identification, Collection and Distribution -- Testing Distributed ABS System with Fault Injection -- Learning...”
View full text

Electronic eBook

Evolutionary Algorithms for Solving Multi-Objective Problems

by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007

Table of Contents: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
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: “... Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test...”
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: “... -- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols -- Proving Ptolemy Right...”
View full text

Electronic eBook

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers /

Published 2007

Table of Contents: “... for Handling Mapping Rules from Domain to Task Models -- Towards Visual Analysis of Usability Test Logs Using...”
View full text

Electronic eBook

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Published 2015

Table of Contents: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
View full text

Electronic eBook

Narrow Search