Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration selection » interaction selection, integration section, integration detection
selection processing » collection processing, selection process, selection processes
programmed java » programming java, program java, programmed dna
https » http
integration selection » interaction selection, integration section, integration detection
selection processing » collection processing, selection process, selection processes
programmed java » programming java, program java, programmed dna
https » http
1
Published 2005
Table of Contents:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“...Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”View full text
Electronic
eBook
5
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... as an Integration Concept -- Engineering Object and Agent Methodologies -- I: Programming Languages -- From Static...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... as ADTs -- Towards Dynamic Evolution of Domain Specific Languages -- ScalaQL: Language-Integrated Database...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... an Executable TTCN-3 Markov Chain Usage Model -- Language-Critical Development of Process-Centric Application...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Verification of Component-Based Software Application Families -- Multi Criteria Selection of Components Using...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- Investigative Data Mining for Counterterrorism -- Data Integration Using Lazy Types -- Data Generalization...”View full text
Electronic
eBook