Sciweavers

10790 search results - page 135 / 2158
» Using feature models to automate model transformations
Sort
View
AAAI
1998
15 years 6 months ago
A New Architecture for Automated Modelling
Existingautomatedmodellingsystemseitherrely on large, complexlibrariesor requirecompleteaccessto the modelledsystem'sbehaviour,neitherof whichis desirable,To addresstheseprob...
Neil Smith
156
Voted
AES
2008
Springer
182views Cryptology» more  AES 2008»
15 years 5 months ago
Logical product models for automated scripting of process-level construction animations
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
Vineet R. Kamat
131
Voted
IPPS
2000
IEEE
15 years 9 months ago
Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion
In this paper we develop a variant of a previously proposed method the regenerative randomization method for the transient analysis of dependability performability models. The va...
Juan A. Carrasco
ICFEM
2009
Springer
15 years 11 months ago
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
Maximiliano Cristiá, Pablo Rodríguez...
133
Voted
WSC
2008
15 years 7 months ago
Automating the development of Shipyard manufacturing models
Simulation results are often needed within a short time frame, while the development of simulation models can be time consuming. We develop a methodology to facilitate rapid gener...
Gabriel A. Burnett, Deborah J. Medeiros, Daniel A....