English
Related papers

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

200 papers

Securing the Internet of Things (IoT) is a necessary milestone toward expediting the deployment of its applications and services. In particular, the functionality of the IoT devices is extremely dependent on the reliability of their message…

Information Theory · Computer Science 2017-11-07 Aidin Ferdowsi , Walid Saad

The development of Cloud-Edge-IoT applications requires robust programming models. Existing models often struggle to manage the dynamic and stateful nature of these applications effectively. This paper introduces the Collaborative State…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-30 Marlon Etheredge , Thomas Fahringer , Felix Erlacher , Elias Kohler , Stefan Pedratscher , Juan Aznar-Poveda , Nishant Saurabh , Adrien Lebre

Securing Internet of Things (IoT) firmware remains difficult due to proprietary binaries, stripped symbols, heterogeneous architectures, and limited access to executable code. Existing analysis methods, such as static analysis, symbolic…

Cryptography and Security · Computer Science 2025-12-24 Saeid Jamshidi , Omar Abdul-Wahab , Martine Bellaïche , Foutse Khomh

High-Level Synthesis (HLS) is increasingly popular for hardware design using C/C++ instead of Register-Transfer Level (RTL). To express concurrent hardware behavior in a sequential language like C/C++, HLS tools introduce constructs such as…

Hardware Architecture · Computer Science 2025-08-28 Rishov Sarkar , Cong Hao

The Internet of Things (IoT) network integrating billions of smart physical devices embedded with sensors, software, and communication technologies is a critical and rapidly expanding component of our modern world. The IoT ecosystem…

Machine Learning · Computer Science 2024-07-16 Shentong Mo , Russ Salakhutdinov , Louis-Philippe Morency , Paul Pu Liang

The Internet of Things (IoT) presents a novel computing architecture for data management: a distributed, highly dynamic, and heterogeneous environment of massive scale. Applications for the IoT introduce new challenges for integrating the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-05 Steffen Zeuch , Ankit Chaudhary , Bonaventura Del Monte , Haralampos Gavriilidis , Dimitrios Giouroukis , Philipp M. Grulich , Sebastian Bress , Jonas Traub , Volker Markl

IoT devices are decentralized and deployed in un-stable environments, which causes them to be prone to various kinds of faults, such as device failure and network disruption. Yet, current IoT platforms require programmers to handle faults…

Software Engineering · Computer Science 2020-02-19 Michael Norris , Berkay Celik , Patrick McDaniel , Gang Tan , Prasanna Venkatesh , Shulin Zhao , Anand Sivasubramaniam

Context: Many systems require receiving data from multiple information sources, which act as distributed network devices that asynchronously send the latest data at their own pace to generalize various kinds of devices and connections,…

Programming Languages · Computer Science 2025-03-03 Tetsuo Kamina , Tomoyuki Aotani , Hidehiko Masuhara

This paper presents a conversational AI platform called Flowstorm. Flowstorm is an open-source SaaS project suitable for creating, running, and analyzing conversational applications. Thanks to the fast and fully automated build process, the…

Artificial Intelligence · Computer Science 2022-12-20 Jan Pichl , Petr Marek , Jakub Konrád , Petr Lorenc , Ondřej Kobza , Tomáš Zajíček , Jan Šedivý

Developing IoT, Data Computing and Cloud Computing software requires different programming skills and different programming languages. This cause a problem for many companies and researchers that need to hires many programmers to develop a…

Programming Languages · Computer Science 2017-12-27 Mahmoud S. Fayed , Muhammad Al-Qurishi , Atif Alamri , Ahmad A. Al-Daraiseh

The rapid growth of Internet of Things (IoT) devices has increased the scale and diversity of cyberattacks, exposing limitations in traditional intrusion detection systems. Classical machine learning (ML) models such as Random Forest and…

Cryptography and Security · Computer Science 2026-01-22 Piyumi Bhagya Sudasinghe , Kushan Sudheera Kalupahana Liyanage , Harsha S. Gardiyawasam Pussewalage

The advent of Large Language Models (LLMs) has profoundly transformed our lives, revolutionizing interactions with AI and lowering the barrier to AI usage. While LLMs are primarily designed for natural language interaction, the extensive…

Computation and Language · Computer Science 2025-03-10 Leming Shen , Qiang Yang , Yuanqing Zheng , Mo Li

Task-oriented communications are an important element in future intelligent IoT systems. Existing IoT systems, however, are limited in their capacity to handle complex tasks, particularly in their interactions with humans to accomplish…

Information Theory · Computer Science 2024-08-12 Hongwei Cui , Yuyang Du , Qun Yang , Yulin Shao , Soung Chang Liew

This paper identifies and analyzes applications in which Large Language Models (LLMs) can make Internet of Things (IoT) networks more intelligent and responsive through three case studies from critical topics: DDoS attack detection,…

Artificial Intelligence · Computer Science 2024-10-28 Mingyu Zong , Arvin Hekmati , Michael Guastalla , Yiyi Li , Bhaskar Krishnamachari

In the age of big data, information security has become a major issue of debate, especially with the rise of the Internet of Things (IoT), where attackers can effortlessly obtain physical access to edge devices. The hash algorithm is the…

Cryptography and Security · Computer Science 2022-08-17 Jingyao Zhang , Elaheh Sadredini

The Internet of Things (IoT) and Large Language Models (LLMs) have been two major emerging players in the information technology era. Although there has been significant coverage of their individual capabilities, our literature survey sheds…

Cryptography and Security · Computer Science 2025-05-26 Kushal Khatiwada , Jayden Hopper , Joseph Cheatham , Ayan Joshi , Sabur Baidya

We present an integration of a safe C dialect, Checked C, for the Internet of Things operating system RIOT. We utilize this integration to convert parts of the RIOT network stack to Checked C, thereby achieving spatial memory safety in…

Programming Languages · Computer Science 2025-02-26 Sören Tempel , Nora Bruns

With the development of Internet of Things (IoT), IoT intelligence becomes emerging technology. "Curse of Dimensionality" is the barrier of data fusion in edge devices for the success of IoT intelligence. A Linguistic Attribute Hierarchy…

Artificial Intelligence · Computer Science 2020-06-09 Hongmei He , Zhenhuan Zhu

Internet of Things (IoT) is transforming the industry by bridging the gap between Information Technology (IT) and Operational Technology (OT). Machines are being integrated with connected sensors and managed by intelligent analytics…

Software Engineering · Computer Science 2022-07-20 Haoyu Ren , Kirill Dorofeev , Darko Anicic , Youssef Hammad , Roland Eckl , Thomas A. Runkler

Large language models (LLMs) have demonstrated strong capabilities in knowledge representation and reasoning based on textual data. However, their reliance on language material alone limits their ability to adapt, verify reasoning outcomes,…

Artificial Intelligence · Computer Science 2026-01-28 Hong Su