Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computing » interactive computer
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
computing program » comparing programs, computing progress, computer program
program https » programs https, program has, program help
interactive computing » interactive computer
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
computing program » comparing programs, computing progress, computer program
program https » programs https, program has, program help
1
Published 2006
Table of Contents:
“... Interaction -- Modeling Web Interactions and Errors -- Composition of Interacting Computations -- From...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...A Bibliography of Willem-Paul de Roever -- Playing Savitch and Cooking Games -- Compositionality...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
11
Published 2011
Table of Contents:
“... in a Computational Evolution System for Detecting Epistasis -- Composition of Music and Financial...”View full text
Electronic
eBook
12
Table of Contents:
“...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...”
View full text
View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Feature Interactions with Generic Feature Modules -- Compositional Development of BPMN -- Building a...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“...)composition -- Haptics and Multimodality -- Exploring the Specification of Haptic Interaction -- Analysis...”View full text
Electronic
eBook
16
Published 2011
Table of Contents:
“... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”View full text
Electronic
eBook
18
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Published 2014
Table of Contents:
“... for the Linear π-Calculus with Composite and Equi-Recursive Types -- A Semantical and Operational Account of Call...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Tools for Interactive Storytelling -- Mixed Reality Based Interactive 3D Story Composition Tool...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic...”View full text
Electronic
eBook