502 search results - page 69 / 101 » Model Checking Timed Systems with Priorities |
141
Voted
JSSPP
2005
Springer
15 years 8 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
150
Voted
MONET
2002
15 years 2 months ago
2002
This paper describes a framework for selecting the optimal call mix to be admitted while employing a bandwidth degradation policy in a wireless cellular network. The optimal proper...
161
Voted
CORR
2009
Springer
15 years 16 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
124
click to vote
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
145
Voted
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...