Tuesday, September 15th, 2015
09:00–10:40 | AITM. Session Chair: Christian Leyh (room E106) |
09:00-09:05 | Opening of AITM, Jerzy Korczak Chair of AITM |
Efficiency of formal verification of ArchiMate business processes with NuSMV model checker - Piotr Szwed | |
Methodological Aspects of Decision Support System for the Location of Renewable Energy Sources - Jarosław Wątróbski, Paweł Ziemba, Waldemar Wolski | |
Fuzzy logic in the multi-agent financial decision support system - Jerzy Korczak, Marcin Hernes, Maciej Bac | |
Real-time Direct Translation System for Sinhala and Tamil Languages - Rajpirathap Sakthithasan., Shellvacumar Sheeyam, Umasuthan Kanthasamy, Amalraj Chelvarajah |
14:00–15:40 | AITM. Session Chair: Bogdan Franczyk (room E106) |
Critical Success Factors for Implementing Supply Chain Management Systems - Christian Leyh, Julia Thomschke | |
Approach to Analysis and Assessment of ERP Systems. A Software Vendor's Perspective - Ilona Pawełoszek | |
Secure service interaction for collaborative business processes in the inter-cloud - Björn Schwarzbach, Michael Glöckner, Alexander Pirogov, Martin Max Röhling, Bogdan Franczyk | |
Integration of B2B system that supports the management of construction processes with ERP systems - Monika Łobaziewicz | |
The automatic summarization of text documents in the Cognitive Integrated Management Information System - Marcin Hernes, Marcin Maleszka, Ngoc Thanh Nguyen, Andrzej Bytniewski |
16:00–18:00 | AITM. Session Chair: Ilona Pawełoszek (room E106) |
Knowledge Management in MCDA Domain - Jarosław Wątróbski, Jarosław Jankowski | |
The semantic method for agents’ knowledge representation in the Cognitive Integrated Management Information System - Marcin Hernes | |
Knowledge representation in controlling sub-system - Anna Chojnacka-Komorowska, Marcin Hernes | |
Smart Services Classification Framework - Tatiana Gavrilova, Liudmila Kokoulina | |
Transaction Based Business Process Modeling - Frantisek Hunka, Roman Belunek | |
Buying stock market winners on Warsaw Stock Exchange - quantitative backtests of a short term trend following strategy - Aleksander Fafuła, Krzysztof Drelczuk |