9051 search results - page 106 / 1811 » On detectability of stochastic systems |
177
click to vote
WSC
2004
15 years 8 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
189
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Determining the position of breaks in a sentence is a key task for a text-to-speech (TTS) system. We describe some methods for phrase break prediction in which the whole sentence ...
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
160
click to vote
JSS
2007
15 years 6 months ago
2007
The paper presents a method to compute performance metrics (response time, sojourn time, throughput) on Unified Modeling Language design. The method starts with UML design annota...
167
click to vote
HCW
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...