Search
Search Results
-
Surrogate Constraints for Synchronized Energy Production/Consumption
We deal here with job scheduling under encapsulated renewable and non-renewable resource constraints, while relying on a case study related to energy... -
Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear Programming
In the context of classification, robustness verification of a neural network is the problem which consists in determining if small changes of inputs... -
Optimal Charging Station Location in a Linear Cycle Path with Deviations
Bicycle tourism is on the rise thanks to assisted-pedaling bikes, also known as e-bikes. While pedalling is still required on these bikes, they allow... -
On a Geometric Graph-Covering Problem Related to Optimal Safety-Landing-Site Location
We develop a set-cover based integer-programming approach to an optimal safety-landing-site location arising in the design of urban... -
A Context-Aware Framework to Support Decision-Making in Production Planning
In the scope of Industry 4.0, this paper showcases the design and implementation of a context-aware decision-making framework that simulates the... -
Implementation Patterns for Zone Architectures in Enterprise-Grade Data Lakes
In industry practice, zone models have been established as data lake architectures of choice to enable the reuse of data preparation, data modeling,... -
Designing Military Command and Control Systems as System of Systems – An Analysis of Stakeholder Needs and Challenges
In the context of capability development and to respond to the influence of new technology, a conceptual framework to support the integration of new... -
Variants of Variants: Context-Based Variant Analysis for Process Mining
An essential aspect of analyzing processes with process mining is the notion of variants. Analysts can make better decisions and improve processes by... -
On the Flexibility of Declarative Process Specifications
Declarative process specifications, such as Declare, provide a natural framework to capture flexible business processes. However, the specification... -
Improving Simplicity by Discovering Nested Groups in Declarative Models
Discovering simple, understandable and yet accurate process models is a well-known issue for models mined from real-life event logs. In this paper,... -
Improving Requirement Traceability by Leveraging Video Game Simulations in Search-Based Software Engineering
Video games pose different challenges during development and maintenance than classic software. For example, common and widespread assets, that are... -
Towards a Comprehensive Evaluation of Decision Rules and Decision Mining Algorithms Beyond Accuracy
Decision mining algorithms discover decision points and the corresponding decision rules in business processes. So far, the evaluation of decision... -
Observability for Quantum Workflows in Heterogeneous Multi-cloud Environments
Quantum workflows enable a robust, scalable, and reliable orchestration of hybrid applications comprising classical and quantum tasks. Varying... -
A Graph Language Modeling Framework for the Ontological Enrichment of Conceptual Models
Conceptual models (CMs) offer a structured way to organize and communicate information in information systems. However, current models lack adequate... -
Low-Modeling of Software Systems
There is a growing need for better development methods and tools to keep up with the increasing complexity of new software systems. New types of user... -
Dynamic Tuning of Core Counts to Maximize Performance in Object-Based Runtime Systems
Relatively recent developments in supercomputer nodes, such as higher physical and virtual core counts per node, aim to speed up HPC application... -
Onboarding for an Agile Software Development Company
The global shortage of highly skilled employees has created a need for a more efficient onboarding process in software development companies. The... -
Impact of the Kanban Maturity Model on a Team’s Agile Transformation: Tripling Throughput and Elevating Quality in Three Months
Agile transformations have been a significant challenge since the beginning of the agile movement, with numerous researchers and practitioners... -
Coordination in Agile Product Areas: A Case Study from a Large FinTech Organization
Product teams organized into product areas are becoming more and more prevalent in large-scale agile. While such arrangements are thought to improve... -
LLM-Based Agents for Automating the Enhancement of User Story Quality: An Early Report
In agile software development, maintaining high-quality user stories is crucial, but also challenging. This study explores the application of large...