4962 search results - page 401 / 993 » Stochastic Model Checking |
134
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
A probabilistic scheduling model for software projects is presented. The model explicitly takes a scheduling strategy as input. When the scheduling strategy is fixed, the model ou...
128
Voted
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
150
Voted
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
98
Voted
COLING
2000
15 years 5 months ago
2000
In this paper we present an integrated system for tagging and chunking texts from a certain language. The approach is based on stochastic finite-state models that are learnt autom...
129
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We propose a model which can be jointly calibrated to the corporate bond term structure and equity option volatility surface of the same company. Our purpose is to obtain explicit...