Search Results - program security programs https array https

1

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

Published 2008

Table of Contents: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
View full text

Electronic eBook

2

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

3

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Published 2014

Table of Contents: “...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”
View full text

Electronic eBook

4

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Published 2008

Table of Contents: “... 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional...”
View full text

Electronic eBook

5

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

by Simon, Axel., Simon, Axel.
Published 2008

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

6

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

7

US Programs Affecting Food and Agricultural Marketing

Published 2013

Table of Contents: “... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”
View full text

Electronic eBook

8

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

by Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Published 2005

Table of Contents: “... Protocol Security. Summary -- Bioinformatics Applications. Introduction. Applications. Dynamic Programming...”
View full text

Electronic eBook

9

Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings /

Published 2006

Table of Contents: “... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”
View full text

Electronic eBook

10

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Published 2005

Table of Contents: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
View full text

Electronic eBook

11

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Published 2014

Table of Contents: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
View full text

Electronic eBook

12

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
View full text

Electronic eBook

13

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Published 2015

Table of Contents: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
View full text

Electronic eBook

14

Beginning PHP and PostgreSQL 8 From Novice to Professional /

by Gilmore, W Jason., Gilmore, W Jason., Treat, Robert H.
Published 2006

Table of Contents: “... -- Templating with Smarty -- Web Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Introducing...”
View full text

Electronic eBook

15

Beginning PHP and Oracle From Novice to Professional /

by Gilmore, W Jason., Gilmore, W Jason., Bryla, Bob.
Published 2007

Table of Contents: “... Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Building Web Sites for the World -- MVC...”
View full text

Electronic eBook

16

Beginning PHP and MySQL From Novice to Professional /

by Gilmore, W Jason., Gilmore, W Jason.
Published 2010

Table of Contents: “...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
View full text

Electronic eBook

17

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Published 2008

Table of Contents: “... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”
View full text

Electronic eBook

18

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
View full text

Electronic eBook

19

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

Published 2008

Table of Contents: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
View full text

Electronic eBook

20

Beginning PHP and MySQL 5 From Novice to Professional /

by Gilmore, W Jason., Gilmore, W Jason.
Published 2006

Table of Contents: “... -- Templating with Smarty -- Web Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Introducing...”
View full text

Electronic eBook

Narrow Search