中文
相关论文

相关论文: An Open Source Solution for Smart Contract-based P…

200 篇论文

Regarding to the smart city infrastructures, there is a demand for big data processing and its further usage. This data can be gained by various means. There are many IoT devices in the city, which can communicate and share the information…

计算机与社会 · 计算机科学 2023-01-24 Zuzana Špitálová , Oliver Leontiev , Patrik Harmaňoš

Smart Contract Templates support legally-enforceable smart contracts, using operational parameters to connect legal agreements to standardised code. In this paper, we explore the design landscape of potential formats for storage and…

计算机与社会 · 计算机科学 2016-12-16 Christopher D. Clack , Vikram A. Bakshi , Lee Braine

Smart-parking solutions use sensors, cameras, and data analysis to improve parking efficiency and reduce traffic congestion. Computer vision-based methods have been used extensively in recent years to tackle the problem of parking lot…

Smart contracts with external data are crucial for functionality but pose security and reliability concerns. Statistical and quantitative studies on this interaction are scarce. To address this gap, we analyzed 10,500 smart contracts,…

密码学与安全 · 计算机科学 2026-02-10 Yishun Wang , Xiaoqi Li , Shipeng Ye , Lei Xie , Ju Xing

Smart contracts are programs that execute transactions involving independent parties and cryptocurrencies. As programs, smart contracts are susceptible to a wide range of errors and vulnerabilities. Such vulnerabilities can result in…

密码学与安全 · 计算机科学 2023-07-03 Sundas Munir , Walid Taha

The common thread that characterizes energy efficient mobility systems for smart cities is their interconnectivity which enables the exchange of massive amounts of data; this, in turn, provides the opportunity to develop a decentralized…

最优化与控制 · 数学 2020-06-30 Adam Stager , Luke Bhan , Andreas Malikopoulos , Liuhui Zhao

Smart contracts have been plagued by security incidents, which resulted in substantial financial losses. Given numerous research efforts in addressing the security issues of smart contracts, we wondered how software practitioners build…

软件工程 · 计算机科学 2021-03-30 Zhiyuan Wan , Xin Xia , David Lo , Jiachi Chen , Xiapu Luo , Xiaohu Yang

Proliferation of IoT devices in society demands a renewed focus on securing the use and maintenance of such systems. IoT-based systems will have a great impact on society and therefore such systems must have guaranteed resilience. We…

密码学与安全 · 计算机科学 2020-07-07 John Wickström , Magnus Westerlund , Göran Pulkkis

This paper investigates a critical access control issue in the Internet of Things (IoT). In particular, we propose a smart contract-based framework, which consists of multiple access control contracts (ACCs), one judge contract (JC) and one…

密码学与安全 · 计算机科学 2018-02-14 Yuanyu Zhang , Shoji Kasahara , Yulong Shen , Xiaohong Jiang , Jianxiong Wan

This paper analyzes the smart charging system for dealing with issues related to large parking garages, and analyzes the relevant technical standards of intelligent charging piles application and comprehensive transportation hubs. It mainly…

信号处理 · 电气工程与系统科学 2020-12-02 Kedi Yan

Large commercial buildings are complex cyber-physical systems containing expensive and critical equipment that ensure the safety and comfort of their numerous occupants. Yet occupant and visitor access to spaces and equipment within these…

密码学与安全 · 计算机科学 2021-08-19 Leepakshi Bindra , Kalvin Eng , Omid Ardakanian , Eleni Stroulia

In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a…

计算机与社会 · 计算机科学 2017-03-16 Christopher D. Clack , Vikram A. Bakshi , Lee Braine

This demonstration presents U-Parking, a distributed Ultra-Wideband (UWB)-assisted autonomous parking system. By integrating Large Language Models (LLMs)-assisted planning with robust fusion localization and trajectory tracking, it enables…

机器学习 · 计算机科学 2026-03-06 Yiang Wu , Qiong Wu , Pingyi Fan , Kezhi Wang , Wen Chen , Guoqiang Mao , Khaled B. Letaief

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

分布式、并行与集群计算 · 计算机科学 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

Finding a free parking space in a city has become a challenging task over the past decades. A recently proposed auction-based parking assignment can alleviate cruising for parking and also set a market-driven, demand-responsive parking…

多智能体系统 · 计算机科学 2026-01-12 Levente Alekszejenkó , Dobrowiecki Tadeusz

Using blockchain technology, it is possible to create contracts that offer a reward in exchange for a trained machine learning model for a particular data set. This would allow users to train machine learning models for a reward in a…

密码学与安全 · 计算机科学 2018-03-01 A. Besir Kurtulmus , Kenny Daniel

SMART is an open source web application designed to help data scientists and research teams efficiently build labeled training data sets for supervised machine learning tasks. SMART provides users with an intuitive interface for creating…

With the fast expanding scale of vehicular networks, vehicular edge computing (VEC) has emerged and attracted growing attention from both industry and academia. Parked vehicles (PVs) have great potential to join vehicular networks for…

网络与互联网体系结构 · 计算机科学 2019-06-17 Siming Wang , Xumin Huang , Rong Yu , Yan Zhang , Ekram Hossain

Blockchain technology and artificial intelligence (AI) are current hot topics in research and practice. However, the potentials of their combination have been studied just recently to a larger extend. While different use cases for combining…

分布式、并行与集群计算 · 计算机科学 2020-03-24 Philipp Brune

Cybersecurity is an inherent characteristic that should be addressed before the large deployment of smart city applications. Recently, Blockchain appears as a promising technology to provide several cybersecurity aspects of smart city…

密码学与安全 · 计算机科学 2022-06-07 Omar Cheikhrouhou , Ichrak Amdouni , Khaleel Mershad , Maryem Ammi , Tuan Nguyen Gia