English
Related papers

Related papers: Executable Models and Instance Tracking for Decent…

200 papers

In the context of Multi-access Edge Computing (MEC), the task sharing mechanism among edge servers is an activity of vital importance for speeding up the computing process and thereby improve user experience. The distributed resources in…

Networking and Internet Architecture · Computer Science 2020-06-26 Angelo Vera Rivera , Ahmed Refaey , Ekram Hossain

As blockchain technologies are increasingly adopted in enterprise and research domains, the need for secure, scalable, and performance-transparent node infrastructure has become critical. While self-hosted Ethereum nodes offer operational…

Cryptography and Security · Computer Science 2025-07-28 S M Mostaq Hossain , Amani Altarawneh , Maanak Gupta

Easy access to data is one of the main avenues to accelerate scientific research. As a key element of scientific innovations, data sharing allows the reproduction of results, helps prevent data fabrication, falsification, and misuse.…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-02-24 Visara Urovi , Vikas Jaiman , Arno Angerer , Michel Dumontier

The problem of a single point of failure in centralized systems poses a great challenge to the stability of such systems. Meanwhile, the tamperability of data within centralized systems makes users reluctant to trust and use centralized…

Cryptography and Security · Computer Science 2025-04-22 Ka Wai Wu

Blockchains are decentralized systems that provide trustable execution guarantees. Smart contracts are programs written in specialized programming languages running on blockchains that govern how tokens and cryptocurrency are sent and…

Logic in Computer Science · Computer Science 2024-01-23 Margarita Capretto , Martin Ceresa , Cesar Sanchez

Both in the design and deployment of blockchain solutions many performance-impacting configuration choices need to be made. We introduce BlockSim, a framework and software tool to build and simulate discrete-event dynamic systems models for…

Cryptography and Security · Computer Science 2020-10-16 Maher Alharby , Aad van Moorsel

The recently accentuated features of augmenting conventional wireless networks with high altitude platform systems (HAPS) have fueled a plethora of applications, which promise to offer new services to ground users, as well to enhance the…

Cryptography and Security · Computer Science 2023-06-05 Khaleel Mershad , Hayssam Dahrouj

As cloud services become central in an increasing number of applications, they process and store more personal and business-critical data. At the same time, privacy and compliance regulations such as GDPR, the EU ePrivacy regulation, PCI,…

Cryptography and Security · Computer Science 2020-12-22 Immanuel Kunz , Valentina Casola , Angelika Schneider , Christian Banse , Julian Schütte

Cloud-enabled large-scale distributed systems orchestrate resources and services from various providers in order to deliver high-quality software solutions to the end users. The space and structure created by such technological advancements…

Software Engineering · Computer Science 2018-08-14 Andreea Buga , Sorana Tania Nemes , Atif Mashkoor

A blockchain is a decentralised linked data structure that is characterised by its inherent resistance to data modification, but it is deficient in search queries, primarily due to its inferior data formatting. A distributed database is…

Databases · Computer Science 2019-01-11 Muhammad Muzammal , Qiang Qu , Bulat Nasrulin , Anders Skovsgaard

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

We examine blockchain technologies, especially smart contracts, as a platform for decentralized applications. By providing a basis for consensus, blockchain promises to upend business models that presuppose a central authority. However,…

Computers and Society · Computer Science 2018-01-10 Munindar P. Singh , Amit K. Chopra

As transaction fees skyrocket today, blockchains become increasingly expensive, hurting their adoption in broader applications. This work tackles the saving of transaction fees for economic blockchain applications. The key insight is that…

Cryptography and Security · Computer Science 2022-10-11 Yibo Wang , Yuzhe Tang

Applications requiring real-time processing of large volumes of data have been the main driver for rethinking the traditional cloud, giving rise to novel cloud models. Distributed cloud (DC) is a model that allows users to dynamically…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-06 Tamara Ranković , Mateja Rilak , Janko Rakonjac , Miloš Simić

Imagine a group of citizens willing to collectively contribute their personal data for the common good to produce socially useful information, resulting from data analytics or machine learning computations. Sharing raw personal data with a…

Cryptography and Security · Computer Science 2021-12-24 Riad Ladjel , Nicolas Anciaux , Aurélien Bellet , Guillaume Scerri

Most current blockchains require all full nodes to execute all tasks limits the throughput of existing blockchains, which are well documented and among the most significant hurdles for the widespread adoption of decentralized technology.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-19 Alexander Hentschel , Yahya Hassanzadeh-Nazarabadi , Ramtin Seraj , Dieter Shirley , Layne Lafrance

In recent years, the term Metaverse emerged as one of the most compelling concepts, captivating the interest of international companies such as Tencent, ByteDance, Microsoft, and Facebook. These company recognized the Metaverse as a pivotal…

Cryptography and Security · Computer Science 2026-02-11 Bingquan Jin , Hailu Kuang , Xiaoqi Li

Administering standardized examinations is a challenging task, especially for those universities for which colleges affiliated to it are geographically distributed over a wide area. Some of the challenges include maintaining integrity and…

Computers and Society · Computer Science 2021-04-09 Yogesh N Patil , Arvind W Kiwelekar , Laxman D Netak , Shankar B Deosarkar

Since its inception as a solution for secure cryptocurrencies sharing in 2008, the blockchain technology has now become one of the core technologies for secure data sharing and storage over trustless and decentralised peer-to-peer systems.…

Cryptography and Security · Computer Science 2020-06-26 Noe Elisa , Longzhi Yang , Honglei Li , Fei Chao , Nitin Naik

The use of blockchains is growing every day, and their utility has greatly expanded from sending and receiving crypto-coins to smart-contracts and decentralized autonomous organizations. Modern blockchains underpin a variety of…

Cryptography and Security · Computer Science 2018-06-19 Tooba Faisal , Nicolas Courtois , Antoaneta Serguieva