Sciweavers

3192 search results - page 1 / 639
» Translating Model Simulators to Analysis Models
Sort
View
26
Voted
FASE
2008
Springer
13 years 9 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
IPPS
2006
IEEE
14 years 1 months ago
Performance analysis of stochastic process algebra models using stochastic simulation
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...
QEST
2008
IEEE
14 years 1 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore
INFSOF
2006
158views more  INFSOF 2006»
13 years 7 months ago
DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
Ki Jung Hong, Tag Gon Kim
WSC
2001
13 years 8 months ago
Quantifying simulation output variability using confidence intervals and statistical process control
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
Amy Jo Naylor