Sciweavers

ECEASST
2008
59views more  ECEASST 2008»
13 years 11 months ago
Towards Self-evolving Context-aware Services
Marco Autili, Paolo Di Benedetto, Paola Inverardi,...
ECEASST
2008
40views more  ECEASST 2008»
13 years 11 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 11 months ago
Context-Aware Adaptation of Mobile Multimedia Presentations
Diana Weiß, Stefan Helas, Johannes Martens
ECEASST
2008
58views more  ECEASST 2008»
13 years 11 months ago
Model-Driven Adaptation of Ubiquitous Applications
Carlos Andres Parra, Laurence Duchien
ECEASST
2008
95views more  ECEASST 2008»
13 years 11 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 11 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 11 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 11 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 11 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 11 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