Arama Sonuçları - program java https composition attack https*

Şunu mu demek istediniz:
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 /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Non-intrusive Performance Management for Computer Services -- Composition -- True and Transparent...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Scale Systems -- Setup Algorithm of Web Service Composition -- Self Healing and Self Configuration in a...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Resilience against Concurrent Cache Attacks -- Information Flow Control in WebKit’s JavaScript Bytecode -- A...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...-Oriented Programming Language for Computing in Context -- Search -- A Little Respect (for the Role...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt