|
|
|
|
|
Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko
Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing t...
ver más
|
|
|
|
|
|
|
|
|
Panagiotis Farmakis, Athanasios Chassiakos and Stylianos Karatzas
Hub-and-Spoke (H&S) network modeling is a form of transport topology optimization in which network joins are connected through intermediate hub nodes. The Short Sea Shipping (SSS) problem aims to efficiently disperse passenger flows involving multipl...
ver más
|
|
|
|
|
|
|
|
|
Xi Wang, Weiwei Wang and Hongbo Liu
Product derivation is the process of building a specific product from a software product line. Effective product derivation can improve software reuse productivity. Existing methods can only obtain abstract feature models, lacking detailed specifications...
ver más
|
|
|
|
|
|
|
|
|
Stefan Reitmann and Michael Schultz
Evaluating the performance of complex systems, such as air traffic management (ATM), is a challenging task. When regarding aviation as a time-continuous system measured in value-discrete time series via performance indicators and certain metrics, it is i...
ver más
|
|
|
|
|
|
|
|
|
Erika Nazaruka
Pág. 28 - 43
Specification and traceability of security requirements is still a challenge since modeling and analysis of security aspects of systems require additional efforts at the very beginning of software development. The topological functioning model is a forma...
ver más
|
|
|
|