Blar i Institutt for datateknologi, elektroteknologi og realfag på tittel
Viser treff 730-749 av 1160
-
Model checking starvation for resource-aware active objects with coloured petri nets
(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 ... -
Model Railway Control using Collaborating Processing Units
(Bachelor thesis, 2023) -
Model Repair with Quality-Based Reinforcement Learning
(Journal article; Peer reviewed, 2020)Domain modeling is a core activity in Model-Driven Engineering, and these models must be correct. A large number of artifacts may be constructed on top of these domain models, such as instance models, transformations, and ... -
Model-based development for MAC protocols in industrial wireless sensor networks
(Peer reviewed; Journal article, 2016)Model-Driven Software Engineering (MDSE) is an approach for design and implementation of software applications, that can be applied across multiple domains. The advantages include rapid prototyping and implementation, along ... -
Model-based software testing for distributed systems and protocols
(Doctoral thesis, 2020)Society is increasingly dependent on fault-tolerant cloud-based services which rely on the correctness and reliability of advanced distributed software systems and consensus protocols. The implementations of these systems ... -
Model-based verification of the DMAMAC protocol for real-time process control
(Peer reviewed; Journal article, 2015)Medium Access Control (MAC) protocols are responsible for managing radio communication that constitute the main energy consumer in wireless sensor-actuator networks. The Dual-Mode Adaptive MAC (DMAMAC) protocol is a recently ... -
Model-Driven Automatic Question Generation for a Gamified Clinical Guideline Training System
(Peer reviewed; Journal article, 2020)Clinical practice guidelines (CPGs) are a cornerstone of modern medical practice since they summarize the vast medical literature and provide care recommendations based on the current best evidence. However, there are ... -
Modellering av skinneffekt under DC kortslutning
(Bachelor thesis, 2022) -
Modellering og analyse av drift med jordfeil i undervanns kraftsystem
(Bachelor thesis, 2023) -
Modellering og optimalisering av 3D-modeller med minst mulig tap av kvalitet
(Bachelor thesis, 2022) -
Modelling the Optimal Link Length in Wireless Sensor Networks for Two Different Media Access Protocols
(Peer reviewed; Journal article, 2015) -
Monitorization dashboard
(Bachelor thesis, 2021) -
Monojet signatures from gluino and squark decays
(Peer reviewed; Journal article, 2022)We study the monojet and dijet channels at the LHC as a tool for searching for squarks and gluinos. We consider two separate R-parity conserving supersymmetric scenarios. In the first scenario we postulate a large mass ... -
Morphological evolution of carnation flower-like Cu2CoSnS4 battery-type electrodes
(Peer reviewed; Journal article, 2022)Transition metal sulfides are the most reliable type of battery electrode material for supercapacitors. Herein, the morphological evolution of Cu2CoSnS4 has been enhanced with different time-varied temperature processes ... -
Morphological evolution of carnation flower-like Cu<inf>2</inf>CoSnS<inf>4</inf> battery-type electrodes
(Peer reviewed; Journal article, 2022)Transition metal sulfides are the most reliable type of battery electrode material for supercapacitors. Herein, the morphological evolution of Cu2CoSnS4 has been enhanced with different time-varied temperature processes ... -
Mulige løsninger for distribusjon og lagring av energi for Utsira Nord
(Bachelor thesis, 2021) -
MultEcore: Combining the best of fixed-level and multilevel metamodelling
(Peer reviewed; Journal article, 2016)Mainstream metamodelling approaches based on the OMG standards, such as EMF, have a fixed number of modelling levels. Despite their partial acceptance in industry, limitations on the number of levels has led to problems ... -
Multi-aspect detection and classification with multi-feed dynamic frame skipping in vehicle of internet things
(Peer reviewed; Journal article, 2022)Consumer demand for automobiles is changing because of the vehicle’s dependability and utility, and the superb design and high comfort make the vehicle a wealthy object class. The creation of object classes necessitates ... -
Multi-Model Evolution through Model Repair
(Journal article; Peer reviewed, 2021)Design and development of complex software systems usually comprises multiple inter-related models, i.e. abstract representations of certain aspects of the underlying system. The relations between these models induce global ... -
Multi-Network Vulnerability Causal Model for Infrastructure Co-Resilience
(Journal article; Peer reviewed, 2019)Resilience is mostly considered as a single-dimension attribute of a system. Most of the recent works on resilience treat it as a single-dimension attribute of a system or study the different dimensions of the resilience ...