Rezultaty - program evolution https functionality securing https*

Inne możliwości wyszukiwania:
functionality securing » functionality setting , functionality using , functionality testing
https functionality » its functionality , bags functionality , cross functionality
program evolution » program evalution , program evaluation , program execution
evolution https » evaluation https , pollution https , emotion https
securing https » security https , security http , securing rtp

Smart Materials for Energy, Communications and Security

Wydane 2008

Spis treści: “... in Thin Films and Superlattices -- Other Functional Materials -- Clays and Clay Minerals in Western High...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Wydane 2006

Spis treści: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /

Wydane 2013

Spis treści: “... and services -- Models for QoS and other extra-functional properties (e.g., trust, compliance, security...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Wydane 2006

Spis treści: “... into OO Systems -- Programming Languages and Retrieval -- Reconciling Subtyping and Code Reuse in Object...”
Dokumenty pełnotekstowe

Elektroniczne E-book

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Wydane 2008

Spis treści: “... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Pro DNS and BIND

od Aitchison, Ron., Aitchison, Ron.
Wydane 2005

Spis treści: “... -- Common DNS Tasks -- DNS Diagnostics and Tools -- DNS Security -- DNS Secure Configurations -- DNSSEC...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advanced Techniques in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Wydane 2015

Spis treści: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 - April 1, 2010, Pro...

Wydane 2010

Spis treści: “... an Understanding of the Evolution of IFIP WG 8.6 Research -- 5: Design Science -- Functional Service Domain...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings /

Wydane 2014

Spis treści: “... on Instructions Statistics: Algorithm for Deciding Offload Function Set on Mobile Cloud System -- Improved...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... from Global Optimizing Evolution in a Multi-agent System -- A Hybrid Econometric-AI Ensemble Learning...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Digital Rights Management Technologies, Issues, Challenges and Systems /

Wydane 2006

Spis treści: “... Rights -- Watermarking -- The Effect of Fidelity Measure Functions on the Capacity of Digital Watermarks...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Wydane 2006

Spis treści: “... Differential XML Processing by Leveraging Schema and Statistics -- Optimized Web Services Security Performance...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty