Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive reactive » interactive active, interactive predictive, interactions reactive
reactive programming » recursive programming, declarative programming, imperative programming
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
interactive reactive » interactive active, interactive predictive, interactions reactive
reactive programming » recursive programming, declarative programming, imperative programming
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
1
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”View full text
Electronic
eBook
5
Table of Contents:
“... Representations -- Reactive, Asynchronous, and Concurrent Programming -- Building Web Applications -- Working...”
View full text
View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Programs in an SMT Framework -- A Generic Constructive Solution for Concurrent Games with Expressive...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Maps -- DOI-Wave: A Focus+Context Interaction Technique for Networks Based on Attention-Reactive...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... and Understand Human Cytomegalovirus Infection -- Use of Recombinant Approaches to Construct Human...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... of Neutronics: Reactivity Coefficients in Nuclear Reactors -- to Thermodynamics -- Kinetics of Phase...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Users -- Constructing Classification Rules Based on SVR and Its Derivative Characteristics -- Hiding...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“..., Limits -- Interaction Protocols and Capabilities: A Preliminary Report -- Semantic Web Reasoning...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... for Real-Time Rendering of Deformable Translucent Objects -- Interactively Rendering Dynamic Caustics...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Measure -- r 3– A Foundational Ontology for Reactive Rules -- Heuristics for Constructing Bayesian Network...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Cheating -- Application of a Feed-forward Control Structure -- Reactive Planning to Compose Learning Routes...”View full text
Electronic
eBook