| Nr. |
Titel |
Autor |
Jahr |
Band |
| 1 |
Using WSDM and Web Service Ping for QoS based Web Service Selection |
Schoene, Thomas et al. |
2009 |
17/II-01 |
| 2 |
Towards Logical Clocks in P2P-based MMVEs |
Weis, Torben et al. |
2009 |
17/I-06 |
| 3 |
Load Characterization for Distributed Virtual Environments |
Singh, Lally et al. |
2009 |
17/I-05 |
| 4 |
Towards an Interest Management Scheme for Peer-based Virtual Environments |
Heger, Florian et al. |
2009 |
17/I-04 |
| 5 |
Massively Multiuser Virtual Environments using Object Based Sharing |
Sonnenfroh, Michael et al. |
2009 |
17/I-03 |
| 6 |
Fighting Cheating in P2P-based MMVEs with Disjoint Path Routing |
Schuster, Sebastian et al. |
2009 |
17/I-02 |
| 7 |
Fuzzy Logic supported Consistency Management in DDVEs |
Schloss, Hermann et al. |
2009 |
17/I-01 |
| 8 |
Using a Triple Graph Grammar for State Machine Implementations |
Striewe, Michael et al. |
2009 |
16/08 |
| 9 |
Migrating Legacy Systems to Service-Oriented Architectures |
Matos, Carlos et al. |
2009 |
16/07 |
| 10 |
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems |
Khan, Ajab et al. |
2009 |
16/06 |
| 11 |
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems |
Hermann, Frank |
2009 |
16/05 |
| 12 |
Modelling Clustering of Wireless Sensor Networks with Synchronised Hyperedge Replacement |
Hammoudeh, Mohammad et al. |
2009 |
16/04 |
| 13 |
Deriving Barbed Bisimulations for Bigraphical Reactive Systems |
Grohmann, Davide et al. |
2009 |
16/03 |
| 14 |
From Hyperedge Replacement to Separation Logic and Back |
Dodds, Mike et al. |
2009 |
16/02 |
| 15 |
Verification of Architectural Refactorings: Rule Extraction and Tool Support |
Bisztray, Dénes et al. |
2009 |
16/01 |
| 16 |
An Incremental OCL Compiler for Modeling Environments |
Vajk, Tamas et al. |
2008 |
15/09 |
| 17 |
Static Source Code Analysis using OCL |
Seifert, Mirko et al. |
2008 |
15/08 |
| 18 |
Implementing Advanced RBAC Administration Functionality with USE |
Tanveer, Mustafa et al. |
2008 |
15/07 |
| 19 |
Executing Underspecified OCL Operation Contracts with a SAT Solver |
Krieger, Matthias P. et al. |
2008 |
15/06 |
| 20 |
How My Favorite Tool Supporting OCL Must Look Like |
Chiorean, Dan Ioan et al. |
2008 |
15/05 |
| 21 |
Deriving OCL Optimization Patterns from Benchmarks |
Sánchez Cuadrado, Jesús et al. |
2008 |
15/04 |
| 22 |
Building an Efficient Component for OCL Evaluation |
Clavel, Manuel et al. |
2008 |
15/03 |
| 23 |
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL |
Büttner, Fabian et al. |
2008 |
15/02 |
| 24 |
Observations for Assertion-based Scenarios in the context of Model Validation |
Aydal, Emine G et al. |
2008 |
15/01 |
| 25 |
Reconfigurable Open Algebraic High-Level Systems |
Ullrich, Conny et al. |
2008 |
14/04 |
| 26 |
Negative Application Conditions for Reconfigurable Algebraic High-Level Systems |
Rein, Alexander |
2008 |
14/03 |
| 27 |
Debugging Distributed Systems with Causal Nets |
Ferrari, Gian Luigi et al. |
2008 |
14/02 |
| 28 |
Implementing Petri Net Transformations using Graph Transformation Tools |
Biermann, Enrico et al. |
2008 |
14/01 |
| 29 |
3D UML Heuristic Challenge |
McIntosh, Paul et al. |
2008 |
13/08 |
| 30 |
MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences |
Sedlmair, Michael |
2008 |
13/07 |
| 31 |
Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information |
Genon, Nicolas et al. |
2008 |
13/06 |
| 32 |
Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language |
Maier, Sonja et al. |
2008 |
13/05 |
| 33 |
Interactive, Constraint-based Layout of Engineering Diagrams |
Dwyer, Tim et al. |
2008 |
13/04 |
| 34 |
Generating Euler Diagrams from Existing Layouts |
Stapleton, Gem et al. |
2008 |
13/03 |
| 35 |
Exploiting the Layout Engine to Assess Diagram Completions |
Mazanek, Steffen et al. |
2008 |
13/02 |
| 36 |
Designing, Conducting, and Analyzing Empirical Studies |
Kraemer, Eileen Theresa |
2008 |
13/01 |
| 37 |
“InstantSocial” – Implementing a Distributed Mobile Multi-user Application with Adaptation Middleware |
Fraga, Luís et al. |
2008 |
11/12 |
| 38 |
Learning-based Coordination of Distributed Component Deployment |
Vanrompay, Yves et al. |
2008 |
11/11 |
| 39 |
Feature Interaction in Pervasive Computing Systems |
Liu, Yu et al. |
2008 |
11/10 |
| 40 |
Model-Driven Adaptation of Ubiquitous Applications |
Parra, Carlos Andres |
2008 |
11/09 |
| 41 |
Context-Aware Adaptation of Mobile Multimedia Presentations |
Weiss, Diana et al. |
2008 |
11/08 |
| 42 |
Divide and Conquer - Organizing Component-based Adaptation |
Scholz, Ulrich et al. |
2008 |
11/07 |
| 43 |
Enhancing Planning-Based Adaptation Middleware with Support for Dependability: a Case Study |
Rouvoy, Romain et al. |
2008 |
11/06 |
| 44 |
Share Whatever You Like |
Böhm, Sebastian et al. |
2008 |
11/05 |
| 45 |
Reactive Context-Aware Programming |
Mostinckx, Stijn et al. |
2008 |
11/04 |
| 46 |
Survey: Agent-based Middlewares for Context Awareness |
Sahli, Nabil |
2008 |
11/03 |
| 47 |
Towards Self-evolving Context-aware Services |
Autili, Marco et al. |
2008 |
11/02 |
| 48 |
Integration of Ontological Scene Representation and Logic-Based Reasoning for Context-Aware Driver Assistance Systems |
Fuchs, Simone et al. |
2008 |
11/01 |
| 49 |
Graph Transformation Model of a Triangulated Network of Mobile Units |
Gruner, Stefan |
2008 |
10/24 |
| 50 |
Visual Design and Reasoning with the Use of Hypergraph Transformations |
Grabska, Ewa et al. |
2008 |
10/23 |
| 51 |
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators |
Mazanek, Steffen et al. |
2008 |
10/22 |
| 52 |
Using Graph Transformation Systems to Specify and Verify Data Abstractions |
Baresi, Luciano et al. |
2008 |
10/21 |
| 53 |
A Graph-Based Type Representation for Objects |
Xing, Cong-Cong |
2008 |
10/20 |
| 54 |
Type Checking C++ Template Instantiation by Graph Programs |
Azab, Karl et al. |
2008 |
10/19 |
| 55 |
The GP Programming System |
Manning, Greg et al. |
2008 |
10/18 |
| 56 |
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets |
Biermann, Enrico et al. |
2008 |
10/17 |
| 57 |
Negative Application Conditions for Reconfigurable Place/Transition Systems |
Rein, Alexander et al. |
2008 |
10/16 |
| 58 |
Reconfiguration of Reo Connectors Triggered by Dataflow |
Koehler, Christian et al. |
2008 |
10/15 |
| 59 |
Dynamic Software Architectures Verification using DynAlloy |
Bucchiarone, Antonio et al. |
2008 |
10/14 |
| 60 |
Foundations of Modelling and Simulation of Complex Systems |
Vangheluwe, Hans |
2008 |
10/13 |
| 61 |
A Static Layout Algorithm for DiaMeta |
Maier, Sonja et al. |
2008 |
10/12 |
| 62 |
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars |
Brieler, Florian et al. |
2008 |
10/11 |
| 63 |
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences |
Lambers, Leen et al. |
2008 |
10/10 |
| 64 |
Interaction nets: programming language design and implementation |
Hassan, Abubakar et al. |
2008 |
10/09 |
| 65 |
Controlling resource access in Directed Bigraphs |
Grohmann, Davide et al. |
2008 |
10/08 |
| 66 |
Graph Transformations for the Resource Description Framework |
Braatz, Benjamin et al. |
2008 |
10/07 |
| 67 |
On a Graph-Based Semantics for UML Class and Object Diagrams |
Rensink, Arend et al. |
2008 |
10/06 |
| 68 |
Composing control flow and formula rules for computing on grids |
Bottoni, Paolo et al. |
2008 |
10/05 |
| 69 |
Improving Live Sequence Chart to Automata Transformation for Verification |
Kumar, Rahul et al. |
2008 |
10/04 |
| 70 |
Extending Graph Query Languages by Reduction |
Weinell, Erhard |
2008 |
10/03 |
| 71 |
Verifying Model Transformations by Structural Correspondence |
Narayanan, Anantha et al. |
2008 |
10/02 |
| 72 |
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars |
Ehrig, Hartmut et al. |
2008 |
10/01 |
| 73 |
Extended OCL for Goal Monitoring |
Robinson, William |
2008 |
09/10 |
| 74 |
Sharing OCL Constraints by Using Web Rules |
Milanović, Milan et al. |
2008 |
09/09 |
| 75 |
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships |
Kuhlmann, Mirco et al. |
2008 |
09/08 |
| 76 |
Specifying Executable Platform-Independent Models using OCL |
Kelsen, Pierre et al. |
2008 |
09/07 |
| 77 |
Using OCL in Executable UML |
Jiang, Ke et al. |
2008 |
09/06 |
| 78 |
A Framework for Generating Query Language Code from OCL Invariants |
Heidenreich, Florian et al. |
2008 |
09/05 |
| 79 |
Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support |
Bräuer, Matthias et al. |
2008 |
09/04 |
| 80 |
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse |
Aydal, Emine G. et al. |
2008 |
09/03 |
| 81 |
OCL: Modularising the Language |
Akehurst, David H. et al. |
2008 |
09/02 |
| 82 |
C# 3.0 makes OCL redundant! |
Akehurst, David et al. |
2008 |
09/01 |
