Search Results - program java processing functionality security https

Search alternatives:
processing functionality » processing functional , protein functionality , properties functionality
functionality security » functionality securing , functional security , functionality usability
java processing » data processing , data processings , data processsing
program java » program jarak , program a , program jom
https » http

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

Published 2008

Table of Contents: “... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”
View full text

Electronic eBook

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
View full text

Electronic eBook

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Published 2005

Table of Contents: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
View full text

Electronic eBook

Pro Spring Batch

by Minella, Michael., Minella, Michael.
Published 2011

Subjects: “...Java (Computer program language)....”
View full text

Electronic eBook

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Published 2007

Table of Contents: “... Based Security -- A Certified Lightweight Non-interference Java Bytecode Verifier -- Controlling...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
View full text

Electronic eBook

Secure Smart Embedded Devices, Platforms and Applications

Published 2014

Table of Contents: “... and VLSI Designs -- Information Security Best Practices -- Smart Card Security -- Graphics Processing Units...”
View full text

Electronic eBook

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Published 2008

Table of Contents: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
View full text

Electronic eBook

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Drivers -- Verified Process-Context Switch for C-Programmed Kernels -- Paper from VSTTE 2005 -- Where...”
View full text

Electronic eBook

Foundation Drupal 7 Learn How to Use the Drupal Framework to Quickly Build Feature-rich Websites /

by Townsend, RJ., Townsend, RJ.
Published 2010

Table of Contents: “... to Drupal Functionality....”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
View full text

Electronic eBook

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /

Published 2005

Table of Contents: “... -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

Develop on Yammer Social Integration for Modern Business Applications /

by Rawal, Pathik., Rawal, Pathik., Rohilla, Pryank.
Published 2015

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Published 2007

Table of Contents: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
View full text

Electronic eBook

Narrow Search