Sciweavers

16606 search results - page 243 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
WSC
2000
15 years 5 months ago
Practical aspects of simulating systems having arrival processes with long-range dependence
Analysis of network traffic indicates that packet arrival processes have significant stochastic dependence. It has been suggested that this dependence is so strong as to be wellmo...
Robert Geist, James Westall
HYBRID
2001
Springer
15 years 9 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
WSC
2007
15 years 6 months ago
Organising insights into simulation practice
Developments in simulation methodology have been so successful that simulation methods are used in many different domains, and many of these applications are based on discrete eve...
Michael Pidd, Stewart Robinson
WSC
2007
15 years 6 months ago
Statistical analysis of simulation output data: the practical state of the art
One of the most important but neglected aspects of a simulation study is the proper design and analysis of simulation experiments. In this tutorial we give a stateof-the-art prese...
Averill M. Law
WSC
2000
15 years 5 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März