Результаты поиска - graph globalization https functionality securing https

1

Networks and Network Analysis for Defence and Security

Опубликовано 2014

Оглавление: “... Relates to Functions -- Social Network Analysis Applied to Criminal Networks: Recent Developments in Dutch...”
Полный текст

Электронный ресурс eКнига

2

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

Опубликовано 2010

Оглавление: “..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”
Полный текст

Электронный ресурс eКнига

3

Complexity in Chemistry and Beyond: Interplay Theory and Experiment New and Old Aspects of Complexity in Modern Research /

Опубликовано 2012

Оглавление: “... and Catalytic Functions; D. Astruc et al -- Antioxidants of hydrocarbons: From simplicity to complexity; V...”
Полный текст

Электронный ресурс eКнига

4

Critical Infrastructure Protection VIII 8th IFIP WG 11.10 International Conference, ICCIP 2014, Arlington, VA, USA, March 17-19, 2014, Revised Selected Papers /

Опубликовано 2014

Оглавление: “... Dialog System for Conducting Security Interviews for Access Control -- A Survey of Critical...”
Полный текст

Электронный ресурс eКнига

5

Afro-European Conference for Industrial Advancement Proceedings of the First International Afro-European Conference for Industrial Advancement AECIA 2014 /

Опубликовано 2015

Оглавление: “... Assessment of Temperature Based ANN and Angstrom Type Models for Predicting Global Solar Radiation...”
Полный текст

Электронный ресурс eКнига

6

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Опубликовано 2006

Оглавление: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
Полный текст

Электронный ресурс eКнига

7

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Опубликовано 2008

Оглавление: “... Encryption -- Taming of Pict -- Classification, Formalization and Verification of Security Functional...”
Полный текст

Электронный ресурс eКнига

8

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, Ja...

Опубликовано 2015

Оглавление: “... -- Progress (and Lack Thereof) for Graph Coloring Approximation Problems -- Recent Results in Scalable Multi...”
Полный текст

Электронный ресурс eКнига

9

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Опубликовано 2014

Оглавление: “...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”
Полный текст

Электронный ресурс eКнига

10

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... Functions for Large FPGAs -- Using Branch Prediction Information for Near-Optimal I-Cache Leakage...”
Полный текст

Электронный ресурс eКнига

11

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /

Опубликовано 2015

Оглавление: “... Extraction of Palm Vein Patterns Based on Two-Dimensional Density Function -- Segmentation Based Feature...”
Полный текст

Электронный ресурс eКнига

12

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Global View -- Existence and Uniqueness of Strong Solutions for Stochastic Age-Dependent Population -- A...”
Полный текст

Электронный ресурс eКнига

13

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Опубликовано 2010

Оглавление: “... Computing Environments -- An Efficient Circuit–Switched Broadcasting in Star Graph -- Parallel Domain...”
Полный текст

Электронный ресурс eКнига

14

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

Опубликовано 2005

Оглавление: “... Inductive Definitions to Propositional Satisfiability -- Symbolic Support Graph: A Space Efficient Data...”
Полный текст

Электронный ресурс eКнига

15

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... of Theories -- Description Logic I -- Global Caching for Coalgebraic Description Logics -- Tractable...”
Полный текст

Электронный ресурс eКнига

16

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”
Полный текст

Электронный ресурс eКнига

17

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Опубликовано 2014

Оглавление: “... for Dynamic Signature Verification Based on Global Features -- Investigating the Rate of Failure...”
Полный текст

Электронный ресурс eКнига

18

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I /

Опубликовано 2005

Оглавление: “...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...”
Полный текст

Электронный ресурс eКнига

19

Innovations in Hybrid Intelligent Systems

Опубликовано 2007

Оглавление: “... Agents -- Using Semantic Causality Graphs to Validate MAS Models -- A Multiagent Framework to Animate...”
Полный текст

Электронный ресурс eКнига

20

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Опубликовано 2006

Оглавление: “... in Agent-Based Evolutionary Optimization -- An Immunological and an Ethically-social Approach to Security...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска