Resultados da pesquisa - ((integration dysfunction) OR (integration detection)) processing programmed java http

1

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

Publicado em 2006

Sumário: “...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

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

Publicado em 2005

Sumário: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

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

Publicado em 2010

Sumário: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

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

Publicado em 2005

Sumário: “... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Evolutionary cost-cognizant regression test case prioritization for object-oriented programs

Por Bello, AbdulKarim
Publicado em 2019

Assuntos: “...Regression analysis - Computer programs...”
Obter o texto integral

Thesis

6

Evolutionary cost-cognizant regression test case prioritization for object-oriented programs

Por Bello, AbdulKarim
Publicado em 2019

“... and do not adversely introduce bugs to its existing functionalities. It involves the process of re...”
Obter o texto integral

Thesis

7

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

Publicado em 2013

Sumário: “... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

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 em 2008

Sumário: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

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 em 2005

Sumário: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

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

Publicado em 2010

Sumário: “... Model Refactoring -- Precise Detection of Conflicting Change Operations Using Process Model Terms...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

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

Publicado em 2006

Sumário: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

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 em 2005

Sumário: “... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

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 em 2010

Sumário: “... Detection in Java Systems: A Dynamic Analysis Based Approach -- Formalization of the UML Class Diagrams...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

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

Publicado em 2014

Sumário: “... Sense -- Streaming Model Transformations by Complex Event Processing -- On the Use of Signatures...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

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 em 2005

Sumário: “...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

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

Publicado em 2005

Sumário: “...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

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

Publicado em 2008

Sumário: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

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

Publicado em 2010

Sumário: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

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

Publicado em 2005

Sumário: “... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

Advanced Techniques in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Virtual Environment -- System Development by Process Integrated Knowledge Management -- An Application...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa