1
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
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
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
Publicado 2010
Tabla de Contenidos: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
Enlace del recurso
Electrónico eBook
5
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
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
Publicado 2005
Tabla de Contenidos: ... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... Model Refactoring -- Precise Detection of Conflicting Change Operations Using Process Model Terms...
Enlace del recurso
Electrónico eBook
9
Publicado 2006
Tabla de Contenidos: ... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...
Enlace del recurso
Electrónico eBook
10
Publicado 2005
Tabla de Contenidos: ... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...
Enlace del recurso
Electrónico eBook
11
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
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
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
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
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
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
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
Publicado 2010
Tabla de Contenidos: ... Virtual Environment -- System Development by Process Integrated Knowledge Management -- An Application...
Enlace del recurso
Electrónico eBook
19
Publicado 2007
Tabla de Contenidos: ... -- Investigative Data Mining for Counterterrorism -- Data Integration Using Lazy Types -- Data Generalization...
Enlace del recurso
Electrónico eBook
20
Publicado 2008
Tabla de Contenidos: ... -- Outlier Detection Based on Voronoi Diagram -- AWSum – Data Mining for Insight -- Integrative Neural...
Enlace del recurso
Electrónico eBook