English
Related papers

Related papers: VCS: Value Chains Simulator, a Tool for Value Anal…

200 papers

Despite Information and Communication Technologies (ICT) have reduced the information asymmetry and increased the degree of interorganizational collaboration, the companies participating a supply chain are less inclined to share data when…

Cryptography and Security · Computer Science 2022-06-09 Francesco Longo , Letizia Nicoletti , Antonio Padovano , Gianfranco d'Atri , Marco Forte

When using multiple software tools to analyze, visualize, or optimize models in MBSE, it is often tedious and error-prone to manually coordinate the execution of these tools and to retain their respective input and output data for later…

Software Engineering · Computer Science 2022-07-12 Jan Flink , Robert Mischke , Kathrin Schaffert , Dominik Schneider , Alexander Weinert

In global economy, turbulent organization environment strongly influences organization's operation. Organizations must constantly adapt to changing circumstances and search for new possibilities of gaining competitive advantage. To face…

Human-Computer Interaction · Computer Science 2012-05-22 Zbigniew Paszkiewicz , Wojciech Cellary

Computationally expensive simulators, implementing mathematical models in computer codes, are commonly approximated using statistical emulators. We develop and assess novel emulation methods for systems best modelled via a chain, series or…

Methodology · Statistics 2021-08-26 Samuel E. Jackson , David C. Woods

Economic models of quality assurance can be an important tool for decision makers in software development projects. They enable to base quality assurance planning on economical factors of the product and the used defect-detection…

Software Engineering · Computer Science 2016-11-07 Stefan Wagner , Michael Meisinger

This work presents a model-based development methodology for verified software systems as well as a tool support for it: an applied AutoFocus tool chain and its basic principles emphasizing the verification of the system under development…

Software Engineering · Computer Science 2012-07-11 Maria Spichkova , Florian Hölzl , David Trachtenherz

High responsiveness and economic efficiency are critical objectives in supply chain transportation, both of which are influenced by strategic decisions on shipping mode. An integrated framework combining an efficient simulator with an…

Artificial Intelligence · Computer Science 2025-07-11 Haoyue Bai , Haoyu Wang , Nanxu Gong , Xinyuan Wang , Wangyang Ying , Haifeng Chen , Yanjie Fu

Dynamic arrays, also referred to as vectors, are fundamental data structures used in many programs. Modeling their semantics efficiently is crucial when reasoning about such programs. The theory of arrays is widely supported but is not…

Logic in Computer Science · Computer Science 2022-05-24 Ying Sheng , Andres Nötzli , Andrew Reynolds , Yoni Zohar , David Dill , Wolfgang Grieskamp , Junkil Park , Shaz Qadeer , Clark Barrett , Cesare Tinelli

Value at Risk (VaR) and stress testing are two of the most widely used approaches in portfolio risk management to estimate potential market value losses under adverse market moves. VaR quantifies potential loss in value over a specified…

Computational Finance · Quantitative Finance 2024-10-01 Krishan Mohan Nagpal

Virtual testing has emerged as an effective approach to accelerate the deployment of automated driving systems. Nevertheless, existing simulation toolchains encounter difficulties in integrating rapid, automated scenario generation with…

Robotics · Computer Science 2025-07-10 Dong Bi , Yongqi Zhao , Zhengguo Gu , Tomislav Mihalj , Jia Hu , Arno Eichberger

Efficient management of spare parts inventory is crucial in the automotive aftermarket, where demand is highly intermittent and uncertainty drives substantial cost and service risks. Forecasting is therefore central, but the quality of…

Artificial Intelligence · Computer Science 2026-02-03 So Fukuhara , Abdallah Alabdallah , Nuwan Gunasekara , Slawomir Nowaczyk

We propose a new variable selection procedure for a functional linear model with multiple scalar responses and multiple functional predictors. This method is based on basis expansions of the involved functional predictors and coefficients…

Statistics Theory · Mathematics 2023-11-03 Alban Mina Mbina , Guy Martial Nkiet

Managing stock efficiently remains a core issue in modern logistics, where companies must reconcile cost efficiency with dependable service despite unpredictable market conditions. Conventional models often overlook the direct connection…

Optimization and Control · Mathematics 2026-04-14 Tianxiao Sun , Noah Schwarzkopf

Vehicle sharing systems are becoming increasingly popular. The effectiveness of such systems depends, among other factors, on different strategic and operational management decisions and policies, like the dimension of the fleet or the…

Multiagent Systems · Computer Science 2024-02-28 Alberto Fernández , Holger Billhardt , Sascha Ossowski , Óscar Sánchez

Business process simulation is a well-known approach to estimate the impact of changes to a process with respect to time and cost measures -- a practice known as what-if process analysis. The usefulness of such estimations hinges on the…

Artificial Intelligence · Computer Science 2022-07-14 Manuel Camargo , Marlon Dumas , Oscar González-Rojas

In a circular economy, tracking the flow of second-life components for quality control is critical. Tokenization can enhance the transparency of the flow of second-life components. However, simple tokenization does not correspond to real…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-24 Mojtaba Eshghie , Li Quan , Gustav Andersson Kasche , Filip Jacobson , Cosimo Bassi , Cyrille Artho

With the increasing capabilities of machine learning systems and their potential use in safety-critical systems, ensuring high-quality data is becoming increasingly important. In this paper we present a novel approach for the assurance of…

Machine Learning · Computer Science 2023-07-18 Christian Sieberichs , Simon Geerkens , Alexander Braun , Thomas Waschulzik

In the continuously evolving cloud computing and network environment, service function chain (SFC) plays a crucial role in implementing complex services in the network with its flexible deployment capabilities. To address the limitations of…

Software Engineering · Computer Science 2025-12-15 Xi Wang , Shuo Shi , Chenyu Wu

We present a novel computational paradigm for process design in manufacturing processes that incorporates simulation responses to optimize manufacturing process parameters in high-dimensional temporal and spatial design spaces. We developed…

Computational Engineering, Finance, and Science · Computer Science 2021-07-26 Mojtaba Mozaffar , Jian Cao

Valuation-Based~System can represent knowledge in different domains including probability theory, Dempster-Shafer theory and possibility theory. More recent studies show that the framework of VBS is also appropriate for representing and…

Artificial Intelligence · Computer Science 2019-09-27 Mieczysław A. Kłopotek , Sławomir T. Wierzchoń