Search Results - integrals computing programming programs abstract attacks

Search alternatives:
computing programming » computer programming , computers programming
programming programs » programming program , programming programmed , programming problems
integrals computing » integrated computing , interval computing , integration computing
programs abstract » program abstract , program abstracts , programs abstraction
abstract attacks » abstract traces , abstract trace , abstract aspects

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “... and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow...”
View full text

Electronic eBook

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Published 2015

Table of Contents: “... with Structural Plasticity: Attacking the Subset Sum Problem -- P Systems with Generalized Multisets over Totally...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
View full text

Electronic eBook

Advances in Computer Science - ASIAN 2007. Computer and Network Security 12th Asian Computing...

Published 2007

Table of Contents: “... -- A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols -- An Abstraction...”
View full text

Electronic eBook

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
View full text

Electronic eBook

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...

Published 2014

Table of Contents: “... Theories via Implicit Predicate Abstraction -- SMT-Based Verification of Software Countermeasures against...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Pheromone Communication Primitive -- Logical Neighborhoods: A Programming Abstraction for Wireless Sensor...”
View full text

Electronic eBook

Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference...

Published 2014

Table of Contents: “...Processing Collective Knowledge – Conflict Resolution and Integration Aspects -- How to Store...”
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: “... Devices -- A Practical Cryptographic Denial of Service Attack against 802.11i TKIP and CCMP -- User...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
View full text

Electronic eBook

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Published 2008

Table of Contents: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
View full text

Electronic eBook

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010. Proceedings /

Published 2010

Table of Contents: “... of Scenarios across Multiple Abstraction Levels -- Product Families I -- Requirements Value Chains: Stakeholder...”
View full text

Electronic eBook

Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Identification -- Strategic Abilities of Agents -- Regular Papers -- Aggregation of Attack Relations: A Social...”
View full text

Electronic eBook

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Published 2005

Table of Contents: “... -- Integrated Computation, Communication and Control: Towards Next Revolution in Information Technology...”
View full text

Electronic eBook

Introduction to Cryptography with Maple

by Gómez Pardo, José Luis., Gómez Pardo, José Luis.
Published 2013

Subjects: “...Data structures (Computer science)....”
View full text

Electronic eBook

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Published 2014

Table of Contents: “... Solution as Normal Distribution -- Text Categorization with Diversity Random Forests -- Unknown Attack...”
View full text

Electronic eBook

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Published 2012

Table of Contents: “... Description -- Computer Aided Writing – A Framework Supporting Research Tasks, Topic Recommendations and Text...”
View full text

Electronic eBook

Advances in Cryptology -- ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012, Pro...

Published 2012

Table of Contents: “... Cipher -- PRINCE – A Low-Latency Block Cipher for Pervasive Computing Applications: Extended Abstract...”
View full text

Electronic eBook

Narrow Search