中文
相关论文

相关论文: A Framework for Programmability in Digital Currenc…

200 篇论文

Probabilistic programming is considered as a framework, in which basic components of cognitive architectures can be represented in unified and elegant fashion. At the same time, necessity of adopting some component of cognitive…

人工智能 · 计算机科学 2016-05-05 Alexey Potapov

Moldable development supports decision-making by making software systems explainable. This is done by making it cheap to add numerous custom tools to your software, turning it into a live, explorable domain model. Based on several years of…

软件工程 · 计算机科学 2024-09-30 Oscar Nierstrasz , Tudor Gîrba

Given a batch of human computation tasks, a commonly ignored aspect is how the price (i.e., the reward paid to human workers) of these tasks must be set or varied in order to meet latency or cost constraints. Often, the price is set…

计算机科学与博弈论 · 计算机科学 2014-08-28 Yihan Gao , Aditya Parameswaran

Digital wallet as a software program or a digital device allows users to conduct various transactions. Hot and cold digital wallets are considered as two types of this wallet. Digital wallets need an online connection fall into the first…

密码学与安全 · 计算机科学 2023-03-24 Ehsan Nowroozi , Seyedsadra Seyedshoari , Yassine Mekdad , Erkay Savas , Mauro Conti

Nations around the world are conducting research into the design of central bank digital currency (CBDC), a new, digital form of money that would be issued by central banks alongside cash and central bank reserves. Retail CBDC would be used…

计算机与社会 · 计算机科学 2026-05-12 Geoffrey Goodell , Hazem Danny Al-Nakib , Tomaso Aste

There are so many libraries of visualization components nowadays with their APIs often different from one another. Could these components be more similar, both in terms of the APIs and common functionalities? For someone who is developing a…

人机交互 · 计算机科学 2020-09-03 Krist Wongsuphasawat

Network programmability is an area of research both defined by its potential and its current limitations. While programmable hardware enables customization of device operation, tailoring processing to finely tuned objectives, limited…

网络与互联网体系结构 · 计算机科学 2021-03-29 Marcelo Abranches , Karl Olson , Eric Keller

Central banks are actively exploring central bank digital currencies (CBDCs) by conducting research, proofs of concept and pilots. However, adoption of a CBDC can risk fragmenting both payments markets and retail deposits. In this paper, we…

计算机与社会 · 计算机科学 2025-01-20 Lee Braine , Shreepad Shukla

The internet era has generated a requirement for low cost, anonymous and rapidly verifiable transactions to be used for online barter, and fast settling money have emerged as a consequence. For the most part, e-money has fulfilled this…

密码学与安全 · 计算机科学 2015-08-19 Gareth W. Peters , Efstathios Panayi , Ariane Chapelle

A new chaotic financial system is proposed by considering ethics involvement in a four-dimensional financial system with market confidence. A five-dimensional conformable derivative financial system is presented by introducing conformable…

综合金融 · 定量金融 2019-04-03 Baogui Xin , Wei Peng , Yekyung Kwon , Yanqin Liu

Recent proliferation of embedded systems has generated a bold new paradigm, known as open embedded systems. While traditional embedded systems provide only closed base applications (natively-installed software) to users, open embedded…

分布式、并行与集群计算 · 计算机科学 2010-06-30 Hiroaki Inoue

Central Bank Digital Currency (CBDC) can be defined as a virtual currency based on node network and digital encryption algorithm issued by a country which has a legal credit protection. CBDCs are supported by Distributed Ledger Technologies…

In budget-feasible mechanism design, a buyer wishes to procure a set of items of maximum value from self-interested players. We have a valuation function $v:2^U \to \mathbb{R}_+$, where $U$ is the set of all items, where $v(S)$ specifies…

计算机科学与博弈论 · 计算机科学 2026-03-25 Rian Neogi , Kanstantsin Pashkovich , Chaitanya Swamy

Cross-chain swaps enable exchange of different assets that reside on different blockchains. Several protocols have been proposed for atomic cross-chain swaps. However, those protocols are not fault-tolerant, in the sense that if any party…

分布式、并行与集群计算 · 计算机科学 2022-11-15 Yingjie Xue , Di Jin , Maurice Herlihy

While democracy is founded on the principle of equal opportunity to manage our lives and pursue our fortunes, the forms of money we have inherited from millenia of evolution has brought us to an unsustainable dead-end of exploding…

计算机与社会 · 计算机科学 2020-11-04 Haoqian Zhang , Cristina Basescu , Bryan Ford

This paper introduces the notion of a secure data capsule, which refers to an encapsulation of sensitive user information (such as a credit card number) along with code that implements an interface suitable for the use of such information…

密码学与安全 · 计算机科学 2010-02-02 Jayanthkumar Kannan , Petros Maniatis , Byung-Gon Chun

Distributed storage systems must handle both data heterogeneity, arising from non-uniform access demands, and device heterogeneity, caused by time-varying node reliability. In this paper, we study convertible codes, which enable the…

信息论 · 计算机科学 2026-01-16 Anina Gruica , Benjamin Jany , Stanislav Kruglik

We discuss here constraint programming (CP) by using a proof-theoretic perspective. To this end we identify three levels of abstraction. Each level sheds light on the essence of CP. In particular, the highest level allows us to bring CP…

编程语言 · 计算机科学 2007-05-23 Krzysztof R. Apt

Lending pools are decentralized applications which allow mutually untrusted users to lend and borrow crypto-assets. These applications feature complex, highly parametric incentive mechanisms to equilibrate the loan market. This complexity…

密码学与安全 · 计算机科学 2020-12-25 Massimo Bartoletti , James Hsin-yu Chiang , Alberto Lluch-Lafuente

The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from…

计算机与社会 · 计算机科学 2018-01-09 Henry Kim , Marek Laskowski