Sciweavers

6650 search results - page 235 / 1330
» models 2009
Sort
View
MODELS
2009
Springer
16 years 1 months ago
An Incremental Algorithm for High-Performance Runtime Model Consistency
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
Christopher Wolfe, T. C. Nicholas Graham, W. Greg ...
MODELS
2009
Springer
16 years 1 months ago
Generic Model Refactorings
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
Naouel Moha, Vincent Mahé, Olivier Barais, ...
ICST
2009
IEEE
15 years 4 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ICML
2009
IEEE
16 years 7 months ago
ABC-boost: adaptive base class boost for multi-class classification
We propose abc-boost (adaptive base class boost) for multi-class classification and present abc-mart, an implementation of abcboost, based on the multinomial logit model. The key ...
Ping Li
MODELS
2009
Springer
15 years 11 months ago
SLIM - A Lightweight Environment for Synchronous Collaborative Modeling
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
Christian Thum, Michael Schwind, Martin Schader