Sciweavers

3192 search results - page 1 / 639
» Translating Model Simulators to Analysis Models
Sort
View
FASE
2008
Springer
13 years 6 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
13 years 10 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
13 years 10 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 4 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 5 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