中文
相关论文

相关论文: Transforming Automatically BPMN Models to Smart Co…

200 篇论文

In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordingly, it would be desirable if blockchains could interact…

密码学与安全 · 计算机科学 2021-06-29 Markus Nissl , Emanuel Sallinger , Stefan Schulte , Michael Borkowski

Decentralized services are increasingly being developed and their proper usage in different areas is being experimented with. Autonomous codes, which are also called smart contracts, can be developed with Integrated Development Environments…

软件工程 · 计算机科学 2021-03-23 Ercan Işık , Melih Birim , Enis Karaarslan

Machine learning (ML) has penetrated various fields in the era of big data. The advantage of collaborative machine learning (CML) over most conventional ML lies in the joint effort of decentralized nodes or agents that results in better…

机器学习 · 计算机科学 2022-09-13 Shengwen Ding , Chenhui Hu

We develop a model of coordination and allocation of decentralized multi-sided markets, in which our theoretical analysis is promisingly optimizing the decentralized transaction packaging process at high-throughput blockchains or Web 3.0…

综合经济学 · 经济学 2023-01-27 Yuxuan Lu , Qian Qi , Xi Chen

Smart contract transactions demonstrate issues of performance and correctness that application programmers must work around. Although the blockchain consensus mechanism approaches ACID compliance, use cases that rely on frequent state…

分布式、并行与集群计算 · 计算机科学 2019-05-30 Victor Cook , Zachary Painter , Christina Peterson , Damian Dechev

With the rising emergence of decentralized and opportunistic approaches to machine learning, end devices are increasingly tasked with training deep learning models on-devices using crowd-sourced data that they collect themselves. These…

机器学习 · 计算机科学 2023-04-12 Haoxiang Yu , Hsiao-Yuan Chen , Sangsu Lee , Sriram Vishwanath , Xi Zheng , Christine Julien

Formalization of mathematics is the process of digitizing mathematical knowledge, which allows for formal proof verification as well as efficient semantic searches. Given the large and ever-increasing gap between the set of formalized and…

多智能体系统 · 计算机科学 2021-11-23 Jin Xing Lim , Barnabé Monnot , Shaowei Lin , Georgios Piliouras

In this paper we present a modeling methodology for BPMN, the standard notation for the representation of business processes. Our methodology simplifies the development of collaborative BPMN diagrams, enabling the automated creation of…

软件工程 · 计算机科学 2009-07-08 Matteo Buferli , Matteo Magnani , Danilo Montesi

Financial fraud cases are on the rise even with the current technological advancements. Due to the lack of inter-organization synergy and because of privacy concerns, authentic financial transaction data is rarely available. On the other…

The emerging blockchain technology supports decentralized computing paradigm shift and is a rapidly approaching phenomenon. While blockchain is thought primarily as the basis of Bitcoin, its application has grown far beyond cryptocurrencies…

密码学与安全 · 计算机科学 2020-06-23 Reza M. Parizi , Ali Dehghantanha , Kim-Kwang Raymond Choo , Amritraj Singh

Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across various domains manage trillions of dollars in virtual coins,…

分布式、并行与集群计算 · 计算机科学 2024-12-12 Zhiyuan Wei , Xianhao Zhang , Jing Sun , Zijian Zhang , Liehuang Zhu

Growing consumer awareness as well as manufacturers' internal quality requirements lead to novel demands on supply chain traceability. Existing centralized solutions suffer from isolated data storage and lacking trust when multiple parties…

计算机与社会 · 计算机科学 2018-10-24 Martin Westerkamp , Friedhelm Victor , Axel Küpper

The rapid growth of electric vehicles (EVs) and the deployment of vehicle-to-grid (V2G) technology pose significant challenges for distributed power grids, particularly in fostering trust and ensuring effective coordination among…

系统与控制 · 电气工程与系统科学 2024-10-10 Yunwang Chen , Xiang Lei , Songyan Niu , Linni Jian

This work presents the design and implementation of a blockchain system that enables the trustable transactive energy management for distributed energy resources (DERs). We model the interactions among DERs, including energy trading and…

分布式、并行与集群计算 · 计算机科学 2021-06-07 Qing Yang , Hao Wang , Xiaoxiao Wu , Taotao Wang , Shengli Zhang

This paper proposes an efficient framework to execute Smart Contract Transactions (SCTs) concurrently based on object semantics, using optimistic Single-Version Object-based Software Transactional Memory Systems (SVOSTMs) and Multi-Version…

分布式、并行与集群计算 · 计算机科学 2022-01-24 Parwat Singh Anjana , Hagit Attiya , Sweta Kumari , Sathya Peri , Archit Somani

Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control assets, which are often of high…

编程语言 · 计算机科学 2022-02-23 Jacco O. G. Krijnen , Manuel M. T. Chakravarty , Gabriele Keller , Wouter Swierstra

In the context of Multi-access Edge Computing (MEC), the task sharing mechanism among edge servers is an activity of vital importance for speeding up the computing process and thereby improve user experience. The distributed resources in…

网络与互联网体系结构 · 计算机科学 2020-06-26 Angelo Vera Rivera , Ahmed Refaey , Ekram Hossain

Public blockchains have spurred the growing popularity of decentralized transactions and smart contracts, but they exhibit limitations on the transaction throughput, storage, and computation. To avoid transaction gridlock, public…

分布式、并行与集群计算 · 计算机科学 2021-07-13 Nikolay Ivanov , Qiben Yan , Qingyang Wang

Today's blockchains suffer from low throughput and high latency, which impedes their widespread adoption of more complex applications like smart contracts. In this paper, we propose a novel paradigm for smart contract execution. It…

密码学与安全 · 计算机科学 2023-06-09 Jian Liu , Peilun Li , Raymond~Cheng , N. Asokan , Dawn Song

Blockchain is an innovative distributed ledger technology which has attracted a wide range of interests for building the next generation of applications to address lack-of-trust issues in business. Blockchain as a service (BaaS) is a…

软件工程 · 计算机科学 2020-10-27 Qinghua Lu , Xiwei Xu , Yue Liu , Ingo Weber , Liming Zhu , Weishan Zhang