中文
相关论文

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

200 篇论文

We propose BlockScan, a customized Transformer for anomaly detection in blockchain transactions. Unlike existing methods that rely on rule-based systems or directly apply off-the-shelf large language models (LLMs), BlockScan introduces a…

密码学与安全 · 计算机科学 2025-10-22 Jiahao Yu , Xian Wu , Hao Liu , Wenbo Guo , Xinyu Xing

Blockchain technology has revolutionized contractual processes, enhancing efficiency and trust through smart contracts. Ethereum, as a pioneer in this domain, offers a platform for decentralized applications but is challenged by the…

This paper presents SigVM, a novel blockchain virtual machine that supports an event-driven execution model, enabling developers to build autonomous smart contracts. Contracts in SigVM can emit signal events, on which other contracts can…

编程语言 · 计算机科学 2021-11-18 Zihan Zhao , Sidi Mohamed Beillahi , Ryan Song , Yuxi Cai , Andreas Veneris , Fan Long

Smart contracts are computer programs running on blockchains to implement Decentralized Applications. The absence of contract specifications hinders routine tasks, such as contract understanding and testing. In this work, we propose a…

软件工程 · 计算机科学 2025-04-30 Ye Liu , Yixuan Liu , Yi Li , Cyrille Artho

Cellular networking is advancing as a wireless technology to support diverse applications in vehicular communication, enabling vehicles to interact with various applications to enhance the driving experience, even when managed by different…

密码学与安全 · 计算机科学 2025-02-24 SangHyun Byun , Arijet Sarker , Sang-Yoon Chang , Jugal Kalita

This paper introduces a novel method for translating Business Process Model and Notation (BPMN) diagrams into executable X-Klaim code for Multi-Robot Systems (MRSs). Merging the clarity of BPMN with the operational strength of X-Klaim, we…

机器人学 · 计算机科学 2023-11-15 Khalid Bourr , Francesco Tiezzi

This study develops a strategic procurement framework integrating blockchain-based smart contracts with bounded demand variability modeled through a truncated normal distribution. While existing research emphasizes the technical feasibility…

综合金融 · 定量金融 2025-10-10 Jinho Cha , Youngchul Kim , Junyeol Ryu , Sangjun Park , Jeongho Kang , Hyeyoung Hwang

Commercially available business process management systems (BPMS) still suffer to support organizations to enact their business processes in an effective and efficient way. Current BPMS, in general, are based on BPMN 2.0 and/or BPEL. It is…

多智能体系统 · 计算机科学 2014-05-20 J. Kotremba , S. Raß , R. Singer

As the killer application of blockchain technology, blockchain-based payments have attracted extensive attention ranging from hobbyists to corporates to regulatory bodies. Blockchain facilitates fast, secure, and cross-border payments…

软件工程 · 计算机科学 2021-08-19 Qinghua Lu , Xiwei Xu , H. M. N. Dilum Bandara , Shiping Chen , Liming Zhu

Multiple-operators (multi-OPs) spectrum sharing mechanism can effectively improve the spectrum utilization in fifth-generation (5G) wireless communication networks. The secondary users are introduced to opportunistically access the licensed…

网络与互联网体系结构 · 计算机科学 2020-05-07 Shuang Zheng , Tao Han , Yuna Jiang , Xiaohu Ge

The convergence of mobile edge computing (MEC) and blockchain is transforming the current computing services in wireless Internet-of-Things networks, by enabling task offloading with security enhancement based on blockchain mining. Yet the…

Blockchain and blockchain-inspired decentralized applications are on the rise thanks to their unique characteristics such as their decentralized nature, anonymity, and tamper-proof nature; however, blockchain transactions tend to experience…

密码学与安全 · 计算机科学 2026-04-08 Yi Lyu

We develop several innovations to bring the best practices of traditional investment funds to the blockchain landscape. Specifically, we illustrate how: 1) fund prices can be updated regularly like mutual funds; 2) performance fees can be…

密码学与安全 · 计算机科学 2024-07-30 Ravi Kashyap

Traditional machine learning algorithms use data from databases that are mutable, and therefore the data cannot be fully trusted. Also, the machine learning process is difficult to automate. This paper proposes building a trustable machine…

机器学习 · 计算机科学 2019-03-22 Tao Wang

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

Currently, blockchain proposals are being adopted to solve security issues, such as data integrity, resilience, and non-repudiation. To improve certain aspects, e.g., energy consumption and latency, of traditional blockchains, different…

密码学与安全 · 计算机科学 2020-05-05 Henry C. Nunes , Roben C. Lunardi , Avelin F. Zorzo , Regio A. Michelin , Salil S. Kanhere

The knowledge, embodied in machine learning models for intelligent systems, is commonly associated with time-consuming and costly processes such as large-scale data collection, data labelling, network training, and fine-tuning of models.…

人工智能 · 计算机科学 2022-04-12 Amin Anjomshoaa , Edward Curry

The evaluation of smart contract reputability is essential to foster trust in decentralized ecosystems. However, existing methods that rely solely on code analysis or transactional data, offer limited insight into evolving trustworthiness.…

机器学习 · 计算机科学 2025-04-01 Cyrus Malik , Josef Bajada , Joshua Ellul

The hype about Bitcoin has overrated the potential of smart contracts deployed on-blockchains (on-chains) and underrated the potential of smart contracts deployed on-Trusted Third Parties (on-TTPs). As a result, current research and…

网络与互联网体系结构 · 计算机科学 2020-10-27 Carlos Molina-Jimenez , Ioannis Sfyrakis , Linmao Song , Hazem Danny Al Nakib , Jon Crowcroft

A blockchain-based framework for distributed agile software testing life cycle is an innovative approach that uses blockchain technology to optimize the software testing process. Previously, various methods were employed to address…

软件工程 · 计算机科学 2023-07-17 Muhammad Shoaib Farooq , Fatima Ahmed