Sciweavers

311 search results - page 26 / 63
» Graph Transformation Based Models of Dynamic Software Archit...
Sort
View
UML
2005
Springer
14 years 1 months ago
Explicit Platform Models for MDA
The main drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms. The way MDA achieves this is by transforming a platfo...
Dennis Wagelaar, Viviane Jonckers
CAV
2012
Springer
265views Hardware» more  CAV 2012»
11 years 11 months ago
An Axiomatic Memory Model for POWER Multiprocessors
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayv...
JOT
2006
113views more  JOT 2006»
13 years 8 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
COMPSAC
2007
IEEE
14 years 2 months ago
Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
Liwei Shen, Xin Peng, Wenyun Zhao
KBSE
2010
IEEE
13 years 6 months ago
Reconfigurable run-time support for distributed service component architectures
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...
Rémi Mélisson, Philippe Merle, Danie...