Acceptance of blockchain-based distributed systems in industry requires a thorough justification of their depend- ability and security. To foster blockchain acceptance, this paper proposes a new engineering perspective rooted in classic tools and …

Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve the exchange of any form of physical evidence, such as money, birth …

© Springer International Publishing Switzerland 2015. Agent-based modeling and simulation (ABMS) became an attractive and efficient way to model large-scale complex systems. The use of models always raises the question whether the model is correctly …

Agent-based modelling and simulation (ABMS) had an increasing attention during the last decade. However, the weak validation and verification of agent-based simulation models makes ABMS hard to trust. There is no comprehensive tool set for …

Agent-based modeling and simulation (ABMS) had an increasing attention during the last decade. However, the weak validation and verification of agent-based simulation models makes ABMS hard to trust. There is no comprehensive tool set for …