Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
declarative programming » recursive programming
interface declarative » interaction declarative, interlaken declaration, interface separating
programming control » programming contract, programming contest, programming context
https » http
programming programming » programming programmed, programming program
declarative programming » recursive programming
interface declarative » interaction declarative, interlaken declaration, interface separating
programming control » programming contract, programming contest, programming context
https » http
1
Published 2008
Table of Contents:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Model Synchronization -- An Invariant-Based Method for the Analysis of Declarative Model-to-Model...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Computing Applications -- Toward Distributed Declarative Control of Networked Cyber-Physical Systems...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... on Decision Science -- On Designing Usable Policy Languages for Declarative Trust Aggregation -- An Image...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... for the Similarity Algebra -- On Modal Deductive Databases -- Declarative Data Fusion – Syntax, Semantics...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Separation Logic for Enforcing Declarative Information Flow Control Policies -- Defining and Enforcing...”View full text
Electronic
eBook