Search Results - program certification https function structures https

Search alternatives:
program certification » program verification , programs verification , produce certification
certification https » certification paths , certification step , certification gets
function structures » functions structures , function structure , functional structures
https function » its function , sites function , ups function

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: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Published 2008

Table of Contents: “... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While 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: “...) -- On Learning, Lower Bounds and (un)Keeping Promises -- Certificates in Data Structures -- Optimal Query...”
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

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

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

Published 2010

Table of Contents: “... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...”
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

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

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

Published 2005

Table of Contents: “...Invited Contributions -- On the Convergence of Structured Search, Information Retrieval and Trust...”
View full text

Electronic eBook

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Published 2012

Table of Contents: “... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”
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

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

Vascular Mechanics and Pathology

by Thubrikar, Mano J., Thubrikar, Mano J.
Published 2007

Table of Contents: “...Atherosclerosis I -- Atherosclerosis II -- Structure and Mechanics of the Artery -- Pressure Vessel...”
View full text

Electronic eBook

Advances in Automatic Differentiation

Published 2008

Table of Contents: “... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”
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

Applied Cryptography and Network Security 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Combinatorial Structures for Design of Wireless Sensor Networks -- Public Key Cryptography Sans Certificates...”
View full text

Electronic eBook

Narrow Search