Search
Now showing items 1-2 of 2
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2018)
This paper gives an example-driven introduction to modelling and analyzing virtualized systems in, e.g., cloud computing, using virtually timed ambients, a process algebra developed to study timing aspects of resource ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2018)
Nested virtualization enables a virtual machine, which is a software layer representing an execution environment, to be placed inside another virtual machine. Nested virtual machines form a location hierarchy where virtual ...