English
Related papers

Related papers: Transforming Automatically BPMN Models to Smart Co…

200 papers

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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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…

Machine Learning · Computer Science 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…

General Economics · Economics 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Machine Learning · Computer Science 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…

Multiagent Systems · Computer Science 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…

Software Engineering · Computer Science 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…

Cryptography and Security · Computer Science 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,…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Computers and Society · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Programming Languages · Computer Science 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…

Networking and Internet Architecture · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 2020-10-27 Qinghua Lu , Xiwei Xu , Yue Liu , Ingo Weber , Liming Zhu , Weishan Zhang
‹ Prev 1 4 5 6 7 8 10 Next ›