Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering 2011
DOI: 10.1145/2025113.2025176
|View full text |Cite
|
Sign up to set email alerts
|

QoS verification and model tuning @ runtime

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2022
2022
2022
2022

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 20 publications
0
1
0
Order By: Relevance
“…In [12] a MAPE specification language is extended with annotations to allow for the evaluation of adaptation costs such as latency. Additionally, Filieri [6] proposes an approach for run-time efficient verification of nonfunctional properties and gives outlook of future improvements by mentioning the addition of reward models for supporting cost metrics. This thesis proposes to use annotated feature models to allow the modelling of different systems and potential costs during a reconfiguration in a consistent and reproducible manner.…”
Section: Related Workmentioning
confidence: 99%
“…In [12] a MAPE specification language is extended with annotations to allow for the evaluation of adaptation costs such as latency. Additionally, Filieri [6] proposes an approach for run-time efficient verification of nonfunctional properties and gives outlook of future improvements by mentioning the addition of reward models for supporting cost metrics. This thesis proposes to use annotated feature models to allow the modelling of different systems and potential costs during a reconfiguration in a consistent and reproducible manner.…”
Section: Related Workmentioning
confidence: 99%