Zobrazeno 1 - 10
of 176
pro vyhledávání: '"Owe, Olaf"'
Autor:
Duguma, Daniel Gerbi, Zhang, Juliana, Aboutalebi, Meysam, Zhang, Shiliang, Banet, Catherine, Bjørkli, Cato, Baramashetru, Chinmayi, Eliassen, Frank, Zhang, Hui, Muringani, Jonathan, Noll, Josef, Fostervold, Knut Inge, Böcker, Lars, Bygrave, Lee Andrew, Bagherpour, Matin, Moghadam, Maunya Doroudi, Owe, Olaf, Sengupta, Poushali, Vitenberg, Roman, Maharjan, Sabita, Garrett, Thiago, Li, Yushuai, Shan, Zhengyu
This manuscript aims to formalize and conclude the discussions initiated during the PriTEM workshop 22-23 March 2023. We present important ideas and discussion topics in the context of transactive energy systems. Moreover, the conclusions from the di
Externí odkaz:
http://arxiv.org/abs/2312.11564
This paper introduces a run-time mechanism for preventing leakage of secure information in distributed systems. We consider a general concurrency language model, where concurrent objects interact by asynchronous method calls and futures. The aim is t
Externí odkaz:
http://arxiv.org/abs/2002.10900
Publikováno v:
Internet of Things, 7, 1000072, 2019
With the development of IoT technologies in the past few years, a wide range of smart devices are deployed in a variety of environments aiming to improve the quality of human life in a cost efficient way. Due to the increasingly serious aging problem
Externí odkaz:
http://arxiv.org/abs/2001.08099
Recently, a wide range of smart devices are deployed in a variety of environments to improve the quality of human life. One of the important IoT-based applications is smart homes for healthcare, especially for elders. IoT-based smart homes enable eld
Externí odkaz:
http://arxiv.org/abs/1808.07379
Publikováno v:
In Information Sciences November 2022 616:558-576
Publikováno v:
In Journal of Systems Architecture August 2022 129
Autor:
Owe, Olaf, Fazeldehkordi, Elahe
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2022 127
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2022 125
Autor:
Johansen, Christian, Owe, Olaf
We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an
Externí odkaz:
http://arxiv.org/abs/1612.00666