Search Results - program comparison https functionality securing https

Search alternatives:
functionality securing » functionality setting , functionality using , functionality testing
https functionality » its functionality , bags functionality , cross functionality
program comparison » problem comparison , programming comparison , program composition
comparison https » comparison maps , comparison bits , computation https
securing https » security https , security http , securing rtp

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”
View full text

Electronic eBook

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Session 2 -- Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain...”
View full text

Electronic eBook

Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012, Proceedings /

Published 2012

Table of Contents: “... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...”
View full text

Electronic eBook

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

Trusted Computing for Embedded Systems

Published 2015

Table of Contents: “... Unclonable Function: Design of a silicon arbiter-PUF on CMOS 65 nm -- Secure Key Generator using a Loop-PUF...”
View full text

Electronic eBook

Advances in Information Processing and Protection

Published 2007

Table of Contents: “... Diagnosis Approaches: Analysis and Comparison under a Biomedicine Application -- Predicting Incomplete Data...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...”
View full text

Electronic eBook

Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Framework for Cerebral CT Perfusion Imaging Methods Comparison -- Application of the Laplacian Pyramid...”
View full text

Electronic eBook

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Models of Epistasis -- Partial Orderings for Ranking Help Functions -- Robust Prediction with ANNBFIS...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
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

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

Published 2015

Table of Contents: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
View full text

Electronic eBook

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Published 2010

Table of Contents: “... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”
View full text

Electronic eBook

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Biological Systems as Reactive Systems -- Mobile Agents Computing: Security Issues and Algorithmic Solutions...”
View full text

Electronic eBook

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings /

Published 2008

Table of Contents: “... and Applications in Policies, Electronic Contracts and Security -- Abductive Workflow Mining Using Binary...”
View full text

Electronic eBook

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Published 2010

Table of Contents: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
View full text

Electronic eBook

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Published 2014

Table of Contents: “...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...”
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

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, Se...

Published 2008

Table of Contents: “... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...”
View full text

Electronic eBook

Narrow Search