Rezultati - problem international https function java https

1

Trusted Systems First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings /

Izdano 2010

Kazalo: “... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”
Polni tekst

Elektronski eKnjiga

2

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Izdano 2010

Kazalo: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Polni tekst

Elektronski eKnjiga

3

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Izdano 2014

Kazalo: “... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”
Polni tekst

Elektronski eKnjiga

4

Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers /

Izdano 2013

Kazalo: “... Fault Injection Countermeasure: A New Conception of Java Card Security -- Java Card Combined Attacks...”
Polni tekst

Elektronski eKnjiga

5

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Izdano 2008

Kazalo: “... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”
Polni tekst

Elektronski eKnjiga

6

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Izdano 2010

Kazalo: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Polni tekst

Elektronski eKnjiga

7

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings /

Izdano 2012

Kazalo: “... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”
Polni tekst

Elektronski eKnjiga

8

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Izdano 2010

Kazalo: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
Polni tekst

Elektronski eKnjiga

9

Advances in Soft Computing and Its Applications 12th Mexican International Conference, MICAI 2013...

Izdano 2013

Kazalo: “... Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using...”
Polni tekst

Elektronski eKnjiga

10

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

Izdano 2010

Kazalo: “...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...”
Polni tekst

Elektronski eKnjiga

11

Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers /

Izdano 2007

Kazalo: “.../Systems -- Visualization of Permission Checks in Java Using Static Analysis -- Deployment of Virtual...”
Polni tekst

Elektronski eKnjiga

12

Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010...

Izdano 2010

Kazalo: “...-Factor Web Authentication with a Java SIM -- Algorithms -- Attribute-Based Encryption with Break-Glass...”
Polni tekst

Elektronski eKnjiga

13

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current...

Izdano 2015

Kazalo: “... -- Progress (and Lack Thereof) for Graph Coloring Approximation Problems -- Recent Results in Scalable Multi...”
Polni tekst

Elektronski eKnjiga

14

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Izdano 2007

Kazalo: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
Polni tekst

Elektronski eKnjiga

15

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Izdano 2008

Kazalo: “... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”
Polni tekst

Elektronski eKnjiga

16

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Izdano 2005

Kazalo: “... Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java...”
Polni tekst

Elektronski eKnjiga

17

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Izdano 2006

Kazalo: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
Polni tekst

Elektronski eKnjiga

18

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Izdano 2005

Kazalo: “... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”
Polni tekst

Elektronski eKnjiga

19

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Izdano 2008

Kazalo: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Polni tekst

Elektronski eKnjiga

20

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Izdano 2007

Kazalo: “... Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje