Search Results - program certification program functionality using https

Search alternatives:
program certification » program verification , programs verification , produce certification
certification program » verification program , certification process , certification exam
program functionality » protein functionality , programs functional , supra functionality
functionality using » functionality business , functionality design , functioning using
using https » using http , nursing https , aging https

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Published 2006

Table of Contents: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
View full text

Electronic eBook

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
View full text

Electronic eBook

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
View full text

Electronic eBook

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Published 2005

Table of Contents: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
View full text

Electronic eBook

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

Applied Statistics for Business and Management using Microsoft Excel

by Herkenhoff, Linda., Herkenhoff, Linda., Fogli, John.
Published 2013

Subjects: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

SAP ERP Financial Accounting and Controlling Configuration and Use Management /

by Okungbowa, Andrew., Okungbowa, Andrew.
Published 2015

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

Electronic eBook

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Published 2015

Table of Contents: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
View full text

Electronic eBook

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /

Published 2008

Table of Contents: “..., and Neither Are Testers -- Contract-Based Reasoning for Verification and Certification of Secure Information...”
View full text

Electronic eBook

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Published 2005

Table of Contents: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
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

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: “... Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective -- Certification...”
View full text

Electronic eBook

SQL Server 2005 T-SQL Recipes A Problem-Solution Approach /

by Sack, Joseph., Sack, Joseph.
Published 2006

Table of Contents: “... -- Indexes -- Full-Text Search -- Views -- SQL Server Functions -- Conditional Processing, Control-of-Flow...”
View full text

Electronic eBook

Understanding Cryptography A Textbook for Students and Practitioners /

by Paar, Christof., Paar, Christof., Pelzl, Jan.
Published 2010

Table of Contents: “... Logarithm Problem -- Elliptic Curve Cryptosystems -- Digital Signatures -- Hash Functions -- Message...”
View full text

Electronic eBook

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings /

Published 2005

Table of Contents: “...-Functions for Negotiating Agents: Using Conjoint Analysis as an Alternative Approach to Expected Utility...”
View full text

Electronic eBook

Handbook of Floating-Point Arithmetic

by Muller, Jean-Michel., Muller, Jean-Michel., Brisebarre, Nicolas., de Dinechin, Florent., Jeannerod, Claude-Pierre., Lefèvre, Vincent., Melquiond, Guillaume., Revol, Nathalie., Stehlé, Damien., Torres, Serge.
Published 2010

Table of Contents: “... Formats and Environment -- Cleverly Using Floating-Point Arithmetic -- Basic Properties and Algorithms...”
View full text

Electronic eBook

Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings /

Published 2010

Table of Contents: “... Tracking Based on Behavioral Fingerprints -- Hash Functions -- On the Collision and Preimage Resistance...”
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: “... Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using...”
View full text

Electronic eBook

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /

Published 2007

Table of Contents: “...On the Utility of Formal Methods in the Development and Certification of Software -- Formal...”
View full text

Electronic eBook

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates -- Polynomial...”
View full text

Electronic eBook

Narrow Search