Sciweavers

5414 search results - page 236 / 1083
» Exploratory Model Building
Sort
View
DATE
2004
IEEE
117views Hardware» more  DATE 2004»
15 years 10 months ago
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierr...
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
2004
15 years 8 months ago
Modeling a Garment Manufacturer's Cash Flow Using Object-Oriented Simulation
Garment manufacturers usually work with a short vision of the demand to come in the following months. So they want to borrow as little as possible while still making a good profit...
José A. Sepúlveda, Haluk M. Akin
WSC
1997
15 years 8 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
WOA
2007
15 years 7 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...