Search Results - program certification https functionality testing https

Search alternatives:
program certification » program verification , programs verification , produce certification
functionality testing » functionality setting , functional testing , functionality using
certification https » certification paths , certification step , certification gets
https functionality » its functionality , bags functionality , cross functionality
testing https » teaching https , being https , writing https

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

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Published 2012

Table of Contents: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
View full text

Electronic eBook

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
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

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

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: “... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”
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

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

Published 2005

Table of Contents: “... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”
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

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

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

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Session 2 -- Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain...”
View full text

Electronic eBook

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Published 2014

Table of Contents: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
View full text

Electronic eBook

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Published 2014

Table of Contents: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
View full text

Electronic eBook

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Published 2010

Table of Contents: “... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”
View full text

Electronic eBook

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Published 2008

Table of Contents: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
View full text

Electronic eBook

Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008, Proceedings /

Published 2008

Table of Contents: “... for Auditing SQL Queries -- A New Approach to Secure Logging -- Keynote -- Security, Functionality and Scale...”
View full text

Electronic eBook

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings /

Published 2006

Table of Contents: “... Cryptanalysis of MAG -- On Exact Algebraic [Non-]Immunity of S-Boxes Based on Power Functions -- Network...”
View full text

Electronic eBook

Narrow Search