Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computing » interactive computer
proceedings programs » proceedings program, processing programs, procedures programs
programs java » program java, programs a, programs case
https » http
interactive computing » interactive computer
proceedings programs » proceedings program, processing programs, procedures programs
programs java » program java, programs a, programs case
https » http
1
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
2
3
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Human Computer Interaction -- A Rule-Based Publish-Subscribe Message Routing System for Ubiquitous...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...”View full text
Electronic
eBook
14
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
15
Published 2008
Table of Contents:
“... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...”View full text
Electronic
eBook