Sciweavers

ECEASST
2008
59views more  ECEASST 2008»
13 years 4 months ago
Towards Self-evolving Context-aware Services
Marco Autili, Paolo Di Benedetto, Paola Inverardi,...
ECEASST
2008
40views more  ECEASST 2008»
13 years 4 months ago
Enhancing Planning-Based Adaptation Middleware with Support for Dependability: a Case Study
Romain Rouvoy, Roman Vitenberg, Frank Eliassen
ECEASST
2008
92views more  ECEASST 2008»
13 years 4 months ago
Context-Aware Adaptation of Mobile Multimedia Presentations
Diana Weiß, Stefan Helas, Johannes Martens
ECEASST
2008
58views more  ECEASST 2008»
13 years 4 months ago
Model-Driven Adaptation of Ubiquitous Applications
Carlos Andres Parra, Laurence Duchien
ECEASST
2008
95views more  ECEASST 2008»
13 years 4 months ago
A Static Layout Algorithm for DiaMeta
Abstract: The diagram editor generator framework DIAMETA utilizes meta-modelbased language specifications and supports free-hand as well as structured editing. In this paper we pre...
Sonja Maier, Mark Minas
ECEASST
2008
73views more  ECEASST 2008»
13 years 4 months ago
A Graph-Based Type Representation for Objects
Abstract: Subtyping and inheritance are two major issues in the research and development of object-oriented languages, which have been traditionally studied along the lines of type...
Cong-Cong Xing
ECEASST
2008
79views more  ECEASST 2008»
13 years 4 months ago
Using Graph Transformation Systems to Specify and Verify Data Abstractions
fy and Verify Data Abstractions Luciano Baresi, Carlo Ghezzi, Andrea Mocci and Mattia Monga 14 pages Guest Editors: Claudia Ermel, Reiko Heckel, Juan de Lara Managing Editors: Tizi...
Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia...
ECEASST
2008
171views more  ECEASST 2008»
13 years 4 months ago
Type Checking C++ Template Instantiation by Graph Programs
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
Karl Azab, Karl-Heinz Pennemann
ECEASST
2008
95views more  ECEASST 2008»
13 years 4 months ago
Graph Transformations for the Resource Description Framework
: The Resource Description Framework (RDF) is a standard developed by the World Wide Web Consortium (W3C) to facilitate the representation and exchange of structured (meta-)data in...
Benjamin Braatz, Christoph Brandt
ECEASST
2008
106views more  ECEASST 2008»
13 years 4 months ago
Controlling resource access in Directed Bigraphs
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
Davide Grohmann, Marino Miculan