中文
相关论文

相关论文: Proceedings First Workshop on Architectures, Langu…

200 篇论文

Industrial Internet of Things (IIoT) technologies have revolutionized industrial processes, enabling smart automation, real-time data analytics, and improved operational efficiency across diverse industry sectors. IIoT testbeds play a…

网络与互联网体系结构 · 计算机科学 2024-07-02 Tianyu Zhang , Chuanyu Xue , Jiachen Wang , Zelin Yun , Natong Lin , Song Han

Internet of Things (IoT) is realized by the idea of free flow of information amongst various low power embedded devices that use Internet to communicate with one another. It is predicted that the IoT will be widely deployed and it will find…

密码学与安全 · 计算机科学 2018-09-03 Faraz Idris Khan , Sufian Hameed

The proceedings of the 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2021) feature five peer-reviewed contributions and three invited talks. SNR focuses on the combination of symbolic and…

符号计算 · 计算机科学 2022-07-12 Anne Remke , Dung Hoang Tran

A common feature of the Internet of Things (IoT) is the high heterogeneity, regarding network protocols, data formats, hardware and software platforms. Aiming to deal with such a degree of heterogeneity, several frameworks have applied the…

软件工程 · 计算机科学 2020-07-06 Bruno Costa , Paulo F. Pires , Flavia C. Delicato

We are experiencing an abundance of Internet-of-Things (IoT) middleware solutions that provide connectivity for sensors and actuators to the Internet. To gain a widespread adoption, these middleware solutions, referred to as platforms, have…

计算机与社会 · 计算机科学 2016-03-17 Julien Mineraud , Oleksiy Mazhelis , Xiang Su , Sasu Tarkoma

Today's Internet of Things (IoT) has evolved from simple sensing and actuation devices to those with embedded processing and intelligent services, enabling rich collaborations between users and their devices. However, enabling such…

密码学与安全 · 计算机科学 2025-07-08 Hetvi Shastri , Walid A. Hanafy , Li Wu , David Irwin , Mani Srivastava , Prashant Shenoy

The increasing complexity and scale of the Internet of Things (IoT) have made security a critical concern. This paper presents a novel Large Language Model (LLM)-based framework for comprehensive threat detection and prevention in IoT…

密码学与安全 · 计算机科学 2025-05-14 Yazan Otoum , Arghavan Asad , Amiya Nayak

Internet of Things (IoT) have widely penetrated in different aspects of modern life and many intelligent IoT services and applications are emerging. Recently, federated learning is proposed to train a globally shared model by exploiting a…

网络与互联网体系结构 · 计算机科学 2020-05-05 Qiong Wu , Kaiwen He , Xu Chen

Formal approaches to software development are techniques that aim at developing quality software by employing notations, analysis processes, etc., based on mathematical grounds. Although traditionally they aim at increasing software…

软件工程 · 计算机科学 2014-01-06 Nazareno Aguirre , Leila Ribeiro

Internet of things (IoT) technologies are becoming a more and more widespread part of civilian life in common urban spaces, which are rapidly turning into cyber-physical spaces. Simultaneously, the fear of terrorism and crime in such public…

This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13,…

人工智能 · 计算机科学 2024-10-29 Anil Nerode , Yanhong A. Liu

The goal of this dissertation is to design efficient data aggregation frameworks for massive IoT networks in different scenarios to support the proper functioning of IoT analytics layer. This dissertation includes modern algorithmic…

网络与互联网体系结构 · 计算机科学 2019-07-29 Sunny Sanyal

As the number of Internet of Things (IoT) devices keeps increasing, data is required to be communicated and processed by these devices at unprecedented rates. Cooperation among wireless devices by exploiting Device-to-Device (D2D)…

网络与互联网体系结构 · 计算机科学 2017-08-23 Raheleh Khodabakhsh , Hulya Seferoglu

Internet of Things (IoT) systems continuously collect a large amount of data from heterogeneous "smart objects" through standardised service interfaces. A key challenge is how to use these data and relevant event logs to construct…

软件工程 · 计算机科学 2018-12-17 Ahmed Abdullah , Heinz W. Schmidt , Maria Spichkova , Huai Liu

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…

系统与控制 · 电气工程与系统科学 2022-12-07 Tilman Klaeger , Konstantin Merker

The Internet of Things (IoT) refers to a pervasive presence of interconnected and uniquely identifiable physical devices. These devices' goal is to gather data and drive actions in order to improve productivity, and ultimately reduce or…

其他计算机科学 · 计算机科学 2018-02-22 Tosiron Adegbija , Anita Rogacs , Chandrakant Patel , Ann Gordon-Ross

Today's increasing rate of technological change results from the rapid growth in computer processing speed, when combined with the cost decline of processing capacity, and is of historical import. The daily life of billions of individuals…

计算机与社会 · 计算机科学 2020-04-09 Lawrence J. Trautman , Mohammed T. Hussein , Louis Ngamassi , Mason J. Molesky

Software developers usually start coding an application with no formal architecture in mind and relying on intuition and experience instead of on well-known design patters. A different approach is recommended for the development of IoT…

软件工程 · 计算机科学 2020-03-18 Fabrizio Borelli , Gabriela Biondi , Flávio Horita , Carlos Kamienski

The Internet of Things (IoT) is one of the emerging technologies that has grabbed the attention of researchers from academia and industry. The idea behind Internet of things is the interconnection of internet enabled things or devices to…

密码学与安全 · 计算机科学 2024-08-09 Inayat Ali , Sonia Sabir , Zahid Ullah

Current research on Internet of Things (IoT) mainly focuses on how to enable general objects to see, hear, and smell the physical world for themselves, and make them connected to share the observations. In this paper, we argue that only…

人工智能 · 计算机科学 2014-03-12 Qihui Wu , Guoru Ding , Yuhua Xu , Shuo Feng , Zhiyong Du , Jinlong Wang , Keping Long