Proactive self-adaptation under uncertainty: a probabilistic model checking approach-Reference-Cited by-同舟云学术

Proactive self-adaptation under uncertainty: a probabilistic model checking approach

Published:2015-08-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
language:
Short-container-title:

Author:

Moreno Gabriel A.¹,Cámara Javier²,Garlan David²,Schmerl Bradley²

Affiliation:

1. SEI, USA

2. Carnegie Mellon University, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2786805.2786853

Reference47 articles.

1. HAProxy: the reliable high performance TCP/HTTP load balancer. http://www.haproxy.org/. HAProxy: the reliable high performance TCP/HTTP load balancer. http://www.haproxy.org/.

2. RUBiS: Rice University Bidding System. http://rubis.ow2.org/. RUBiS: Rice University Bidding System. http://rubis.ow2.org/.

3. Lecture Notes in Computer Science;Andova S.

4. A workload characterization study of the 1998 World Cup Web site

5. A cost model for autonomic reconfigurations in high-performance pervasive applications

Cited by 137 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reliable proactive adaptation via prediction fusion and extended stochastic model predictive control;Journal of Systems and Software;2024-11

2. Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework;ACM Transactions on Autonomous and Adaptive Systems;2024-09-13

3. Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap;ACM Transactions on Autonomous and Adaptive Systems;2024-08-20

4. Active Monitoring Mechanism for Control-Based Self-Adaptive Systems;Proceedings of the ACM on Software Engineering;2024-07-12

5. Customizable and adaptable middleware of things;International Journal of Communication Systems;2024-06-27