Results 41 to 50 of about 17,726 (166)

A Calculus of Cyber-Physical Systems [PDF]

, 2017
We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPS{s}). The dynamics of the calculus is expressed in terms of a labelled transition system in the SOS style of Plotkin. This is used to define a bisimulation-based behavioural semantics which support compositional reasonings.
Lanotte, Ruggero, MERRO, Massimo
openaire   +2 more sources

CYBER PHYSICAL SYSTEMS FOR HEALTHCARE

International Journal of Advanced Research, 2018
In the modern world, Cyber Physical Systems (CPS) can be considered as a new generation of systems with integrated control, communication and computational capabilities. Just as the Internet has transformed, how people interact with each other, cyber physical systems will transform the interaction of people with the physical world. Currently, the study
Md. Obaidur Rahaman, Abusaleh Shuvo, M. Abul Kashem.   +2 more
openaire   +2 more sources

Causality for Cyber-Physical Systems

CoRR
We present a formal theory for analysing causality in cyber-physical systems. To this end, we extend the theory of actual causality by Halpern and Pearl to cope with the continuous nature of cyber-physical systems. Based on our theory, we develop an analysis technique that is used to uncover the causes for examples of failures resulting from ...
Hugo Araújo, Hana Chockler, Mohammad Reza Mousavi 0001, Gustavo Carvalho, Augusto Sampaio 0001   +4 more
openaire   +2 more sources

Gardening Cyber-Physical Systems [PDF]

, 2012
Today's artefacts, from small devices to buildings and cities, are, or are becoming, cyber-physical socio-technical systems, with tightly interwoven material and computational parts. Currently, we have to laboriously build such systems, component by component, and the results are often difficult to maintain, adapt, and reconfigure.
Susan Stepney, Ada Diaconescu, René Doursat, Jean-Louis Giavitto, Taras Kowaliw, Ottoline Leyser, Bruce J. MacLennan, Olivier Michel 0001, Julian F. Miller, Igor Nikolic, Antoine Spicher, Christof Teuscher, Gunnar Tufte, Francisco J. Vico, Lidia Yamamoto   +14 more
openaire   +2 more sources

Precise realtime current consumption measurement in IoT TestBed [version 2; peer review: 1 approved, 2 approved with reservations]

Open Research Europe
Background The Internet of Things, similar to wireless sensor networks, has been integrated into the daily life of almost everyone. These wearable, stationary, or mobile devices are in multiple locations, collecting data or monitoring and executing ...
Janis Judvaitis, Rihards Balass, Andris Ivars Mackus, Vladislavs Medvedevs, Armands Ancans, Juris Ormanis   +5 more
doaj   +1 more source

Monetization of Services Provided by Public Fog Nodes Using Blockchain and Smart Contracts

IEEE Access, 2020
Public fog nodes can be deployed in public places closer to the edge where many personal and commercial devices (e.g., a sensor, an application, or a device) can connect to.
Mazin Debe, Khaled Salah, Muhammad Habib Ur Rehman, Davor Svetinovic   +3 more
doaj   +1 more source

Watermarking for Social Networks Images With Improved Robustness Through Polar Codes

IEEE Access
Protecting ownership of digital content is challenging in today’s online world, especially when sharing content through social networks and instant messengers.
Oleg Evsutin, Fedor Ivanov, Kristina Dzhanashia   +2 more
doaj   +1 more source

Doping Tests for Cyber-physical Systems [PDF]

ACM Transactions on Modeling and Computer Simulation, 2019
The software running in embedded or cyber-physical systems is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doing. Most malfunctionings of such systems are not intended by the manufacturer, but some are, which means these cannot be classified as bugs or security loopholes.
Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns   +2 more
openaire   +3 more sources

Deriving Quantitative Metrics to Assess Social Engineering Attack Risks: An Expert Survey

IEEE Access
Social engineering attacks are one of the biggest security threats IT organizations are facing today. To protect themselves against IT risks, organizations typically use quantitative assessment frameworks to identify the biggest risks they face and ...
Daniel Rosenberger, Patrick Wohlgemuth, Alexander Jesser   +2 more
doaj   +1 more source

Users’ experience with health-related content on YouTube: an exploratory study

BMC Public Health
Background This study focuses on health-related content (HRC) on YouTube and addresses the issue of misinformation on this platform. While previous research centered on content evaluations by experts, this study takes a user-centered approach and aims to
Fatma Mohamed, Abdulhadi Shoufan
doaj   +1 more source