Search Results - programs action https functionality securing https

Search alternatives:
functionality securing » functionality setting , functionality using , functionality testing
https functionality » its functionality , bags functionality , cross functionality
programs action » programme action , programs fiction , programs active
securing https » security https , security http , securing rtp
action https » fiction https , reactions https , function https

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings /

Published 2012

Table of Contents: “... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”
View full text

Electronic eBook

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
View full text

Electronic eBook

Managing Risk and Information Security Protect to Enable /

by Harkins, Malcolm., Harkins, Malcolm.
Published 2013

Subjects: “...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...”
View full text

Electronic eBook

Applied Cryptography and Network Security 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Performance GHASH Function for Long Messages -- Side-Channel Attacks -- Principles on the Security of AES...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Published 2007

Table of Contents: “... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”
View full text

Electronic eBook

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Published 2008

Table of Contents: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
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: “...ASLan++ — A formal security specification language for distributed Systems -- Orchestration under...”
View full text

Electronic eBook

Research in Attacks, Intrusions and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings /

Published 2012

Table of Contents: “...Virtualization -- Trusted VM Snapshots in Untrusted Cloud Infrastructures -- Secure and Robust...”
View full text

Electronic eBook

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Is Your Security Protocol on Time ? -- Adapting the UPPAAL Model of a Distributed Lift System -- Zone...”
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: “... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”
View full text

Electronic eBook

Fast Track to MDX

by Whitehorn, Mark., Whitehorn, Mark., Zare, Robert., Pasumansky, Mosha.
Published 2006

Table of Contents: “... the default member -- Member properties and dimension security -- Distinct Count -- Parent-Child dimensions...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...”
View full text

Electronic eBook

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... Heuristics -- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL -- Real-Time Model...”
View full text

Electronic eBook

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

Published 2008

Table of Contents: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
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: “... -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet...”
View full text

Electronic eBook

Frontiers in Algorithmics First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings /

Published 2007

Table of Contents: “... in the Plane -- On the Fractional Chromatic Number of Monotone Self-dual Boolean Functions -- On the Complexity...”
View full text

Electronic eBook

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /

Published 2014

Table of Contents: “... Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases...”
View full text

Electronic eBook

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Published 2006

Table of Contents: “... for Provably Secure Computation -- Scoring Matrices That Induce Metrics on Sequences -- Data Structures...”
View full text

Electronic eBook

Narrow Search