Autor der Publikation

Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS.

, , und . ICFEM, Volume 7635 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Scalable End-User Access to Big Data, , , , , , , , , und 6 andere Autor(en). Big Data Computing, CRC Press, (2013)Integrating deployment architectures and resource consumption in timed object-oriented models., , und . J. Log. Algebraic Methods Program., 84 (1): 67-91 (2015)The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems., , , , , und . Int. J. Softw. Tools Technol. Transf., 14 (5): 567-588 (2012)Emerging Challenges in Compositionality and Correctness for Digital Twins., , , , , , und . FMDT@FM, Volume 3507 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Modeling Application-Level Management of Virtualized Resources in ABS., , und . FMCO, Volume 7542 von Lecture Notes in Computer Science, Seite 89-108. Springer, (2011)Validating Timed Models of Deployment Components with Parametric Concurrency., , , und . FoVeOOS, Volume 6528 von Lecture Notes in Computer Science, Seite 46-60. Springer, (2010)A Note on Idleness Detection of Actor Systems.. The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 437-445. Springer, (2022)Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins., , , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 188-204. Springer, (2022)Designing Distributed Control with Hybrid Active Objects., , , und . ISoLA (4), Volume 12479 von Lecture Notes in Computer Science, Seite 88-108. Springer, (2020)Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS., , und . ICFEM, Volume 7635 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2012)