Výsledky vyhledávání - integration detection processing programmed java https

1

Declarative Programming for Knowledge Management 16th International Conference on Applications...

Vydáno 2006

Obsah: “...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”
Získat plný text

Elektronický zdroj E-kniha

2

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent...

Vydáno 2005

Obsah: “... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”
Získat plný text

Elektronický zdroj E-kniha

3

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

Vydáno 2005

Obsah: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Získat plný text

Elektronický zdroj E-kniha

4

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Vydáno 2010

Obsah: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Získat plný text

Elektronický zdroj E-kniha

5

Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications /

Vydáno 2013

Obsah: “... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”
Získat plný text

Elektronický zdroj E-kniha

6

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Vydáno 2008

Obsah: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Získat plný text

Elektronický zdroj E-kniha

7

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Vydáno 2005

Obsah: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
Získat plný text

Elektronický zdroj E-kniha

8

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /

Vydáno 2010

Obsah: “... Model Refactoring -- Precise Detection of Conflicting Change Operations Using Process Model Terms...”
Získat plný text

Elektronický zdroj E-kniha

9

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Vydáno 2006

Obsah: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
Získat plný text

Elektronický zdroj E-kniha

10

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Vydáno 2005

Obsah: “... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...”
Získat plný text

Elektronický zdroj E-kniha

11

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10,...

Vydáno 2010

Obsah: “... Detection in Java Systems: A Dynamic Analysis Based Approach -- Formalization of the UML Class Diagrams...”
Získat plný text

Elektronický zdroj E-kniha

12

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Vydáno 2014

Obsah: “... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...”
Získat plný text

Elektronický zdroj E-kniha

13

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Vydáno 2005

Obsah: “...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”
Získat plný text

Elektronický zdroj E-kniha

14

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of...

Vydáno 2005

Obsah: “...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”
Získat plný text

Elektronický zdroj E-kniha

15

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

Vydáno 2008

Obsah: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
Získat plný text

Elektronický zdroj E-kniha

16

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Vydáno 2010

Obsah: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
Získat plný text

Elektronický zdroj E-kniha

17

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Vydáno 2005

Obsah: “... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”
Získat plný text

Elektronický zdroj E-kniha

18

Advanced Techniques in Computing Sciences and Software Engineering

Vydáno 2010

Obsah: “... Virtual Environment -- System Development by Process Integrated Knowledge Management -- An Application...”
Získat plný text

Elektronický zdroj E-kniha

19

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Vydáno 2007

Obsah: “... -- Investigative Data Mining for Counterterrorism -- Data Integration Using Lazy Types -- Data Generalization...”
Získat plný text

Elektronický zdroj E-kniha

20

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Vydáno 2008

Obsah: “... -- Outlier Detection Based on Voronoi Diagram -- AWSum – Data Mining for Insight -- Integrative Neural...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání