Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
program https » programs https, program has, program help
program sql » program self, program set, program sfp
sql program » hol program, shell program, sijil program
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
program https » programs https, program has, program help
program sql » program self, program set, program sfp
sql program » hol program, shell program, sijil program
1
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
2
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document...”View full text
Electronic
eBook
4
Table of Contents:
“...Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics...”
View full text
View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Semantics -- Towards a Compositional Semantic Account of Data Quality Attributes -- Ontology -- A Formal...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Tools in Scientific Workflow Composition -- Tools in Scientific Workflow Composition -- Workflows...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... and Explain Conflicts in a Multi-step Configuration Process -- Composition and Adaptation -- An MDA Approach...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Arcs -- Modelling Replication in No SQL Datastores -- Queueing, Debugging and Tools -- On Queues...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Spatio-Temporal Composite Event Language -- Design and Implementation of the Rebeca Publish/Subscribe...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... -- Eliminating SQL Injection and Cross Site Scripting Using Aspect Oriented Programming....”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Executables -- Behavioral and Structural Properties of Malicious Code -- Detection and Prevention of SQL...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... for Incremental Multi-Query Optimization -- SQL Queries with CASE Expressions -- Top-Down Compression of Data...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Techniques for Intrusion Detection of SQL-Based Attacks -- Efficiently Querying XML Documents Stored in RDBMS...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Areas -- DPI: Dual Private Indexes for Outsourced Databases -- Anomaly SQL SELECT-Statement Detection...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Areas -- DPI: Dual Private Indexes for Outsourced Databases -- Anomaly SQL SELECT-Statement Detection...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Reordering Optimization During Legal Systems Migration -- Automated SuperSQL Query Formulation Based...”View full text
Electronic
eBook