1
Published 2012
Table of Contents: ... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... -- Contextual cognition in social simulation -- SocioPlatform: A Platform for Social Context-Aware Applications...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
View full text
Electronic eBook
6
Published 2011
Table of Contents: ... Literate Programming -- A New Method for Inner Estimation of Solution Sets to Interval Linear Systems...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- A Simulation Study of Integrated Service Discovery -- Context Dissemination and Aggregation...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Distributed Ontological Approach as a Basis for Software in the Context of Academic Programs -- Systems...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Context -- Modeling and Visualization of Tsunamis -- Geophysical Finite-Element Simulation Tool (GeoFEST...
View full text
Electronic eBook
14
by Giese, Holger., Giese, Holger.
Published 2008
Table of Contents: ... in the Context of MDD -- Model-Based Design of Trustworthy Health Information Systems -- First International...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Approach to the Engineering of Multiple User Interfaces -- Model-Driven Dynamic Generation of Context...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...
View full text
Electronic eBook
17
Table of Contents: ...Preface -- Acknowlegements.-Part One: SLOs Advent Context and Basics of Their Model-Driven...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Technique -- A Method for Filtering Large Conceptual Schemas -- Integration and Composition -- Measuring...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...Scientific and Technological Cooperation in the Agri-Food Sector: The Case of the CYTED Program...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...
View full text
Electronic eBook