13917 search results - page 239 / 2784 » Abstraction of Probabilistic Systems |
180
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
207
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Systems of ordinary differential equations (ODEs) are often used to model the dynamics of complex biological pathways. We construct a discrete state model as a probabilistic appro...
200
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
204
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
Data integration approaches mostly attempt to resolve semantic uncertainty and conflicts between data sources during the data integration process. In some application areas, this...
195
click to vote
IPCCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Currently, wireless priority services (WPS) are provided using call queueing with a weighted round-robin schedule based on a fixed parameter. In this paper, we introduce a flexi...