Browse Title Index


 
Issue Title
 
Volume 25: Visual Formalisms for Patterns 2009 The Pattern Instance Notation: A Simple Hierarchical Visual Notation for the Dynamic Visualization and Comprehension of Software Patterns Abstract   PDF
Jason McColm Smith
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Parallelism and Concurrency Theorems for Rules with Nested Application Conditions Abstract   PDF
Hartmut Ehrig, Annegret Habel, Leen Lambers
 
Volume 26: Manipulation of Graphs, Algebras and Pictures On Judgements and Propositions Abstract   PDF
Bernd Mahr
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Conditional Adaptive Star Grammars Abstract   PDF
Berthold Hoffmann
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework Abstract   PDF
Enrico Biermann, Claudia Ermel, Gabriele Taentzer
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization Abstract   PDF
Sabine Kuske, Melanie Luderer
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Generation of Celtic Key Patterns with Tree-based Collage Grammars Abstract   PDF
Renate Klempien-Hinrichs, Caroline von Totth
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Assemblies as Graph Processes Abstract   PDF
Dirk Janssens
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Algebraic Model Checking Abstract   PDF
Peter Padawitz
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Towards the Tree Automata Workbench Marbles Abstract   PDF
Frank Drewes
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Reaction Systems: a Formal Framework for Processes Based on Biochemical Interactions Abstract   PDF
Andrzej Ehrenfeucht, Grzegorz Rozenberg
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Checking Graph-Transformation Systems for Confluence Abstract   PDF
Detlef Plump
 
Volume 26: Manipulation of Graphs, Algebras and Pictures From Petri Nets to Graph Transformation Systems Abstract   PDF
Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday Details   PDF
Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump
 
Volume 26: Manipulation of Graphs, Algebras and Pictures Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods Abstract   PDF
Christoph Schulz, Michael Löwe, Harald König
 
Volume 26: Manipulation of Graphs, Algebras and Pictures On Teaching Logic and Algebraic Specification Abstract   PDF
Till Mossakowski
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 A Middleware for Self-Organising Distributed Ambient Assisted Living Applications Abstract   PDF
Jan Schaefer
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 Evaluation of the Technology Agnostic Service Creation Approach Abstract   PDF
Sian Lun Lau, Niklas Klein, Andreas Pirali, Olaf Droegehorn, Klaus David
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 QoS-based Self-Management for Business Processes Abstract   PDF
Diana Comes, Michael Zapf, Kurt Geihs
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 Modeling of Self-Organizing Systems: An Overview Abstract   PDF
Richard Holzer, Patrick Wüchner, Hermann de Meer
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 Systemic Modeling of Agent Coaction: A Catalog of Decentralized Coordinating Processes Abstract   PDF
Jan Oliver Sudeikat
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 Assessment – Ein Ansatz zur Evaluierung selbstorganisierender Systeme Abstract   PDF
Jens Tiemann, Mikhail Smirnov, Tanja Zseby
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 Nutzerintegration in die Anforderungserhebung für Ubiquitous Computing Systeme Abstract   PDF
Axel Hoffmann, Holger Hoffmann, Jan Marco Leimeister
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 Self Organized Swarms for cluster preserving Projections of high-dimensional Data Abstract   PDF
Alfred Ultsch, Lutz Herrmann
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 Theory-based Analyses of Interorganisational Standards for Self-organising, Adaptive Value Creation Networks Abstract   PDF
Jörg Becker, Martin Matzner, Matthias Voigt
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 Building an Infrastructure Level Context Model in Ambient Assisted Living Abstract   PDF
Manfred Wojciechowski
 
Volume 27: Selbstorganisierende, adaptive, kontextsensitive verteilte Systeme 2010 Vorwort / Preface Details   PDF
Michael Zapf, Klaus David
 
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010 Middleware for the Internet of Things, Design Goals and Challenges Abstract   PDF
Koosha Paridel, Engineer Bainomugisha, Yves Vanrompay, Yolande Berbers, Wolfgang De Meuter
 
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010 Supporting Pervasive and Social Communications with FRASCATI Abstract   PDF
Rémi Mélisson, Daniel Romero, Romain Rouvoy, Lionel Seinturier
 
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010 Modelling Feedback Control Loops for Self-Adaptive Systems Abstract   PDF
Russel Aime Nzekwa, Romain Rouvoy, Lionel Seinturier
 
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010 MLContext: A Context-Modeling Language for Context-Aware Systems Abstract   PDF
José Ramón Hoyos, Jesús García-Molina, Juan Antonio Botía
 
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010 Ambient Contracts Abstract   PDF
Dries Harnie, Christophe Scholliers, Wolfgang De Meuter
 
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010 Architectural Constraints for Pervasive Adaptive Applications Abstract   PDF
Christian Straube, Andreas Schroeder
 
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010 Preface Details   PDF
Sonia Ben Mokhtar, Romain Rouvoy, Michael Wagner
 
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010 Training the Behaviour Preferences on Context Changes Abstract   PDF
Kuderna-Iulian Benta, Marcel Cremene, Amalia Hoszu
 
Volume 28: Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010 Testing self-adaptive applications with simulation of context events Abstract   PDF
Konstantinos Kakousis, Nearchos Paspallis, George Angelos Papadopoulos, Pedro Antonio Ruiz
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets Abstract   PDF
Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 On A Graph Formalism for Ordered Edges Abstract   PDF
Maarten de Mol, Arend Rensink
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Decidable Race Condition and Open Coregions in HMSC Abstract   PDF
Vojtech Rehak, Petr Slovak, Jan Strejcek, Loic Helouet
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 A lightweight abstract machine for interaction nets Abstract   PDF
Abubakar Hassan, Ian Mackie, Shinya Sato
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Graph Algebras for Bigraphs Abstract   PDF
Davide Grohmann, Marino Miculan
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Stochastic Graph Transformation with Regions Abstract   PDF
Paolo Torrini, Reiko Heckel, Istvan Rath, Gabor Bergmann
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Defining Models - Meta Models versus Graph Grammars Abstract   PDF
Berthold Hoffmann, Mark Minas
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Preserving constraints in horizontal model transformations Abstract   PDF
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Specifying and Generating Editing Environments for Interactive Animated Visual Models Abstract   PDF
Torsten Strobl, Mark Minas
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Recognizable Graph Languages for Checking Invariants Abstract   PDF
Christoph Blume, Sander Bruggink, Barbara König
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 De-/Re-constructing Model Transformation Languages Abstract   PDF
Eugene Syriani, Hans Vangheluwe
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories Abstract   PDF
Wolfram Kahl
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Verification of Model Transformations Abstract   PDF
Bernhard Schätz
 
Volume 29: Graph Transformation and Visual Modeling Techniques 2010 Preface Details   PDF
Jochen M. Küster, Emilio Tuosto
 
Volume 30: Graph and Model Transformation 2010 Position Statement: Models in Software and Systems Development Abstract   PDF
Bernd Mahr
 
Volume 30: Graph and Model Transformation 2010 Position Paper: Formal Methods in Agile Development Abstract   PDF
Michael Löwe
 
Volume 30: Graph and Model Transformation 2010 From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement Abstract   PDF
Hartmut Ehrig
 
Volume 30: Graph and Model Transformation 2010 Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling Abstract   PDF
Gregor Engels, Christian Soltenborn
 
Volume 30: Graph and Model Transformation 2010 Stepping from Graph Transformation Units to Model Transformation Units Abstract   PDF
Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
 
Volume 30: Graph and Model Transformation 2010 Specification and Verification of Model Transformations Abstract   PDF
Frank Hermann, Mathias Hülsbusch, Barbara König
 
Volume 30: Graph and Model Transformation 2010 Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification Abstract   PDF
Björn Bartels, Sabine Glesner, Thomas Göthel
 
Volume 30: Graph and Model Transformation 2010 What Algebraic Graph Transformations Can Do For Model Transformations Abstract   PDF
Gabriele Taentzer
 
Volume 30: Graph and Model Transformation 2010 A Note on Causalities in Reaction Systems Abstract   PDF
Robert Brijder, Andrzej Ehrenfeucht, Grzegorz Rozenberg
 
Volume 30: Graph and Model Transformation 2010 From Graph Transformations to Differential Equations Abstract   PDF
Mayur Bapodra, Reiko Heckel
 
301 - 360 of 777 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >>