English
Related papers

Related papers: Towards a Contract Service Provider Model for Virt…

200 papers

Blockchain technology enables the execution of collaborative business processes involving mutually untrusted parties. Existing platforms allow such processes to be modeled using high-level notations and compiled into smart contracts that…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

We talk of the internet as digital infrastructure; but we leave the building of rails and roads to the quasi-monopolistic platform providers. Decentralised architectures provide a number of advantages: They are potentially more inclusive…

Computers and Society · Computer Science 2026-02-04 Yvonne Dittrich , Kim Peiter Jørgensen , Ravi Prakash , Willard Rafnsson , Jonas Kastberg Hinrichsen

Blockchain is a radical innovation with a unique value proposition that shifts trust from institutions to algorithms. Still, the potential of blockchains remains elusive due to knowledge gaps between computer science research and…

Cryptography and Security · Computer Science 2021-05-06 Olga Labazova , Erol Kazan , Tobias Dehling , Tuure Tuunanen , Ali Sunyaev

This paper addresses the challenge of creating smart contracts for applications represented using Business Process Management and Notation (BPMN) models. In our prior work we presented a methodology that automates the generation of smart…

Software Engineering · Computer Science 2025-05-29 C. G. Liu , P. Bodorik , D. Jutla

Blockchain architectures promise disruptive innovation but factually they pose many architectural restrictions to classical service-based applications and show considerable design, implementation, and operations overhead. Furthermore, the…

Software Engineering · Computer Science 2022-09-26 Giovanni Quattrocchi , Damian Andrew Tamburri , WIllem-Jan Van Den Heuvel

Smart contracts are a new paradigm that emerged with the rise of the blockchain technology. They allow untrusting parties to arrange agreements. These agreements are encoded as a programming language code and deployed on a blockchain…

Cryptography and Security · Computer Science 2019-06-28 Juan Guarnizo , Pawel Szalachowski

Cloud computing has become a pivotal platform for executing scientific workflows due to its scalable and cost-effective infrastructure. Scientific Cloud Service Providers (SCSPs) act as intermediaries that rent virtual machines (VMs) from…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-01 Suvarthi Sarkar , Sparsh Mittal , Shivam Garg , Aryabartta Sahu

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…

Computers and Society · Computer Science 2019-01-31 Nikos Fotiou , George C. Polyzos

Fair exchange protocols let two mutually distrustful parties exchange digital data in a way that neither party can cheat. They have various applications such as the exchange of digital items, or the exchange of digital coins and digital…

Cryptography and Security · Computer Science 2023-04-07 Aydin Abadi , Steven J. Murdoch , Thomas Zacharias

Payment channels allow transactions between participants of the blockchain to be executed securely off-chain, and thus provide a promising solution for the scalability problem of popular blockchains. We study the online network design…

Data Structures and Algorithms · Computer Science 2019-08-02 Georgia Avarikioti , Kenan Besic , Yuyi Wang , Roger Wattenhofer

We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, data-driven transitions, and external coordination…

Programming Languages · Computer Science 2026-04-23 Elvis Konjoh Selabi , Maurizio Murgia , António Ravara , Emilio Tuosto

The first generation of blockchain focused on digital currencies and secure storage, management and transfer of tokenized values. Thereafter, the focus has been shifting from currencies to a broader application space. In this paper, we…

Cryptography and Security · Computer Science 2021-03-23 Andrea Merlina , Roman Vitenberg , Vinay Setty

Representatives of several Internet service providers (ISPs) have expressed their wish to see a substantial change in the pricing policies of the Internet. In particular, they would like to see content providers (CPs) pay for use of the…

Networking and Internet Architecture · Computer Science 2013-10-01 Eitan Altman , Manjesh Kumar Hanawal , Rajesh Sundaresan

With the advent of revolutionary technologies, such as virtualization and softwarization, a novel concept for 5G networks and beyond has been unveiled: Network Slicing. Initially driven by the research community, standardization bodies as…

Networking and Internet Architecture · Computer Science 2020-11-20 Lanfranco Zanzi , Antonio Albanese , Vincenzo Sciancalepore , Xavier Costa-Perez

Smart Contracts are commonly considered to be an important component or even a key to many business solutions in an immense variety of sectors and promises to securely increase their individual efficiency in an ever more digitized…

Computational Finance · Quantitative Finance 2021-03-16 Elizaveta Zinovyeva , Raphael C. G. Reule , Wolfgang Karl Härdle

Machine Learning systems rely on data for training, input and ongoing feedback and validation. Data in the field can come from varied sources, often anonymous or unknown to the ultimate users of the data. Whenever data is sourced and used,…

Computers and Society · Computer Science 2019-04-08 Iain Barclay , Alun Preece , Ian Taylor , Dinesh Verma

Interoperability is a significant challenge in blockchain technology, hindering seamless data and service sharing across diverse blockchain networks. This study introduces Automated Gateways as a novel framework leveraging smart contracts…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-24 Koosha Esmaeilzadeh Khorasani , Sara Rouhani , Rui Pan , Vahid Pourheidari

Web Services form a new, emerging paradigm to handle distributed access to resources over the Internet. There are platform independent standards (SOAP, WSDL), which make the developers? task considerably easier. This article discusses how…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-06-25 Alexander S. Szalay , Tamas Budavari , Tanu Malika , Jim Gray , Ani Thakara

Decentralized management and coordination of energy systems are emerging trends facilitated by the uptake of the Internet of Things and Blockchain offering new opportunities for more secure, resilient, and efficient energy distribution.…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-26 Tudor Cioara , Claudia Pop , Razvan Zanc , Ionut Anghel , Marcel Antal , Ioan Salomie

Blockchain is a form of distributed ledger technology (DLT) where data is shared among users connected over the internet. Transactions are data state changes on the blockchain that are permanently recorded in a secure and transparent way…

Cryptography and Security · Computer Science 2021-06-18 Amirmohammad Pasdar , Zhongli Dong , Young Choon Lee