Sciweavers

1436 search results - page 23 / 288
» Language Support for Managing Variability in Architectural M...
Sort
View
OTM
2007
Springer
14 years 1 months ago
Trust Management Model and Architecture for Context-Aware Service Platforms
The entities participating in a context-aware service platform need to establish and manage trust relationships in order to assert different trust aspects including identity provis...
Ricardo Neisse, Maarten Wegdam, Marten van Sindere...
MDAFA
2004
Springer
124views Hardware» more  MDAFA 2004»
14 years 1 months ago
MISTRAL: A Language for Model Transformations in the MOF Meta-modeling Architecture
In the Meta Object Facility (MOF) meta-modeling architecture a number of model transformation scenarios can be identified. It could be expected that a meta-modeling architecture wi...
Ivan Kurtev, Klaas van den Berg
ASPLOS
2012
ACM
12 years 3 months ago
Architectural support for hypervisor-secure virtualization
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
Jakub Szefer, Ruby B. Lee
SAC
2006
ACM
14 years 1 months ago
A UML 2-compatible language and tool for formal modeling real-time system architectures
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
Pietro Colombo, Matteo Pradella, Matteo Rossi
MODELS
2007
Springer
14 years 1 months ago
Introducing Variability into Aspect-Oriented Modeling Approaches
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects, or cross-cutting concerns, that can be composed in different systems at a model or code level. Buildin...
Philippe Lahire, Brice Morin, Gilles Vanwormhoudt,...