• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
Search 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • Search
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-2 of 2

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
An Analysis Tool for Models of Virtualized Systems 
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars (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 ...
Virtually timed ambients: A calculus of nested virtualization 
Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate (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 ...
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login

Discover

Date Issued
2018 (2)
Document TypeTidsskriftartikkel (2)AuthorJohnsen, Einar Broch (2)
Steffen, Martin (2)
Stumpf, Johanna Beate (2)
Tveito, Lars (1)Peer ReviewedPeer reviewed (2)
RSS Feeds
feedRSS 2.0
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy