Sciweavers

1816 search results - page 34 / 364
» Case study in modeling and simulation validation methodology
Sort
View
ICST
2009
IEEE
14 years 7 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
78
Voted
ICCAL
1989
15 years 1 months ago
Signal Constellation Design Tool: A Case Study in User Interface Synthesis
Signal constellation design is a major subtask of constructing an efficient communication system; it essentially entails trading-off error frequency against information throughput...
Gabriel Robins
ECOI
2008
84views more  ECOI 2008»
14 years 9 months ago
Towards a structured approach to building qualitative reasoning models and simulations
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
Bert Bredeweg, Paulo Salles, Anders Bouwer, Jochem...
ENVSOFT
2011
134views more  ENVSOFT 2011»
14 years 4 months ago
Modelling and simulation of a jet fan for controlled air flow in large enclosures
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
B. J. M. v. d. Giesen, S. H. A. Penders, M. G. L. ...
69
Voted
WSC
2004
14 years 11 months ago
An Efficient Screening Methodology for a Priori Assessed Non-Influential Factors
The choice of which factors to choose to vary in a simulation to effect a change in the measure of interest is difficult. Many factors are a priori judged not to effect the measur...
Thomas M. Cioppa