Electronic Communications of the EASST
| Issue | Title | |
| 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 | ||
| Volume 30: Graph and Model Transformation 2010 | Expressiveness of graph conditions with variables | Abstract PDF |
| Annegret Habel, Hendrik Radke | ||
| Volume 30: Graph and Model Transformation 2010 | Towards Theorem Proving Graph Grammars using Event-B | Abstract PDF |
| Leila Ribeiro, Fernando Luis Dotti, Simone André da Costa, Fabiane Cristine Dillenburg | ||
| Volume 30: Graph and Model Transformation 2010 | A Termination Criterion for Graph Transformations with Negative Application Conditions | Abstract PDF |
| Paolo Bottoni, Francesco Parisi Presicce | ||
| Volume 30: Graph and Model Transformation 2010 | Graph Modelling and Transformation: Theory meets Practice | Abstract PDF |
| Claudia Ermel, Karsten Ehrig | ||
| Volume 30: Graph and Model Transformation 2010 | Symbolic Attributed Graphs for Attributed Graph Transformation | Abstract PDF |
| Fernando Orejas, Leen Lambers | ||
| Volume 30: Graph and Model Transformation 2010 | Modeling a Service and Session Calculus with Hierarchical Graph Transformation | Abstract PDF |
| Roberto Bruni, Andrea Corradini, Ugo Montanari | ||
| Volume 30: Graph and Model Transformation 2010 | International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface | Details PDF |
| Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer | ||
| Volume 30: Graph and Model Transformation 2010 | Second-Order Value Numbering | Abstract PDF |
| Tiziana Margaria, Bernhard Steffen, Christian Topnik | ||
| Volume 30: Graph and Model Transformation 2010 | Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets | Abstract PDF |
| Tony Modica, Kathrin Hoffmann | ||
| Volume 31: Visual Formalisms for Patterns 2010 | Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10 | Details PDF |
| Paolo Bottoni, Esther Guerra, Juan de Lara | ||
| 61 - 120 of 888 Items | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |