31 – 40 of 132
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
-
Mark
Model Checking a Self-Adaptive Camera Network with Physical Disturbances
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SimCA∗ : A control-theoretic approach to handle uncertainty in self-adaptive systems with guarantees
(
- Contribution to journal › Article
-
Mark
Self-adaptation of software using automatically generated control-theoretical solutions
2019) p.35-55(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Minimizing Side-Channel Attack Vulnerability Via Schedule Randomization
2019) p.2928-2933(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
Control-Theoretical Software Adaptation: A Systematic Literature Review
(
- Contribution to journal › Article
-
Mark
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Cloud Application Predictability through Integrated Load-Balancing and Service Time Control
2018) 15th IEEE International Conference on Autonomic Computing(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Camera networks dimensioning and scheduling with quasi worst-case transmission time
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding