Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration detection » interaction detection, integration detecting, interactions detection
detection programming » detectors programming, directional programming, interaction programming
problems java » problems japan, problems jag, problems jane
https » http
integration detection » interaction detection, integration detecting, interactions detection
detection programming » detectors programming, directional programming, interaction programming
problems java » problems japan, problems jag, problems jane
https » http
1
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... on Grid Platform -- The University of Virginia Campus Grid: Integrating Grid Technologies with the Campus...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Protection -- Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation -- Trusted Network...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“...Invited Talks -- Algorithmic Problems in Ad Hoc Networks -- Five Challenges in Wide-Area Sensor...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Investigative Data Mining for Counterterrorism -- Data Integration Using Lazy Types -- Data Generalization...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Elicitation and Incorporation into Class Diagrams -- Case-Based Reasoning -- Architectures Integrating Case...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Routing Problem -- Self-Organization on Silicon: System Integration of a Fixed-Point Swarm Coprocessor...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Orderings of Knowledge States -- Problem Based Learning: Obtaining Enzyme Kinetics Parameters Integrating...”View full text
Electronic
eBook