Acta Cybernetica 2019-06-03T21:57:37+02:00 Boglárka G.-Tóth Open Journal Systems <div id="main-content" class="region clearfix"> <div class="region region-content"> <div id="block-system-main" class="block block-system"> <div class="content"> <div id="node-30" class="node node-page clearfix"> <div class="content"> <div class="field field-name-body field-type-text-with-summary field-label-hidden"> <div class="field-items"> <div class="field-item even"> <p><img style="margin-left: 10px; margin-right: 10px; float: right; width: 203px; height: 291px;" src="" alt=""> A scientific journal published by the <a href="">Institute of Informatics</a>, <a href="">University of Szeged</a>, <a href="">Szeged</a>, <a href="">Hungary</a>.</p> <p>Acta Cybernetica is abstracted by <a href="">Mathematical Reviews</a>, <a href="">Computing Reviews</a>, <a href="">Zentralblatt für Mathematik</a>&nbsp;and <a href=";picked=prox" target="_blank" rel="noopener">ACM Digital Library</a> It is also indexed by <a href="">Scopus</a>,&nbsp;<a href="">DBLP</a>, EBSCO and Emerging Sources Citation Index (ESCI).</p> <p><img src="" alt="">&nbsp;<a href=";tip=sid&amp;clean=0"><img style="width: 200px; height: 200px;" src="" alt=""></a></p> </div> </div> </div> </div> </div> </div> </div> </div> </div> Preface 2019-06-03T14:32:51+02:00 Attila Kertész <p>The 11th Conference of PhD Students in Computer Science (CSCS) was organized by the Institute of Informatics of the University of Szeged (SZTE) and held in Szeged, Hungary, between June 25-27, 2018.</p> 2019-05-21T13:35:21+02:00 Copyright (c) Towards a Classification to Facilitate the Design of Domain-Specific Visual Languages 2019-06-03T14:32:51+02:00 Sándor Bácsi Gergely Mezei <p>Domain-specific visual languages (DSVLs) are specialized modeling languages that allow the effective management of the behavior and the structure of software programs and systems in a specific domain. Each DSVL has its specific structural and graphical characteristics depending on the problem domain. In the recent decade, a wide range of tools and methodologies have been introduced to support the design of DSVLs for various domains, therefore it can be a challenging task to choose the most appropriate technique for the design process. Our research aims to present a classification to guide the identification of the most relevant and appropriate methodologies in the given scenario. The classification is capable enough to provide a clear and precise understanding of the main aspects that can facilitate the design of DSVLs.</p> 2019-05-21T13:38:08+02:00 Copyright (c) 2019 Acta Cybernetica Operations on Signed Distance Functions 2019-06-03T15:48:49+02:00 Csaba Bálint Gábor Valasek Lajos Gergó <p>We present a theoretical overview of signed distance functions and analyze how this representation changes when applying an offset transformation. First, we analyze the properties of signed distance and the sets they describe.</p> <p>Second, we introduce our main theorem regarding the distance to an offset set in (X,||.||) strictly normed Banach spaces. An offset set of D in X is the set of points equidistant to D. We show when such a set can be represented by f(x)-c=0, where c denotes the radius of the offset. Finally, we explain these results for applications that offset signed distance functions.</p> 2019-05-21T13:52:43+02:00 Copyright (c) Multi Party Computation Motivated by the Birthday Problem 2019-06-03T15:54:42+02:00 Péter Hudoba Péter Burcsi <p>Suppose there are n people in a classroom and we want to decide if there are two of them who were born on the same day of the year. The well-known birthday paradox is concerned with the probability of this event and is discussed in many textbooks on probability. In this paper we focus on cryptographic aspects of the problem: how can we decide if there is a collision of birthdays without the participants disclosing their respective date of birth. We propose several procedures for solving this in a privacy-preserving way and compare them according to their computational and communication complexity.</p> 2019-05-21T14:11:37+02:00 Copyright (c) Benchmarking Graph Database Backends—What Works Well with Wikidata? 2019-06-03T16:09:34+02:00 Tibor Kovács Gábor Simon Gergely Mezei <p>Knowledge bases often utilize graphs as logical model. RDF-based knowledge bases (KB) are prime examples, as RDF (Resource Description Framework) does use graph as logical model. Graph databases are an emerging breed of NoSQL-type databases, offering graph as the logical model. Although there are specialized databases, the so-called triple stores, for storing RDF data, graph databases can also be promising candidates for storing knowledge. In this paper, we benchmark different graph database implementations loaded with Wikidata, a real-life, large-scale knowledge base. Graph databases come in all shapes and sizes, offer different APIs and graph models. Hence we used a measurement system, that can abstract away the API differences. For the modeling aspect, we made measurements with different graph encodings previously suggested in the literature, in order to observe the impact of the encoding aspect on the overall performance.</p> <p style="-qt-paragraph-type: empty; -qt-block-indent: 0; text-indent: 0px; margin: 0px;">&nbsp;</p> 2019-05-21T14:14:19+02:00 Copyright (c) 2019 Acta Cybernetica Keeping P4 Switches Fast and Fault-free through Automatic Verification 2019-06-03T16:19:34+02:00 Dániel Lukács Máté Tejfel Gergely Pongrácz <p>The networking dataplane is going through a paradigm shift as softwarization of switches sees an increased pull from the market. Yet, software tooling to support development with these new technologies is still in its infancy.<br>In this work, we introduce a framework for verifying performance requirement conformance of data plane protocols defined in the P4 language . We present a framework that transforms a P4 program in a versatile symbolic formula which can be utilized to answer various performance queries. We represented the system using denotational semantics and it can be easily extended with low-level target-dependent information. We demonstrate the operation of this system on a toy specification.</p> 2019-05-21T14:16:11+02:00 Copyright (c) Multi-Cloud Management Strategies for Simulating IoT Applications 2019-06-03T14:32:50+02:00 András Márkus József Dániel Dombi <div style="left: 137.593px; top: 512.527px; font-size: 10.3028px; font-family: sans-serif; transform: scaleX(0.971937);">The Internet of Things (IoT) paradigm is closely coupled with cloud technologies, and the support for managing sensor data is one of the primary concerns of Cloud Computing. IoT-Cloud systems are widely used to manage sensors and different smart devices connected to the cloud, hence a large amount of data is generated by these things that need to be efficiently stored and processed. Simulation platforms have the advantage of enabling the investigation of complex systems without the need of purchasing and installing physical resources. In our previous work, we chose the DISSECT-CF simulator to model IoT-Cloud systems, and we also introduced provider policies to enable cost-aware policies resource management. The aim of this paper is to further extend the simulation capabilities of this tool by enabling multi-cloud management. In this paper we introduce four cloud selection strategies aimed to reduce application execution time and utilization costs. We detail our proposed method towards multi-cloud extension, and evaluate defined strategies through a meteorological application.</div> 2019-05-21T14:19:45+02:00 Copyright (c) Different Types of Search Algorithms for Rough Sets 2019-06-03T16:31:22+02:00 David Nagy Tamas Mihalydeak Laszlo Aszalos <p><span class="fontstyle0">Based on the available information in many cases it can happen that two objects cannot be distinguished. If a set of data is given and in this set<br>two objects have the same attribute values, then these two objects are called indiscernible. This indiscernibility has an effect on the membership relation,<br>because in some cases it makes our judgment uncertain about a given object. The uncertainty appears because if something about an object is needed to be<br>stated, then all the objects that are indiscernible from the given object must be taken into consideration. The indiscernibility relation is an equivalence<br>relation which represents background knowledge embedded in an information system. In a Pawlakian system this relation is used in set approximation.<br>Correlation clustering is a clustering technique which generates a partition. In the authors’ previous research the possible usage of the correlation clustering<br>in rough set theory was investigated. In this paper the authors show how different types of search algorithms affect the set approximation.</span></p> 2019-05-21T14:21:54+02:00 Copyright (c) LZ based Compression Benchmark on PE Files 2019-06-03T21:33:34+02:00 Zsombor Paroczi <p>The key element in runtime compression is the compression algorithm itself, that is used during processing. It has to be small in enough in decompression bytecode size to fit in the final executable, yet have to provide the best possible compression ratio. In our work we benchmark the top LZ based compression methods on Windows PE (both exe and dll) files, and present the results including the decompression overhead and the compression rates.</p> 2019-05-21T14:23:41+02:00 Copyright (c) A Preparation Guide for Java Call Graph Comparison 2019-06-03T21:46:40+02:00 Edit Pengő Zoltán Ságodi <p>Call graphs provide basis for numerous interprocedural analysers and tools, therefore it is crucial how precisely they are constructed. Developers need to know the features of a call graph builder before applying it to subsequent algorithms. The characteristics of call graph builders are best understood by comparing the generated call graphs themselves. The comparison can be done by matching the corresponding nodes in each graph and then analysing the found methods and calls.</p> <p>In this paper, we developed a process for pairing the nodes of multiple call graphs produced for the same source code. As the six static analysers that we collected for call graph building handles Java language elements differently, it was necessary to refine the basic name-wise pairing mechanism in several steps.&nbsp; Two language elements, the anonymous and generic methods, needed extra consideration. We describe the steps of improvement and our final solution to achieve the best possible pairing through the analysis of the Apache Commons-Math project.</p> 2019-05-21T14:41:20+02:00 Copyright (c) Combining Common Sense Rules and Machine Learning to Understand Object Manipulation 2019-06-03T21:57:37+02:00 András Sárkány Máté Csákvári Mike Olasz <p>Automatic situation understanding in videos has improved remarkably in recent years. However, state-of-the-art methods still have considerable shortcomings: they usually require training data for each object class present and may have high false positive or false negative rates, making them impractical for general applications. We study a case that has a limited goal in a narrow context and argue about the complexity of the general problem. We suggest to solve this problem by including common sense rules and by exploiting various state-of-the art deep neural networks (DNNs) as the detectors of the conditions of those rules.</p> <p>We want to deal with the manipulation of unknown objects at a remote table. We have two action types to be detected: `picking up an object from the table' and `putting an object onto the table' and due to remote monitoring, we consider monocular observation. We quantitatively evaluate the performance of the system on manually annotated video segments, present precision and recall scores. We also discuss issues on machine reasoning. We conclude that the proposed neural-symbolic approach a) diminishes the required size of training data and b) enables new applications where labeled data are difficult or expensive to get.</p> 2019-05-21T14:41:59+02:00 Copyright (c)