1
Publicat 2015
Taula de continguts: ... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...
Obtenir text complet
Electrònic eBook
2
per Raynal, Michel., Raynal, Michel.
Publicat 2013
Taula de continguts: ...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ... Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra...
Obtenir text complet
Electrònic eBook
7
Publicat 2014
Taula de continguts: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Obtenir text complet
Electrònic eBook
8
Publicat 2006
Taula de continguts: ... Geometric Nonlinearities -- Mathematical Programming Issues -- The Worst-Case Multiple Load FMO Problem...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
Obtenir text complet
Electrònic eBook
11
Publicat 2005
Taula de continguts: ... Wireless Sensor Network Using Voronoi Diagrams -- A Computational Model of Mortgage Prepayment Options...
Obtenir text complet
Electrònic eBook
12
Publicat 2007
Taula de continguts: ... Programming Method for Collaborative Scheduling in Construction Supply Chain Management -- A Particular...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... and Integrating Advanced IT-Concepts with Semantic Web Technology Mashups Architecture Case Study -- Intelligent...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... Computational Intelligence -- Incremental Construction of Alpha Lattices and Association Rules -- Intelligent...
Obtenir text complet
Electrònic eBook