|
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 > >> |