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