Search Results - program comparing https functionality testing https

Search alternatives:
functionality testing » functionality setting , functional testing , functionality using
https functionality » its functionality , bags functionality , cross functionality
program comparing » program comparison , programs compiling , problem comparing
comparing https » computing https , comparing hst , comparing things
testing https » teaching https , being https , writing https

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Published 2007

Table of Contents: “... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”
View full text

Electronic eBook

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Published 2014

Table of Contents: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
View full text

Electronic eBook

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”
View full text

Electronic eBook

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Published 2007

Table of Contents: “... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...”
View full text

Electronic eBook

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Published 2006

Table of Contents: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
View full text

Electronic eBook

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text

Electronic eBook

VEE Pro: Practical Graphical Programming

by Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Published 2005

Table of Contents: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text

Electronic eBook

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
View full text

Electronic eBook

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...”
View full text

Electronic eBook

Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings /

Published 2015

Table of Contents: “... in Mechatronics-Driven Companies – A Comparative Case Study -- An Industrial Case Study on Test Cases...”
View full text

Electronic eBook

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Published 2014

Table of Contents: “... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”
View full text

Electronic eBook

Prediction of course grades in computer science higher education program via a combination of loss functions in lstm model

by Ghazvini, Anahita, Mohd Sharef, Nurfadhlina, Sidi, Fatimah
Published 2024

“... compared to standard loss functions. These outcomes surpass those of alternative approaches, highlighting...”
View full text

Article

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings /

Published 2008

Table of Contents: “... World: Issues of Quality of Service -- Comparing the Expressiveness of Timed Automata and Timed...”
View full text

Electronic eBook

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Published 2006

Table of Contents: “...-Oriented Programming -- Comparing White-Box, Black-Box, and Glass-Box Composition of Aspect Mechanisms...”
View full text

Electronic eBook

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Published 2005

Table of Contents: “... and MTL -- Modal Strength Reduction in Quantified Discrete Duration Calculus -- Comparing Trees Via...”
View full text

Electronic eBook

Linking and Aligning Scores and Scales

Published 2007

Table of Contents: “... -- Practical Problems in Equating Test Scores: A Practitioner’s Perspective -- Potential Solutions to Practical...”
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

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: “...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...”
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

Advanced Statistical Methods for the Analysis of Large Data-Sets

Published 2012

Table of Contents: “...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...”
View full text

Electronic eBook

Narrow Search