-
1
Dynamic Choreographies: Theory And Implementation
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
Microservice security: a systematic literature review
Veröffentlicht in PeerJ. Computer science
VolltextArtikel -
3
-
4
Constraints meet concurrency
Veröffentlicht in Constraints : an international journal
VolltextArtikel -
5
On the Evaluation of (Meta-)solver Approaches
Veröffentlicht in The Journal of artificial intelligence research
VolltextArtikel -
6
-
7
sunny-as2: Enhancing SUNNY for Algorithm Selection
Veröffentlicht in The Journal of artificial intelligence research
VolltextArtikel -
8
Aeolus: A component model for the cloud
Veröffentlicht in Information and computation
VolltextArtikel -
9
-
10
-
11
-
12
-
13
Formally Verifying Function Scheduling Properties in Serverless Applications
Veröffentlicht in IT professional
VolltextArtikel -
14
SUNNY: a Lazy Portfolio Approach for Constraint Solving
Veröffentlicht in Theory and practice of logic programming
VolltextArtikel -
15
-
16
Virtualization Costs: Benchmarking Containers and Virtual Machines Against Bare-Metal
Veröffentlicht in SN computer science
VolltextArtikel -
17
SUNNY-CP and the MiniZinc challenge
Veröffentlicht in Theory and practice of logic programming
VolltextArtikel -
18
Context-aware reconfiguration in evolving software product lines
Veröffentlicht in Science of computer programming
VolltextArtikel -
19
-
20