Search
Search Results
-
Complexity-Approximation Trade-Offs in Exchange Mechanisms: AMMs vs. LOBs
This paper presents a general framework for the design and analysis of exchange mechanisms between two assets that unifies and enables comparisons...
-
Eagle: Efficient Privacy Preserving Smart Contracts
The proliferation of Decentralised Finance (DeFi) and Decentralised Autonomous Organisations (DAO), which in current form are exposed to...
-
Provably Avoiding Geographic Regions for Tor’s Onion Services
Tor, a peer-to-peer anonymous communication system, is one of the most effective tools in providing free and open communication online. Many of the...
-
Synchronous Perfectly Secure Message Transmission with Optimal Asynchronous Fallback Guarantees
Secure message transmission (SMT) constitutes a fundamental network-layer building block for distributed protocols over incomplete networks. More...
-
On the Correlation Complexity of MPC with Cheater Identification
Composable protocols for Multi-Party Computation that provide security with Identifiable Abort against a dishonest majority require some form of...
-
Malleable APGAS Programs and Their Support in Batch Job Schedulers
Malleability—the ability for applications to dynamically adjust their resource allocations at runtime—presents great potential to enhance the...
-
Closing the Loop: Towards a Complete Metamorphic Testing Pipeline
Metamorphic Testing (MT) address the test oracle problem, which arises when there are no practical means to verify the outputs of the System Under...
-
Integration of Classical and Quantum Services Using an Enterprise Service Bus
Early advancements in quantum computing have opened up new possibilities to tackle complex problems across various fields, including mathematics,...
-
Quantum Algorithm Cards: Streamlining the Development of Hybrid Classical-Quantum Applications
The emergence of quantum computing proposes a revolutionary paradigm that can radically transform numerous scientific and industrial application...
-
Simulation-Based Safety Testing of Automated Driving Systems
An Automated Driving System (ADS) must undergo comprehensive safety testing before receiving a road permit. Since it is not clear what exactly...
-
Speech Therapy Supported by AI and Smart Assistants
Speech impairments can be extremely debilitating for individuals in many areas of their lives. Speech therapy is a field that aims to solve these...
-
Forecasting the Developer’s Impact in Managing the Technical Debt
Technical debt is a collection of design decisions that, when taken together over time, make the system challenging to maintain and develop....
-
Source Code Clone Detection Using Unsupervised Similarity Measures
Assessing similarity in source code has gained significant attention in recent years due to its importance in software engineering tasks such as...
-
Power Analysis Attack Based on GA-Based Ensemble Learning
Perin et al. proposed the random ensemble leaning method. This method generates multiple neural network models, randomly sets the parameters of the...
-
A Formal Approach for a Railway Level Crossing Using the Event-B Method
Accidents at level crossings often cause dramatic material and human damages that seriously affect the reputation of rail safety. Research on Level...
-
Requirements Tool Practices that Drive Business Agility
CONTEXT: Successful agile teams advance their work practices continuously. The continuous improvement of effective tool-based requirements practices...
-
Are Business Expectations Aligned with the Development Plan Made by the Software Architecture Area? A Case Study on Agile Teams in a Large Company
In the current scenario of digital transformation, understanding the interaction between the areas of business and software architecture is...
-
Corporate Startups: A Systematic Literature Review on Governance and Autonomy
Many incumbents observe the startup world in jealousy of their agility and innovational performance. An increasing number of initiatives aim to mimic...
-
Strategic Digital Product Management in the Age of AI
The role of software product management is key for building, implementing and managing software products. However, although there is prominent...
-
Positive Customer Experience is Enhanced by Effective Agile Practices
This paper explores the connection between agile methods and digital customer experience, aiming to identify what are the hallmarks of a good agile...