Sciweavers

173 search results - page 11 / 35
» Toward a Psycholinguistically-Motivated Model of Language Pr...
Sort
View
ENTCS
2006
168views more  ENTCS 2006»
14 years 9 months ago
Case Study: Model Transformations for Time-triggered Languages
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
Tivadar Szemethy
UM
2005
Springer
15 years 3 months ago
A Decomposition Model for the Layered Evaluation of Interactive Adaptive Systems
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
Alex Paramythis, Stephan Weibelzahl
MODELS
2009
Springer
15 years 4 months ago
Towards systematic ensuring well-formedness of software product lines
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
Florian Heidenreich
SYNASC
2005
IEEE
84views Algorithms» more  SYNASC 2005»
15 years 3 months ago
Membrane Computing as a Framework for Modeling Economic Processes
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
Gheorghe Paun, Radu A. Paun
ENTCS
2008
106views more  ENTCS 2008»
14 years 9 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai