41 – 50 of 131
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2018
-
Mark
Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges in high performance big data frameworks
2018) 16th International Conference on High Performance Computing and Simulation, HPCS 2018 p.153-156(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Game-theoretic network bandwidth distribution for self-adaptive cameras
(
- Contribution to journal › Article
- 2017
-
Mark
Control strategies for self-adaptive software systems
(
- Contribution to journal › Scientific review
-
Mark
KPI-agnostic Control for Fine-Grained Vertical Elasticity
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Reference Scenarios for Self-aware Computing
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Self-adaptation for Individual Self-aware Computing Systems
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Metrics and Benchmarks for Self-aware Computing Systems
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Run-Time Models for Online Performance and Resource Management in Data Centers
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Self-awareness of Cloud Applications
2017)(
- Chapter in Book/Report/Conference proceeding › Book chapter