中文
相关论文

相关论文: A UML Profile for Bitcoin Blockchain

200 篇论文

Blockchain technology has rapidly evolved from an enabling technology for cryptocurrencies to a potential solution to a wider range of problems found in data-centric and distributed systems. Interest in this area has encouraged many recent…

分布式、并行与集群计算 · 计算机科学 2020-08-14 Amir Hussain Zolfaghari , Herbert Daly , Mahdi Nasiri , Roxana Sharifian

Training and deploying the large language models requires a large mount of computational resource because the language models contain billions of parameters and the text has thousands of tokens. Another problem is that the large language…

计算机视觉与模式识别 · 计算机科学 2023-07-21 Yuanhao Gong

As a disruptive technology, blockchain, particularly its original form of bitcoin as a type of digital currency, has attracted great attentions. The innovative distributed decision making and security mechanism lay the technical foundation…

密码学与安全 · 计算机科学 2018-12-21 Ameer Tamoor Khan , Xinwei Cao , Shuai Li

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs. The UML specification, maintained by the Object Management…

软件工程 · 计算机科学 2024-07-25 Étienne André , Shuang Liu , Yang Liu , Christine Choppy , Jun Sun , Jin Song Dong

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 advent of Blockchain and Distributed Ledger Technologies enable IoT and smart city application developers to conceive new types of applications and solutions for identity management, trust, and data monetization. However, architecting…

软件工程 · 计算机科学 2019-05-28 Gowri Sankar Ramachandran , Bhaskar Krishnamachari

Increasing complexity of modern enterprise systems and the demand for automation and interoperability require consistent and semantically validated models in Model-Based Systems Engineering (MBSE). The Object Constraint Language (OCL)…

软件工程 · 计算机科学 2026-04-30 Om Parkash , Jannik Bauer , Vincent Schmitt , Thomas Greiner , Rainer Drath

Blockchain was mainly introduced for secure transactions in connection with the mining of cryptocurrency Bitcoin. This article discusses the fundamental concepts of blockchain technology and its components, such as block header,…

密码学与安全 · 计算机科学 2021-01-27 Sunil Kumar Singh , Sumit Kumar

The Blockchain technology is reshaping finance, economy, money to the extent that its disruptive power is compared to that of the Internet and the Web in their early days. As a result, all the software development revolving around the…

软件工程 · 计算机科学 2017-02-20 Simone Porru , Andrea Pinna , Michele Marchesi , Roberto Tonelli

There are thousands of projects worldwide based primarily on blockchain technology. These have a large number of users and hundreds of use cases. One of the most popular is the use of cryptocurrencies and their benefits against money…

密码学与安全 · 计算机科学 2020-08-24 Ugarte-Rojas Hector , Chullo-Llave Boris

The creation of blockchain-based software applications requires today considerable technical knowledge, particularly in software design and programming. This is regarded as a major barrier in adopting this technology in business and making…

软件工程 · 计算机科学 2022-04-08 Simon Curty , Felix Härer , Hans-Georg Fill

Bitcoin is the most popular cryptocurrency used worldwide. It provides pseudonymity to its users by establishing identity using public keys as transaction end-points. These transactions are recorded on an immutable public ledger called…

密码学与安全 · 计算机科学 2020-02-18 Aman Sharma , Ashutosh Bhatia

Purposely modular, this protocol enables customization of several protocol properties, including the consensus properties implemented, blockchain type, the roots used, and virtual machine opcodes, among others. These modules enable…

分布式、并行与集群计算 · 计算机科学 2018-12-20 Jovonni L. Pharr

Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML…

The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin proof-of-work consensus protocol. We use a model-checking tool (UPPAALSMC) to examine the concrete security of proof-ofwork consensus by varying protocol parameters and…

密码学与安全 · 计算机科学 2020-07-20 Max DiGiacomo-Castillo , Yiyun Liang , Advay Pal , John C. Mitchell

Blockchain also known as a distributed ledger technology stores different transactions/operations in a chain of blocks in a distributed manner without needing a trusted third-party. Blockchain is proven to be immutable which helps for…

密码学与安全 · 计算机科学 2019-04-30 Danda B. Rawat , Vijay Chaudhary , Ronald Doku

Blockchain smart contracts have catalyzed the development of decentralized applications across various domains, including decentralized finance. However, due to constraints in computational resources and the prevalence of data silos,…

分布式、并行与集群计算 · 计算机科学 2024-12-09 Youquan Xian , Xueying Zeng , Duancheng Xuan , Danping Yang , Chunpei Li , Peng Fan , Peng Liu

Blockchains have received much attention recently since they provide decentralized approaches to the creation and management of value. Many banks, Internet companies, car manufacturers, and even governments worldwide have incorporated or…

密码学与安全 · 计算机科学 2019-11-07 Wubing Chen , Zhiying Xu , Shuyu Shi , Yang Zhao , Jun Zhao

The use of NLP in the realm of financial technology is broad and complex, with applications ranging from sentiment analysis and named entity recognition to question answering. Large Language Models (LLMs) have been shown to be effective on…

The integration of machine learning with blockchain technology has witnessed increasing interest, driven by the vision of decentralized, secure, and transparent AI services. In this context, we introduce opML (Optimistic Machine Learning on…

密码学与安全 · 计算机科学 2024-02-06 KD Conway , Cathie So , Xiaohang Yu , Kartin Wong