English
Related papers

Related papers: Hailstorm : A Statically-Typed, Purely Functional …

200 papers

The Internet of Things (IoT) is growing fast. In 2018, there was approximately one connected device per person on earth and the number has been growing ever since. The devices interact with the environment via different modalities at the…

Programming Languages · Computer Science 2022-12-09 Mart Lubbers , Pieter Koopman , Rinus Plasmeijer

Easily programming behaviors is one major issue of a large and reconfigurable deployment in the Internet of Things. Such kind of devices often requires to externalize part of their behavior such as the sensing, the data aggregation or the…

Programming Languages · Computer Science 2015-07-31 Baptiste Maingret , Frédéric Le Mouël , Julien Ponge , Nicolas Stouls , Jian Cao , Yannick Loiseau

IoT application development usually involves separate programming at the device side and server side. While separate programming style is sufficient for many simple applications, it is not suitable for many complex applications that involve…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-01 Borui Li , Wei Dong

C is the lingua franca of programming and almost any device can be programmed using C. However, programming mod-ern heterogeneous architectures such as multi-core CPUs and GPUs requires explicitly expressing parallelism as well as…

Internet of Things (IoT) has gained widespread popularity, revolutionizing industries and daily life. However, it has also emerged as a prime target for attacks. Numerous efforts have been made to improve IoT security, and substantial IoT…

Cryptography and Security · Computer Science 2026-01-12 Ye Dong , Yan Lin Aung , Sudipta Chattopadhyay , Jianying Zhou

The extensive networking of devices and the large amount of data generated from the Internet of Things (IoT) has brought security issues to the attention of the researcher. Java is the most common platform for embedded applications such as…

Cryptography and Security · Computer Science 2020-11-23 Mahmoud Khalifa , Fahad Algarni , Mohammad Ayoub Khan , Azmat Ullah , Khalid Aloufic

The engineering of IoT (Internet of Things) systems brings about various challenges due to the inherent complexities associated with such adaptive systems. Addressing the adaptive nature of IoT systems in the early stages of the development…

Software Engineering · Computer Science 2022-12-05 Paul Boutot , Mirza Rehenuma Tabassum , Abdul Abedin , Sadaf Mustafiz

Advances in mobile computing capabilities and an increasing number of Internet of Things (IoT) devices have enriched the possibilities of the IoT but have also increased the cognitive load required of IoT users. Existing context-aware…

Computers and Society · Computer Science 2020-02-04 Jie Hua , Chenguang Liu , Tomasz Kalbarczyk , Catherine Wright , Gruia-Catalin Roman , Christine Julien

For effective use of edge computing in an IoT application, we need to partition the application into tasks and map them into the cloud, fog (edge server), device levels such that the resources at the different levels are optimally used to…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-06-25 Muthucumaru Maheswaran , Robert Wenger , Richard Olaniyan , Salman Memon , Olamilekan Fadahunsi , Richboy Echomgbe

The rapid development of Internet of Things (IoT) technology has transformed people's way of life and has a profound impact on both production and daily activities. However, with the rapid advancement of IoT technology, the security of IoT…

Cryptography and Security · Computer Science 2025-05-13 Mingfei Zeng , Ming Xie , Xixi Zheng , Chunhai Li , Chuan Zhang , Liehuang Zhu

Static Random Access Memory (SRAM) Physically Unclonable Functions (PUFs) make use of intrinsic manufacturing variations in memory cells to derive device-unique responses. Employing such hardware-rooted fingerprints for authentication, this…

Cryptography and Security · Computer Science 2026-04-20 Florian Lehn , Pascal Ahr , Hans D. Schotten

The automation of High-Level Context (HLC) reasoning across intelligent systems at scale is imperative because of the unceasing accumulation of contextual data, the trend of the fusion of data from multiple sources (e.g., sensors,…

Artificial Intelligence · Computer Science 2024-11-11 Songhui Yue , Xiaoyan Hong , Randy K. Smith

Smart home IoT platforms such as openHAB rely on Trigger Action Condition (TAC) rules to automate device behavior, but the interplay among these rules can give rise to interaction threats, unintended or unsafe behaviors emerging from…

Cryptography and Security · Computer Science 2026-01-05 Jason Quantrill , Noura Khajehnouri , Zihan Guo , Manar H. Alalfi

With the rise of popular task automation or IoT platforms such as 'If This Then That (IFTTT)', users can define rules to enable interactions between smart devices in their environment and thereby improve their daily lives. However, the…

Human-Computer Interaction · Computer Science 2023-10-24 Ekene Attoh , Beat Signer

Virtualization is the abstraction of details. Algorithms and programming languages provide abstraction, too. Virtualization of hardware and embedded systems is becoming more and more important in heterogeneous environments and networks,…

Hardware Architecture · Computer Science 2023-02-07 Stefan Bosse

IoT applications usually rely on cloud computing services to perform data analysis such as filtering, aggregation, classification, pattern detection, and prediction. When applied to specific domains, the IoT needs to deal with unique…

Signal Processing · Electrical Eng. & Systems 2022-05-09 Márcio Miguel Gomes , Rodrigo da Rosa Righi , Cristiano André da Costa , Dalvan Griebler

We introduce IsalProgram (Instruction Set and Language for Programming), a novel assembly-like programming language with three distinctive theoretical properties: (1) it is a regular language in the sense of formal language theory, meaning…

Programming Languages · Computer Science 2026-05-19 Ezequiel López-Rubio

Energy-harvesting-powered computing offers intriguing and vast opportunities to dramatically transform the landscape of the Internet of Things (IoT) devices by utilizing ambient sources of energy to achieve battery-free computing. In order…

Emerging Technologies · Computer Science 2019-04-25 Arman Roohi , Ronald F DeMara

High-Level Synthesis allows hardware designers to create complex RTL designs using C/C++. The traditional HLS workflow involves iterations of C/C++ simulation for partial functional verification and HLS synthesis for coarse timing…

Performance · Computer Science 2023-04-25 Rishov Sarkar , Cong Hao

While lots of research has been conducted on the architecture of Industrial Internet of Things (IIoT) systems, concepts of structuring their development processes are missing. Therefore, we propose a holistic approach supporting…

Systems and Control · Electrical Eng. & Systems 2022-12-07 Tilman Klaeger , Konstantin Merker
‹ Prev 1 2 3 10 Next ›