Arama Sonuçları - problems verification https function java https

Şunu mu demek istediniz:
problems verification » problem verification , problems specification , programs verification
verification https » modification https , verification heap , verification attack
https function » its function , sites function , ups function
function java » function jane , function jason , function james

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
Tam Metin Erişim

Elektronik Ekitap

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, Ja...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Progress (and Lack Thereof) for Graph Coloring Approximation Problems -- Recent Results in Scalable Multi...”
Tam Metin Erişim

Elektronik Ekitap

Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 1...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Device Interactions -- Identification and Verification of Security Relevant Functions in Embedded Systems...”
Tam Metin Erişim

Elektronik Ekitap

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”
Tam Metin Erişim

Elektronik Ekitap

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Tam Metin Erişim

Elektronik Ekitap

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...”
Tam Metin Erişim

Elektronik Ekitap

Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Fingerprint Verification -- Quality Assurance for Evidence Collection in Network Forensics -- Secure Software...”
Tam Metin Erişim

Elektronik Ekitap

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Verisoft -- The Verisoft Approach to Systems Verification -- Formal Functional Verification of Device...”
Tam Metin Erişim

Elektronik Ekitap

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java...”
Tam Metin Erişim

Elektronik Ekitap

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Code Mutation in Verification and Automatic Code Correction -- Efficient Detection of Errors in Java...”
Tam Metin Erişim

Elektronik Ekitap

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...”
Tam Metin Erişim

Elektronik Ekitap

Dependable Computer Systems

Baskı/Yayın Bilgisi 2011

İçindekiler: “... approach for web search engines evaluation -- Quantitative Verification of Non-Functional Requirements...”
Tam Metin Erişim

Elektronik Ekitap

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...”
Tam Metin Erişim

Elektronik Ekitap

Foundations of Security Analysis and Design VII FOSAD 2012 / 2013 Tutorial Lectures /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Protocols in the Symbolic Model: The Verifier ProVerif.- Defensive JavaScript: Building and Verifying Secure...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
Tam Metin Erişim

Elektronik Ekitap

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Verification of Telecommunication Systems -- SVM Paradoxes -- Indexing Dense Nested Metric Spaces for Efficient...”
Tam Metin Erişim

Elektronik Ekitap

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt