Resultados de búsqueda - integration detection processing programmed java https

1

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

Publicado 2006

Tabla de Contenidos: “...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”
Enlace del recurso

Electrónico eBook

2

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

Publicado 2005

Tabla de Contenidos: “... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”
Enlace del recurso

Electrónico eBook

3

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

Publicado 2005

Tabla de Contenidos: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Enlace del recurso

Electrónico eBook

4

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

Publicado 2010

Tabla de Contenidos: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Enlace del recurso

Electrónico eBook

5

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

Publicado 2013

Tabla de Contenidos: “... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”
Enlace del recurso

Electrónico eBook

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...

Publicado 2008

Tabla de Contenidos: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Enlace del recurso

Electrónico eBook

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 /

Publicado 2005

Tabla de Contenidos: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
Enlace del recurso

Electrónico eBook

8

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

Publicado 2010

Tabla de Contenidos: “... Model Refactoring -- Precise Detection of Conflicting Change Operations Using Process Model Terms...”
Enlace del recurso

Electrónico eBook

9

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

Publicado 2006

Tabla de Contenidos: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
Enlace del recurso

Electrónico eBook

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 /

Publicado 2005

Tabla de Contenidos: “... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...”
Enlace del recurso

Electrónico eBook

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,...

Publicado 2010

Tabla de Contenidos: “... Detection in Java Systems: A Dynamic Analysis Based Approach -- Formalization of the UML Class Diagrams...”
Enlace del recurso

Electrónico eBook

12

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

Publicado 2014

Tabla de Contenidos: “... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...”
Enlace del recurso

Electrónico eBook

13

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

Publicado 2005

Tabla de Contenidos: “...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”
Enlace del recurso

Electrónico eBook

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...

Publicado 2005

Tabla de Contenidos: “...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”
Enlace del recurso

Electrónico eBook

15

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

Publicado 2008

Tabla de Contenidos: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
Enlace del recurso

Electrónico eBook

16

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

Publicado 2010

Tabla de Contenidos: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
Enlace del recurso

Electrónico eBook

17

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

Publicado 2005

Tabla de Contenidos: “... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”
Enlace del recurso

Electrónico eBook

18

Advanced Techniques in Computing Sciences and Software Engineering

Publicado 2010

Tabla de Contenidos: “... Virtual Environment -- System Development by Process Integrated Knowledge Management -- An Application...”
Enlace del recurso

Electrónico eBook

19

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

Publicado 2007

Tabla de Contenidos: “... -- Investigative Data Mining for Counterterrorism -- Data Integration Using Lazy Types -- Data Generalization...”
Enlace del recurso

Electrónico eBook

20

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

Publicado 2008

Tabla de Contenidos: “... -- Outlier Detection Based on Voronoi Diagram -- AWSum – Data Mining for Insight -- Integrative Neural...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados