Søgeresultater - programming security program https array https

1

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

Udgivet 2008

Indholdsfortegnelse: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2010

Indholdsfortegnelse: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2014

Indholdsfortegnelse: “...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2008

Indholdsfortegnelse: “... 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional...”
Få fuldtekst

Electronisk eBog

5

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

af Simon, Axel., Simon, Axel.
Udgivet 2008

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2015

Indholdsfortegnelse: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Få fuldtekst

Electronisk eBog

7

US Programs Affecting Food and Agricultural Marketing

Udgivet 2013

Indholdsfortegnelse: “... and Food Markets, Policies and Programs—Walter J. Armbruster, President Emeritus, Farm Foundation...”
Få fuldtekst

Electronisk eBog

8

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

af Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Udgivet 2005

Indholdsfortegnelse: “... Protocol Security. Summary -- Bioinformatics Applications. Introduction. Applications. Dynamic Programming...”
Få fuldtekst

Electronisk eBog

9

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 /

Udgivet 2005

Indholdsfortegnelse: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2008

Indholdsfortegnelse: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2006

Indholdsfortegnelse: “... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”
Få fuldtekst

Electronisk eBog

12

Beginning PHP and PostgreSQL 8 From Novice to Professional /

af Gilmore, W Jason., Gilmore, W Jason., Treat, Robert H.
Udgivet 2006

Indholdsfortegnelse: “... -- Templating with Smarty -- Web Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Introducing...”
Få fuldtekst

Electronisk eBog

13

Beginning PHP and Oracle From Novice to Professional /

af Gilmore, W Jason., Gilmore, W Jason., Bryla, Bob.
Udgivet 2007

Indholdsfortegnelse: “... Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Building Web Sites for the World -- MVC...”
Få fuldtekst

Electronisk eBog

14

Beginning PHP and MySQL From Novice to Professional /

af Gilmore, W Jason., Gilmore, W Jason.
Udgivet 2010

Indholdsfortegnelse: “...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2014

Indholdsfortegnelse: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2015

Indholdsfortegnelse: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Få fuldtekst

Electronisk eBog

17

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

Udgivet 2005

Indholdsfortegnelse: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Få fuldtekst

Electronisk eBog

18

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

Udgivet 2008

Indholdsfortegnelse: “... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”
Få fuldtekst

Electronisk eBog

19

Beginning PHP and MySQL 5 From Novice to Professional /

af Gilmore, W Jason., Gilmore, W Jason.
Udgivet 2006

Indholdsfortegnelse: “... -- Templating with Smarty -- Web Services -- Secure PHP Programming -- SQLite -- Introducing PDO -- Introducing...”
Få fuldtekst

Electronisk eBog

20

Beginning PHP and MySQL From Novice to Professional /

af Gilmore, W Jason., Gilmore, W Jason.
Udgivet 2008

Indholdsfortegnelse: “... Services -- Secure PHP Programming -- SQLite -- Building Web Sites for the World -- MVC and the Zend...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning