Refine
Year of publication
- 2009 (23) (remove)
Document Type
- Monograph/Edited Volume (23) (remove)
Language
- English (23) (remove)
Is part of the Bibliography
- yes (23)
Keywords
- Cape Town (1)
- Forschungskolleg (1)
- Friedensforschung (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institut (1)
- Kapstadt (1)
- Klausurtagung (1)
- Model Synchronisation (1)
- Model Synchronization (1)
- Model Transformation (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (4)
- Institut für Anglistik und Amerikanistik (3)
- Wirtschaftswissenschaften (3)
- Department Linguistik (1)
- Extern (1)
- Historisches Institut (1)
- Institut für Biochemie und Biologie (1)
- Institut für Germanistik (1)
- Institut für Informatik und Computational Science (1)
- Institut für Jüdische Studien und Religionswissenschaft (1)
- Institut für Künste und Medien (1)
- Institut für Mathematik (1)
- Institut für Umweltwissenschaften und Geographie (1)
- Philosophische Fakultät (1)
- Sonderforschungsbereich 632 - Informationsstruktur (1)
- WeltTrends e.V. Potsdam (1)
- Öffentliches Recht (1)
The talk will focus on a few central problems in Game Studies: The question of where to locate game meaning, game defintions and how to avoid them, and the conundrum of games vs stories. In all these problems, the choice of ludic perspective (e.g. are games artifacts, systems or activities?) limits our ability to discuss games across disciplinary boundaries. What is needed is a metaperspective that will offer the field a chance to move on.
Final Reflections
(2009)
Introduction
(2009)
Service-oriented modeling employs collaborations to capture the coordination of multiple roles in form of service contracts. In case of dynamic collaborations the roles may join and leave the collaboration at runtime and therefore complex structural dynamics can result, which makes it very hard to ensure their correct and safe operation. We present in this paper our approach for modeling and verifying such dynamic collaborations. Modeling is supported using a well-defined subset of UML class diagrams, behavioral rules for the structural dynamics, and UML state machines for the role behavior. To be also able to verify the resulting service-oriented systems, we extended our former results for the automated verification of systems with structural dynamics [7, 8] and developed a compositional reasoning scheme, which enables the reuse of verification results. We outline our approach using the example of autonomous vehicles that use such dynamic collaborations via ad-hoc networking to coordinate and optimize their joint behavior.
The conidial stage and chasmothecia of Golovinomyces orontii have been found in Germany on cultivated Limnanthes douglasii. A powdery mildew anamorph found in the Netherlands on Malva alcea agrees morphologically with the Oidium of the latter species as well. Golovinomyces sp. (anamorph) on Parthenium integrifolium is described and discussed. Erysiphe sp. has been found in Germany on Acer opalus, and E. magnifica is recorded from Germany and Switzerland on Magnolia spp. Oidium passiflorae is new to Switzerland. An Oidium morphologically agreeing with the anamorph of Podosphaera aphanis has recently been collected on Exacum macranthum cultivated in a greenhouse, and conidiophores and conidia of a species of Podosphaera sect. Sphaerotheca subsect. Magnicellulatae (P. fusca complex) on Phlox paniculata and Polemonium caeruleum have been found in Germany.
Model-driven software development requires techniques to consistently propagate modifications between different related models to realize its full potential. For large-scale models, efficiency is essential in this respect. In this paper, we present an improved model synchronization algorithm based on triple graph grammars that is highly efficient and, therefore, can also synchronize large-scale models sufficiently fast. We can show, that the overall algorithm has optimal complexity if it is dominating the rule matching and further present extensive measurements that show the efficiency of the presented model transformation and synchronization technique.
Introductory Bioinformatics
(2009)
“The UN Peacebuilding Commission – Lessons from Sierra Leone” by political scientist Andrea Iro is an assessment of the United Nations Peacebuilding Commission (PBC) and the United Nations Peacebuilding Fund (PBF) by analysing their performance over the last two years in Sierra Leone, one of the first PBC focus countries. The paper explores the key question of how the PBC/PBF’s mandate has been translated into operational practice in the field. It concludes that though the overall impact has been mainly positive and welcomed by the country, translating the general mandate into concrete activities remains a real challenge at the country level.