Blar i Institutt for datateknologi, elektroteknologi og realfag på forfatter "Yu, Ingrid Chieh"

Viser treff 1-3 av 3

    • A Diagrammatic Approach to Model Completion 

      Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh; Kristensen, Lars Michael (Peer reviewed; Journal article, 2015)

    • Model checking starvation for resource-aware active objects with coloured petri nets 

      Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh (Peer reviewed; Journal article, 2020)
      Dynamic resource provisioning is an important driver for pay-on-demand cloud computing. Virtualized resources open for resource awareness, such that applications may use resource management strategies to modify their ...

    • Using coloured Petri nets for resource analysis of active objects 

      Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael; Yu, Ingrid Chieh (Journal article; Peer reviewed, 2018)
      Pay-on-demand resource provisioning is an important driver for cloud computing. Virtualized resources in cloud computing open for resource awareness, such that applications may contain resource management strategies to ...