Sciweavers

77016 search results - page 148 / 15404
» Modeling
Sort
View
123
Voted
FCT
2007
Springer
15 years 9 months ago
A String-Based Model for Simple Gene Assembly
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...
Robert Brijder, Miika Langille, Ion Petre
ICSEA
2006
IEEE
15 years 9 months ago
Extracting Simulation Models from Complex Embedded Real-Time Systems
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
Johan Andersson, Joel Huselius, Christer Norstr&ou...
128
Voted
ISSRE
2006
IEEE
15 years 9 months ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...
QEST
2006
IEEE
15 years 9 months ago
Bound-Preserving Composition for Markov Reward Models
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
David Daly, Peter Buchholz, William H. Sanders
CAISE
2005
Springer
15 years 9 months ago
Ontological Modelling of Information Systems from Bunge's Contributions
The aim of this paper is to determine aspects to be considered in Bunge’s ontological models in order to obtain an Integrated Ontological Model of Information Systems (IOMIS). Th...
Susana I. Herrera, Diana Pallioto, Gregorio N. Tka...
« Prev « First page 148 / 15404 Last » Next »