Local consistency restoration methods for triple graph grammars
L Fritsche - 2022 - tuprints.ulb.tu-darmstadt.de
Modern software systems are becoming increasingly complex and are created by different
stakeholders that commit to one vision. Yet, these stakeholders differ in their requirements …
stakeholders that commit to one vision. Yet, these stakeholders differ in their requirements …
Formal foundations for information-preserving model synchronization processes based on triple graph grammars
J Kosiol - 2022 - archiv.ub.uni-marburg.de
Restoring consistency between different information-sharing artifacts after one of them has
been changed is an important problem that arises in several areas of computer science. In …
been changed is an important problem that arises in several areas of computer science. In …
Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques
Virtualization technology allows service providers to operate data centers in a cost-effective
and scalable manner. The data center network (substrate network) and the applications …
and scalable manner. The data center network (substrate network) and the applications …
Virtual network embedding: reducing the search space by model transformation techniques
Virtualization is a promising technology to enhance the scalability and utilization of data
centers for managing, develo**, and operating network functions. Furthermore, it allows to …
centers for managing, develo**, and operating network functions. Furthermore, it allows to …
[PDF][PDF] Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques.
S Tomaszek, L Fritsche, A Schürr - J. Object Technol., 2020 - jot.fm
Network virtualization enables flexible placement, migration, and execution of virtual
networks and machines on physical hardware. This results in an NP-hard optimization …
networks and machines on physical hardware. This results in an NP-hard optimization …
[PDF][PDF] Modellbasierte Einbettung von virtuellen Netzwerken in Rechenzentren
S Tomaszek - 2021 - tuprints.ulb.tu-darmstadt.de
Die Virtualisierung von Netzwerkumgebungen stellt für Rechenzentren eine
Kerntechnologie zum kostengünstigen und skalierbaren Betrieb der Hardware dar und …
Kerntechnologie zum kostengünstigen und skalierbaren Betrieb der Hardware dar und …
Graph-Based Specification and Automated Construction of ILP Problems
In the Model-Driven Software Engineering (MDSE) community, the combination of
techniques operating on graph-based models (eg, Pattern Matching (PM) and Graph …
techniques operating on graph-based models (eg, Pattern Matching (PM) and Graph …
A Data-centric Model Transformation Approach using Model2GraphFrame Transformations
Data-centric (Dc) approaches are being used for data processing in several application
domains, such as distributed systems, natural language processing, and others. There are …
domains, such as distributed systems, natural language processing, and others. There are …
A survey of approaches for QoS guarantee measurement of virtual machines in cloud computing environment
J HAO, B ZHANG, K YUE - Journal of Yunnan University: Natural …, 2018 - yndxxb.ynu.edu.cn
Cloud computing is a pay-as-you-go resource usage schema. It provides the quality of
service (QoS) guaranteed computing, storage and the network resources via the …
service (QoS) guaranteed computing, storage and the network resources via the …
云计算环境下虚拟机服务质量保证和评估方法: 研究综述
郝佳, 张彬彬, 岳昆 - 云南大学学报 (自然科学版), 2018 - yndxxb.ynu.edu.cn
云计算是一种按需付费的资源使用模式. 它通过虚拟化技术, 向用户提供具有服务质量保证的
计算, 存储以及网络资源. 然而, 与物理服务器相比, 虚拟化环境的特点使得虚拟机的服务质量 …
计算, 存储以及网络资源. 然而, 与物理服务器相比, 虚拟化环境的特点使得虚拟机的服务质量 …