Accepted Papers
The listed papers have been accepted for the presentation.
| ID | Title | Authors |
| 3 | Image Context Analysis Using Fuzzy Petri Net | Marina Ivasic-Kos |
| 4 | Valuation of Business in Virtual Reality | Paweł Kossecki |
| 5 | An Overview of Ontology Learning From Unstructured Texts | Marco Tawfik, Mostafa Aref, Abdel-Badeeh Salem |
| 6 | Composition of High Level Petri Nets | Ivan Peťko |
| 7 | Generalization and Specialization Using Extended Conceptual Graphs | Erika Baksa-Varga, László Kovács |
| 8 | Increasing Performance in Distributed File Systems | Pavel Bžoch, Jiří Šafařík |
| 9 | An Incremental ASM-based Fuzzy Clustering Algorithm | Radu D. Gaceanu, Horia F. Pop |
| 11 | Embarrassingly parallel problem processed on accelerated multi-level parallel architecture | Miloš Očkay, Martin Droppa |
| 12 | Advanced Safe Iterators for the C++ Standard Template Library | Norbert Pataki |
| 13 | Equivalence of table algebras of finite (infinite) tables and corresponding relational calculi | Dmitry Buy, Iryna Glushko |
| 14 | On the Usage of ELLAM to Solve Advection-diffusion Equation Describing the Pollutant Transport in Planetary Boundary Layer | Radim Dvorak, Frantisek Zboril |
| 15 | Specification, validation and verification of information transfer and processing systems | Ján Bača, Peter Feciľak |
| 16 | Comparative study of Intelligent Classification techniques for Brain Magnetic Resonance Imaging | Heba Mohsen, El-Sayed El-Dahshan, Abdel-Badeeh Salem |
| 17 | Source file copyright protection | Eva Danková, Norbert Ádám, Peter Fanfara, Marek Dufala |
| 18 | Experimental Evaluation of Regular Events Occurrence in Continuous-time Markov Models | Vaclav Vais, Stanislav Racek |
| 19 | An Application of Business Process Modeling System ILNET | Dimitar Blagoev, George Totkov, Elena Somova |
| 20 | Preservation of Historical Buildings Using Virtual Reality Technologies | František Hrozek, Branislav Sobota, Csaba Szabó |
| 22 | New approach to remote laboratory in regard to topology change and self-repair feature | Peter Feciľak, Katarína Kleinová |
| 23 | Generating member functions and operators by tagged fields in a C++ | Zalan Szugyi, Gergely Klar |
| 24 | Satisfiability Problem in Composition-Nominative Logics | Mykola Nikitchenko, Valentyn Tymofieiev |
| 25 | Possibilistic models of hybrid systems with nondeterministic continuous evolutions and switchings | Ievgen Ivanov, Mykola Nikitchenko, Louis Feraud |
| 26 | Multi-level Sequence Mining Based on GSP | Michal Šebek, Martin Hlosta, Jan Kupčík, Jaroslav Zendulka, Tomáš Hruška |
| 27 | Advanced Stiff Systems Detection | Vaclav Satek, Jiri Kunovsky, Jan Kopriva |
| 28 | Agents in Multicore Realm | Márk Török, Zalán Szűgyi, Norbert Pataki |
| 29 | Ensuring The Data Integrity And Credibility Based On Encryption And Decryption Algorithms | Liberios Vokorokos, Peter Fanfara, Eva Danková, Branislav Madoš |
| 30 | Automation of experimenting with new various input data traffic models | Jan Toť, Pavel Herout |
| 31 | Composition-nominative transition and temporal logics of functional-equational level | Oksana Shkilnyak |
| 32 | Simulation of Enhanced RADIUS Protocol in Colored Petri Nets | Jindrich Jelinek, Pavel Satrapa, Jiri Fiser |
| 33 | Analysing Erlang BEAM files | Mátyás Karácsonyi, Mátyás Karácsonyi |
| 35 | Introduction to Domain Analysis of Web User Interfaces | Michaela Kreutzová, Jaroslav Porubän, Dominik Lakatoš |
| 36 | Haskell language from the perspective of Compositional Programming | Vadim Vinnik, Tetiana Parfirova |
| 37 | A Form-Driven Application Generating: A Case Study | Sonja Ristic, Slavica Aleksic, Ivan Lukovic, Jelena Banovic |
| 38 | Processing of multiple configuration sources using a dedicated abstraction tool | Milan Nosáľ, Jaroslav Porubän |
| 39 | Simulation Analysis Of Global Optimization Algorithms As Tools For Solving Chance Constrained Programming Problems | Andrzej Grzybowski |
| 40 | Multisets: Operations, Partial Order, Computability, Application | Dmitriy Buy, Juliya Bogatyreva |
| 41 | Reverse Language Engineering: Program Analysis and Language Inference | Ján Kollár, Sergej Chodarev, Emília Pietriková, Ľubomír Wassermann, Dejan Hrnčič, Marjan Mernik |
| 42 | Data structures and objects relations in virtual reality system | Branislav Sobota , František Hrozek, Štefan Korečko |
| 43 | Acquiring information from ontologies with OntoP | Ines Čeh, Milan Zorman, Matej Črepinšek, Tomaž Kosar, Marjan Mernik, Jaroslav Porubän |
| 44 | Distribution of Manhattan Distances Between Processors within Two-Dimensional Grids | Zbigniew Domański |
| 45 | Traffic sign recognition based on the Rapid Transform | Ján Gamec, Daniel Urdzík, Mária Gamcová |
| 46 | On applying action semantics | Viliam Slodičák, Valerie Novitzká, Pavol Macko |
| 47 | Improvement of Administrative Procedure business processes running within regional self-governmental institutions | Michal Grell, Zuzana Mikitová, Gabriela Rotterová |
| 48 | Analyse of selected properties of websites in the cities | Igor Bandurič |
| 49 | Software Package “FSO System Simulator”: Design and Analysis of the Static Model for the FSO Systems | Ľuboš Ovseník, Pavol Mišenčík, Matúš Tatarko, Ján Turán |
| 50 | A model for Command and Control Information Systems Semantic Interoperability | Darko Galinec, Viliam Slodičák |
| 53 | The necessity of process improvement municipalities | Peter Schmidt, Jaroslav Kultan |
| 54 | Cloud Computing Business | Matej Kultan |
| 55 | SOCIO-ECONOMIC ASPECTS TO IMPROVE THE ADMINISTRATION ON THE BASIS OF IT-TECHNOLOGIES | Karahan Radjabov |
| 56 | COMPLEX SUPPORT OF FUNCTIONING AND DEVELOPMENT OF HIGHER EDUCATION ON THE BASIS OF INFORMATION TECHNOLOGY | Yahya Buchaev, Karahan Radjabov |
| 57 | FUTURE OUTLOOK AND OPPORTUNITIES OF INFORMATION TECHNOLOGY AND JOB CREATION IN IT-SECTOR OF REPUBLIC OF DAGESTAN | Yahya Buchaev, Vladimir Galyaev, Karahan Radjabov |
| 58 | Intrusion Detection System Epistème | Daniel Mihályi, Valerie Novitzká, Martina Ľaľová |
| 59 | Measurement of Network Traffic Time Parameters | Juraj Giertl, Ľuboš Husivarga, Martin Révés, Adrián Pekár, Peter Feciľak |
| 60 | Simulation Environments for Processes Control Verification Using Hardware in Simulation's Loop | Mikuláš Alexík |
| 61 | Particle Swarm Optimization for Grid Scheduling | Jarmila Škrinárová, Michal Krnáč |