Search Results - program java https composition attack https

Search alternatives:
composition attack » decomposition attack , position attack , decomposition attacking
https composition » hops composition , states composition , status composition
program java » program jarak , program a , program jom

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

Published 2008

Table of Contents: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
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

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /

Published 2005

Table of Contents: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
View full text

Electronic eBook

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Non-intrusive Performance Management for Computer Services -- Composition -- True and Transparent...”
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: “... Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic...”
View full text

Electronic eBook

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Published 2010

Table of Contents: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
View full text

Electronic eBook

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceeding...

Published 2005

Table of Contents: “... Scale Systems -- Setup Algorithm of Web Service Composition -- Self Healing and Self Configuration in a...”
View full text

Electronic eBook

Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble,...

Published 2014

Table of Contents: “... Resilience against Concurrent Cache Attacks -- Information Flow Control in WebKit’s JavaScript Bytecode -- A...”
View full text

Electronic eBook

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
View full text

Electronic eBook

Professional Practice in Artificial Intelligence IFIP 19th World Computer Congress, TC-12: Professional Practice Stream, August 21-24, 2006, Santiago, Chile /

Published 2006

Table of Contents: “...-Oriented Programming Language for Computing in Context -- Search -- A Little Respect (for the Role...”
View full text

Electronic eBook

Narrow Search