English
Related papers

Related papers: A Framework for Programmability in Digital Currenc…

200 papers

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…

Artificial Intelligence · Computer Science 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…

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

Computer Science and Game Theory · Computer Science 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…

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

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

Human-Computer Interaction · Computer Science 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…

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

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

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

General Finance · Quantitative Finance 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…

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

Computer Science and Game Theory · Computer Science 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…

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

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

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

Information Theory · Computer Science 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…

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

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

Computers and Society · Computer Science 2018-01-09 Henry Kim , Marek Laskowski