3199 search results - page 144 / 640 » Variability in Automation System Models |
121
click to vote
CAV
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
128
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
138
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Word discovery is the task of discovering and collecting occurrences of repeating words in the absence of prior acoustic and linguistic knowledge, or training material. The capabi...
106
click to vote
WSC
1997
15 years 3 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...
116
click to vote
WSC
1998
15 years 3 months ago
1998
This paper describes a simulation model of a large beverage distribution center. The brewery distribution center has a volume of 71,600 cubic meters and contains about 8,000 palle...