中文
相关论文

相关论文: Digital Social Contracts: A Foundation for an Egal…

200 篇论文

Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and…

软件工程 · 计算机科学 2024-07-01 Adele Veschetti , Richard Bubel , Reiner Hähnle

Grassroots currencies are means for turning mutual trust into liquidity, with the goal of providing foundations for grassroots digital economies. Grassroots coins are units of debt that can be issued by anyone -- people, corporations,…

多智能体系统 · 计算机科学 2024-02-20 Ehud Shapiro

Smart contracts with external data are crucial for functionality but pose security and reliability concerns. Statistical and quantitative studies on this interaction are scarce. To address this gap, we analyzed 10,500 smart contracts,…

密码学与安全 · 计算机科学 2026-02-10 Yishun Wang , Xiaoqi Li , Shipeng Ye , Lei Xie , Ju Xing

Open data are characterized by a number of economic, technological, innovative and social benefits. They are seen as a significant contributor to the city's transformation into Smart City. This is all the more so when the society is on the…

计算机与社会 · 计算机科学 2023-05-30 Anastasija Nikiforova , Miguel Angel Alor Flores , Miltiadis D. Lytras

Smart contracts are a secure and trustworthy application that plays a vital role in decentralized applications in various fields such as insurance,the internet, and gaming. However, in recent years, smart contract security breaches have…

密码学与安全 · 计算机科学 2026-01-19 Jixuan Wu , Lei Xie , Xiaoqi Li

The disruptive power of blockchain technologies represents a great opportunity to re-imagine standard practices of telecommunication networks and to identify critical areas that can benefit from brand new approaches. As a starting point for…

网络与互联网体系结构 · 计算机科学 2017-03-14 Emanuele Di Pascale , Jasmina McMenamy , Irene Macaluso , Linda Doyle

Service-based IT infrastructures are today's trend and the future for every enterprise willing to support dynamic and agile business to contend with the ever changing e-demands and requirements. A digital ecosystem is an emerging business…

软件工程 · 计算机科学 2012-04-03 Youssef Bassil

Data cooperatives offer a new model for fair data governance, enabling individuals to collectively control, manage, and benefit from their information while adhering to cooperative principles such as democratic member control, economic…

社会与信息网络 · 计算机科学 2025-04-15 Francisco Mendonca , Giovanna DiMarzo , Nabil Abdennadher

With the Internet of Things (IoT), Things are expected to live in different "domains" and "contexts" during their lifetime. Information generated by and associated with Things should be manageable by multiple, diverse stakeholders…

计算机与社会 · 计算机科学 2019-01-31 Nikos Fotiou , George C. Polyzos

Classical monetary systems regularly subject the most vulnerable majority of the world's population to debilitating financial shocks, and have manifestly allowed uncontrolled global inequality over the long term. Given these basic failures,…

计算机与社会 · 计算机科学 2020-03-30 Bryan Ford

This paper explores the economic interactions within modern crowdsourcing markets. In these markets, employers issue requests for tasks, platforms facilitate the recruitment of crowd workers, and workers complete tasks for monetary rewards.…

计算机科学与博弈论 · 计算机科学 2026-02-03 Tian Bai , Yiding Feng , Yaohao Liu , Mengfan Ma , Mingyu Xiao

Blockchains host smart contracts for crowdfunding, tokens, and many other purposes. Vulnerabilities in contracts are often discovered, leading to the loss of large quantities of money. Psamathe is a new language we are designing around a…

编程语言 · 计算机科学 2020-11-24 Reed Oei , Michael Coblenz , Jonathan Aldrich

Smart contracts are self-executing programs that run on blockchains (e.g., Ethereum). 680 million US dollars worth of digital assets controlled by smart contracts have been hacked or stolen due to various security vulnerabilities in 2021.…

密码学与安全 · 计算机科学 2022-04-26 Tanusree Sharma , Zhixuan Zhou , Andrew Miller , Yang Wang

We consider the classic principal-agent model of contract theory, in which a principal designs an outcome-dependent compensation scheme to incentivize an agent to take a costly and unobservable action. When all of the model…

计算机科学与博弈论 · 计算机科学 2020-08-11 Paul Dütting , Tim Roughgarden , Inbal Talgam-Cohen

A smart city is a place where existing facilities and services are enhanced by digital technology to benefit people and companies. The most critical infrastructures in this city are interconnected. Increased data exchange across municipal…

密码学与安全 · 计算机科学 2022-07-12 Vasiliki Demertzi , Stavros Demertzis , Konstantinos Demertzis

Taking the stance that artificially conscious agents should be given human-like rights, in this paper we attempt to define consciousness, aggregate existing universal human rights, analyze robotic laws with roots in both reality and science…

计算机与社会 · 计算机科学 2020-11-16 Markian Hromiak

Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart…

软件工程 · 计算机科学 2020-05-21 Zhipeng Gao , Lingxiao Jiang , Xin Xia , David Lo , John Grundy

An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agreement between untrusted parties without the involvement of a…

密码学与安全 · 计算机科学 2017-10-18 Maher Alharby , Aad van Moorsel

Recently, smart contracts have played a vital role in automatic financial and business transactions. To help end users without programming background to better understand the logic of smart contracts, previous studies have proposed models…

软件工程 · 计算机科学 2025-03-20 Jianhang Xiang , Zhipeng Gao , Lingfeng Bao , Xing Hu , Jiayuan Chen , Xin Xia

E-governance is a process that aims to enhance a government's ability to simplify all the processes that may involve government, citizens, businesses, and so on. The rapid evolution of digital technologies has often created the necessity…

密码学与安全 · 计算机科学 2022-03-17 Owen Lo , William J. Buchanan , Sarwar Sayeed , Pavlos Papadopoulos , Nikolaos Pitropakis , Christos Chrysoulas
‹ 上一页 1 8 9 10 下一页 ›