1
Publicado 2008
Table of Contents: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...
Ligazón do recurso
Electrónico eBook
3
Publicado 2014
Table of Contents: ... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...
Ligazón do recurso
Electrónico eBook
7
Publicado 2015
Table of Contents: ... Consistency: An Experience Report on a Middle-Sized Case Study -- A constraint optimization model for analysis...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...
Ligazón do recurso
Electrónico eBook
9
Publicado 2008
Table of Contents: ... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...
Ligazón do recurso
Electrónico eBook
10
Publicado 2007
Table of Contents: ... Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic...
Ligazón do recurso
Electrónico eBook
11
Publicado 2008
Table of Contents: ... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...
Ligazón do recurso
Electrónico eBook
12
Publicado 2008
Table of Contents: ... Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A...
Ligazón do recurso
Electrónico eBook
13
Publicado 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Ligazón do recurso
Electrónico eBook
14
Publicado 2010
Table of Contents: ... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...
Ligazón do recurso
Electrónico eBook
15
Publicado 2007
Table of Contents: ... Systems -- Organization Oriented Programming: From Closed to Open Organizations -- Analysis, Design...
Ligazón do recurso
Electrónico eBook
16
Publicado 2007
Table of Contents: ... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...
Ligazón do recurso
Electrónico eBook
17
Publicado 2012
Table of Contents: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
Ligazón do recurso
Electrónico eBook
18
Publicado 2012
Table of Contents: ...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...
Ligazón do recurso
Electrónico eBook
19
Publicado 2008
Table of Contents: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
Ligazón do recurso
Electrónico eBook
20
Publicado 2008
Table of Contents: ... Evacuation Simulations -- A Multi-agent Environment for Serving Proof Explanations in the Semantic Web -- A...
Ligazón do recurso
Electrónico eBook