Performance evaluation with temporal rewards

DOI10.1016/S0166-5316(02)00105-0MaRDI QIDQ4788446zbMATH OpenOpenAlexFDO

Authors J. P. M. Voeten

Publication date 21 January 2003

Published in Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/105173

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• scientific article; zbMATH DE number 1670870
• scientific article; zbMATH DE number 1946767
• Modelling and analysis of Markov reward automata
• Performability assessment by model checking of Markov reward models
• Specification techniques for Markov reward models

Cited in

(7)

• Compositionality for Markov Reward Chains with Fast Transitions
• Optimal incentives and the time dimension of performance measurement
• scientific article; zbMATH DE number 1884417 (Why is no real title available?)
• Performance model checking scenario-aware dataflow
• Eager Markov Chains
• An algebra-based method to associate rewards with EMPA terms
• State-space support for path-based reward variables

This page was built for publication: Performance evaluation with temporal rewards

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4788446)