Sciweavers

2055 search results - page 109 / 411
» Generic Model Refactorings
Sort
View
UML
2005
Springer
15 years 7 months ago
Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
Hiroshi Wada, Jun Suzuki
ICAS
2006
IEEE
103views Robotics» more  ICAS 2006»
15 years 7 months ago
Model Driven capabilities of the DA-GRS model
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...
Arnaud Casteigts
99
Voted
KRMED
2004
15 years 3 months ago
Symbolic modeling of structural relationships in the Foundational Model of Anatomy
The need for a sharable resource that can provide deep anatomical knowledge and support inference for biomedical applications has recently been the driving force in the creation o...
José L. V. Mejino Jr., Cornelius Rosse
UM
2005
Springer
15 years 7 months ago
User Modeling in a Distributed E-Learning Architecture
Abstract: This paper is focused on user modeling and adaptation in distributed ELearning systems. We describe here CUMULATE, a generic student modeling server developed for a distr...
Peter Brusilovsky, Sergey A. Sosnovsky, Olena Shch...
85
Voted
AML
2010
102views more  AML 2010»
15 years 1 months ago
Kripke models for subtheories of CZF
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
Rosalie Iemhoff