Browsing HVL Open by Author "Kristensen, Lars Michael"
Now showing items 21-24 of 24
-
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform
Heldal, Rogardt; Kristensen, Lars Michael; Lima, Keila; Oyetoyan, Tosin Daniel; Nguyen, Ngoc Thanh (Peer reviewed; Journal article, 2023)We present the Coloured Petri Nets (CPNs) modelling of the SmartOcean platform currently under development and aimed at providing cloud-based services for data-driven software systems and applications relying on marine ... -
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol
Kristensen, Lars Michael; Veiset, Vegard (Peer reviewed; Journal article, 2013) -
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 ... -
Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services
Stokkenes, Sindre; Strand, Ruben Dobler; Kristensen, Lars Michael; Log, Torgrim (Journal article; Peer reviewed, 2021)The high and dense representation of wooden homes in Norway, combined with periods of dry and cold climate during the winter season resulting in very dry indoor conditions, have historically resulted in severe fires. Thus, ...