Search Results - integration detection processing programs java https*

Search alternatives:
integration detection » interaction detection , integration detecting , interactions detection
detection processing » selection processing , detection preprocessing , detection proceedings
processing programs » processing programmed , processing problems , processing products
programs java » program java , programs a , programs case
https* » http*

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

Published 2006

Table of Contents: “...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Model Refactoring -- Precise Detection of Conflicting Change Operations Using Process Model Terms...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
View full text

Electronic eBook

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 /

Published 2005

Table of Contents: “... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Detection in Java Systems: A Dynamic Analysis Based Approach -- Formalization of the UML Class Diagrams...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Virtual Environment -- System Development by Process Integrated Knowledge Management -- An Application...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- Investigative Data Mining for Counterterrorism -- Data Integration Using Lazy Types -- Data Generalization...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- Outlier Detection Based on Voronoi Diagram -- AWSum – Data Mining for Insight -- Integrative Neural...”
View full text

Electronic eBook

Narrow Search