152 search results - page 21 / 31 » An Aspect Oriented Model Driven Framework |
MDAFA
2004
Springer
14 years 21 days ago
2004
Springer
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
UML
2004
Springer
14 years 21 days ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
WIOPT
2005
IEEE
14 years 28 days ago
2005
IEEE
Abstract— In this paper we investigate Radio Resource Management strategies for multimedia networks driven by economic aspects such as users’ utility and service pricing. To th...
FMOODS
2007
13 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
UAI
1997
13 years 8 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...