中文
相关论文

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

200 篇论文

The potential for blockchain technology to eliminate the middleman and replace the top down hierarchical model of governance with a system of distributed cooperation has opened up many new opportunities, as well as dilemmas. Surpassing the…

软件工程 · 计算机科学 2023-04-12 Simona Ramos , Morshed Mannan

The aim of this work is to study the use of decentralization and smart contracts on blockchain networks. We investigate the implementation and use of smart contracts on the platforms Bitcoin, Ethereum and Hyperledger Fabric. Additionally,…

密码学与安全 · 计算机科学 2019-03-13 Theodosis Mourouzis , Jayant Tandon

All over the world, especially in the university environment, planning managers and traffic engineers are constantly faced with the problem of inadequate allocation of car parking spaces to demanded users. Users could either prefer reserved…

计算工程、金融与科学 · 计算机科学 2024-03-27 Luke Oluwaseye Joel , Sawyerr A. Babatunde , Adewumi O. Aderemi

We propose and develop a framework for validating smart contracts derived from e-contracts. The goal is to ensure the generated smart contracts fulfil all the conditions outlined in their corresponding e-contracts. By confirming alignment…

软件工程 · 计算机科学 2025-04-29 Sangharatna Godboley , P. Radha Krishna , Sunkara Sri Harika , Pooja Varnam

Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design and cannot be modified once deployed, which ensures…

软件工程 · 计算机科学 2023-04-14 Ilham Qasse , Mohammad Hamdaqa , Björn Þór Jónsson

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

计算机科学中的逻辑 · 计算机科学 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Urban traffic congestion, exacerbated by inefficient parking management and cruising for parking, significantly hampers mobility and sustainability in smart cities. Drivers often face delays searching for parking spaces, influenced by…

Most modern electronic devices can produce a random number. However, it is difficult to see how a group of mutually distrusting entities can have confidence in any such hardware-produced stream of random numbers, since the producer could…

密码学与安全 · 计算机科学 2019-06-27 Peter Mell , John Kelsey , James Shook

In recent times, the research works relating to smart traffic infrastructure have gained serious attention. As a result, research has been carried out in multiple directions to ensure that such infrastructure can improve upon our existing…

密码学与安全 · 计算机科学 2023-09-28 Anubhab Baksi , Ahmed Ibrahim Samir Khalil , Anupam Chattopadhyay

Today, container-based virtualization is very popular due to the lightweight nature of containers and the ability to use them flexibly in various heterogeneously composed systems. This makes it possible to collaboratively develop services…

密码学与安全 · 计算机科学 2019-02-19 Sandi Gec , Dejan Lavbič , Marko Bajec , Vlado Stankovski

Smart city is one of the most known Internet of Things (IoT) applications. The smart city services improve user's daily lives. However, security and privacy issues are slowing down their adoption. In addition, the characteristics of IoT…

密码学与安全 · 计算机科学 2020-03-05 Tidiane Sylla , Mohamed Aymen Chalouf , Francine Krief , Karim Samaké

Making cities smarter help improve city services and increase citizens' quality of life. Information and communication technologies (ICT) are fundamental for progressing towards smarter city environments. Smart City software platforms…

计算机与社会 · 计算机科学 2024-01-24 Eduardo Felipe Zambom Santana , Ana Paula Chaves , Marco Aurelio Gerosa , Fabio Kon , Dejan Milojicic

Smart cities often rely on technological innovation to improve citizens' safety and quality of life. This paper presents a novel smart mobility system that aims to facilitate people accessing public mobility while preserving their privacy.…

软件工程 · 计算机科学 2021-11-22 Stefano Righini , Luca Calderoni , Dario Maio

In this paper, the parking problem of a swarm of mobile robots has been studied. The robots are deployed at the nodes of an infinite grid, which has a subset of prefixed nodes marked as parking nodes. Each parking node p_i has a capacity of…

分布式、并行与集群计算 · 计算机科学 2023-10-17 Abhinav Chakraborty , Krishnendu Mukhopadhyaya

Digital transactions currently exceed trillions of dollars annually, yet traditional paper-based agreements remain a bottleneck for automation, enforceability, and dispute resolution. Natural language contracts introduce ambiguity, require…

密码学与安全 · 计算机科学 2025-10-24 To-Wen Liu , Matthew Green

The explosion of advancements in artificial intelligence, sensor technologies, and wireless communication activates ubiquitous sensing through distributed sensors. These sensors are various domains of networks that lead us to smart systems…

机器学习 · 计算机科学 2021-09-14 Farid Ghareh Mohammadi , Farzan Shenavarmasouleh , M. Hadi Amini , Hamid R. Arabnia

With the advent of blockchain technologies, the idea of decentralized applications has gained traction. Smart contracts permit the implementation of application logic to foster distributed systems that are capable of removing…

分布式、并行与集群计算 · 计算机科学 2019-02-12 Martin Westerkamp

The advent of on-demand mobility systems is expected to have a tremendous potential on the wellness of transportation users in cities. Yet such positive effects are reached when the systems under consideration enable seamless integration…

计算机与社会 · 计算机科学 2020-07-28 Claudio Gambella , Julien Monteil , Anton Dekusar , Sergio Cabrero Barros , Andrea Simonetto , Yassine Lassoued

The proposed smart contract can prevent seven cyber attacks, such as Denial of Service (DoS), Man in the Middle Attack (MITM), Distributed Denial of Service (DDoS), 51\%, Injection attacks, Routing Attack, and Eclipse attack. The Delegated…

密码学与安全 · 计算机科学 2022-07-20 Amrutanshu Panigrahi , Ajit Kumar Nayak , Rourab Paul

Smart cities are growing significantly due to the growth of smart connected vehicles and Internet of Things (IoT) where a wide range of devices are connected to share data. Online mapping is one of the fundamental services offered in smart…

分布式、并行与集群计算 · 计算机科学 2019-08-20 Fatemeh MohammadZadeh , Seyed Ali Mirghasemi , Ali Dorri , HamidReza Ahmadifar