Zoekresultaten - programming security problems https array https

1

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

Gepubliceerd in 2006

Inhoudsopgave: “... Synthesis of Fault-Tolerant Real-Time Programs -- Toward a Time-Optimal Odd Phase Clock Unison in Trees...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2014

Inhoudsopgave: “...-Objective Linear Fractional Programming Problem Using First Order -- Taylor’s Series Approximation...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2008

Inhoudsopgave: “... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2008

Inhoudsopgave: “... with Unstable Links -- Sensor Networks Continue to Puzzle: Selected Open Problems -- Distributed Coordination...”
Volledige tekst

Elektronisch E-boek

5

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...”
Volledige tekst

Elektronisch E-boek

6

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... Array-Based Systems with Applications to Security-Aware Workflows -- Presburger Arithmetic in Memory...”
Volledige tekst

Elektronisch E-boek

7

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Gepubliceerd in 2010

Inhoudsopgave: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Volledige tekst

Elektronisch E-boek

8

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Gepubliceerd in 2010

Inhoudsopgave: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Volledige tekst

Elektronisch E-boek

9

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Gepubliceerd in 2005

Inhoudsopgave: “... -- Implementation of Replication Methods in the Grid Environment -- A Secure Wrapper for OGSA-DAI -- XDTM: The XML...”
Volledige tekst

Elektronisch E-boek

10

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Gepubliceerd in 2015

Inhoudsopgave: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Volledige tekst

Elektronisch E-boek

11

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Gepubliceerd in 2014

Inhoudsopgave: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2008

Inhoudsopgave: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2007

Inhoudsopgave: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Volledige tekst

Elektronisch E-boek

14

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High...”
Volledige tekst

Elektronisch E-boek

15

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Frontier of Computer Science -- Session III A: Information Security -- Cryptanalysis of “Wavelet Tree...”
Volledige tekst

Elektronisch E-boek

16

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

Gepubliceerd in 2010

Inhoudsopgave: “...: Secure and Resilient Dynamic Clustering Protocol Preserving Data Privacy in WSNs -- Avoidance of Co...”
Volledige tekst

Elektronisch E-boek

17

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”
Volledige tekst

Elektronisch E-boek