Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
programming reactive » programming active, programming reaction, programming deductive
programming sensor » programming session, programming sno2, programming support
concepts case » concepts cases, concepts a, concepts chapter
constructive computation » constructive communication, constructive communications, construction competitions
programming reactive » programming active, programming reaction, programming deductive
programming sensor » programming session, programming sno2, programming support
concepts case » concepts cases, concepts a, concepts chapter
1
Published 2015
Table of Contents:
“... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”View full text
Electronic
eBook
2
Table of Contents:
“...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...”
View full text
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Geometric Nonlinearities -- Mathematical Programming Issues -- The Worst-Case Multiple Load FMO Problem...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Wireless Sensor Network Using Voronoi Diagrams -- A Computational Model of Mortgage Prepayment Options...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Programming Method for Collaborative Scheduling in Construction Supply Chain Management -- A Particular...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Computational Intelligence -- Incremental Construction of Alpha Lattices and Association Rules -- Intelligent...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... and Integrating Advanced IT-Concepts with Semantic Web Technology Mashups Architecture Case Study -- Intelligent...”View full text
Electronic
eBook