Browsing NTNU Open by Author "Owe, Olaf"
Now showing items 1-2 of 2
-
A Framework for Flexible Program Evolution and Verification of Distributed Systems
Owe, Olaf; Fazeldehkordi, Elahe; Lin, Jia-Chun (Peer reviewed; Journal article, 2020)Program evolution may reveal bad design decisions, misunderstandings, erroneous code, or erroneous specifications, because problems made early in the design of a system may not be discovered until much later in the life-time ... -
PDS: Deduce Elder Privacy from Smart Homes
Lee, Ming-Chang; Lin, Jia-Chun; Owe, Olaf (Peer reviewed; Journal article, 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 ...