7918 search results - page 445 / 1584 » Model Composition Directives |
187
click to vote
ISIPTA
2003
IEEE
16 years 3 days ago
2003
IEEE
We consider the statistical problem of analyzing the association between two categorical variables from cross-classified data. The focus is put on measures which enable one to st...
188
click to vote
SNPD
2008
15 years 8 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
180
click to vote
ANSS
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper Hidden Markov Model algorithms are considered as a method for computing conditional properties of continuous-time stochastic simulation models. The goal is to develo...
188
click to vote
IPPS
2005
IEEE
16 years 13 days ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
179
click to vote
WSC
2008
15 years 9 months ago
2008
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...