Search Sciweavers | Sciweavers

14336 search results - page 317 / 2868

» Analytical simulation modeling

158

click to vote

TAMC
2009
Springer

104views Applied Computing» more TAMC 2009»

Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces

16 years 1 months ago

Download ls10-ftp.cs.uni-dortmund.de

We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...

Ernst-Erich Doberkat

claim paper

Read More »

177

click to vote

PRDC
1999
IEEE

128views Applied Computing» more PRDC 1999»

An Architecture-Based Software Reliability Model

15 years 11 months ago

Download www.engr.uconn.edu

In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...

Wen-Li Wang, Ye Wu, Mei-Hwa Chen

claim paper

Read More »

177

Voted

WSC
2008

145views Modeling And Simulation» more WSC 2008»

Simulation of unit loading device inventory in airline operations

15 years 9 months ago

Download www.informs-sim.org

Commercial airlines often encounter imbalances in their inventory of unit loading devices (ULDs). A stochastic simulation model was developed to evaluate inventory policies. The s...

Chatabush Roongrat, Jay M. Rosenberger, Brian Huff

claim paper

Read More »

199

click to vote

ECCE
2007

183views Human Computer Interaction» more ECCE 2007»

A cognitive simulation model for novice text entry on cell phone keypads

15 years 10 months ago