Sciweavers

3435 search results - page 180 / 687
» Aspect Model Unweaving
Sort
View
FDL
2006
IEEE
15 years 10 months ago
Verification-Oriented Behavioral Modeling of Non-Linear Analog
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
Martin Freibothe, Jens Doege, Torsten Coym, Stefan...
DSVIS
1995
Springer
15 years 10 months ago
On the Expression of Interaction Properties within an Interactor Model
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
Panos Markopoulos
WSC
2008
15 years 8 months ago
A simulation model for intensive piglet production systems
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
Lluis Miguel Pla Aragones, Virginia Flores Marias,...
SPLC
2004
15 years 7 months ago
COVAMOF: A Framework for Modeling Variability in Software Product Families
A key aspect of variability management in software product families is the explicit representation of the variability. Experiences at several industrial software development compan...
Marco Sinnema, Sybren Deelstra, Jos Nijhuis, Jan B...
WSC
1997
15 years 7 months ago
The Four Phase Method for Modelling Complex Systems
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
Hamad I. Odhabi, Ray J. Paul, Robert D. Macredie