1
Published 2010
Table of Contents: ... and Usability Evaluation -- Implementing Domain Specific Process Modelling -- Bin-Packing-Based Planning...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... 2009 -- Preface -- JavaGAT Adaptor for UNICORE 6 – Development and Evaluation in the Project AeroGrid...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... New Processing Model Based on Mobile Interactive Documents -- A Framework for Observing Dynamics...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...: An Architecture for Flexible Interaction with Electronic Devices -- Exo-Leasing: Escrow Synchronization for Mobile...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... for the Personalization of Adaptive E-Learning -- Using a User-Interactive QA System to Capture Student’s Interest...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... -- Specifying Agent’s Goals in 3D Scenarios Using Process Algebras -- A New Approach for Offer Evaluation...
View full text
Electronic eBook