2019 IEEE 15th International Scientific Conference on Informatics最新文献

Towards a formal description and automatic execution of production processes 朝着正式描述和自动执行生产过程的方向发展

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119314

Marko Vještica, Vladimir Dimitrieski, M. Pisarić, Slavica Kordić, S. Ristić, I. Luković

引用次数: 7

Enhancing Team Interaction and Cross-platform Access in Web-based Collaborative Virtual Environments 在基于web的协同虚拟环境中增强团队互动和跨平台访问

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119312

M. Hudák, Š. Korečko, B. Sobota

引用次数: 4

Symbolic Execution with Finite State Automata 有限状态自动机的符号执行

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119287

Endre Fülöp, Norbert Pataki

{"title":"Symbolic Execution with Finite State Automata","authors":"Endre Fülöp, Norbert Pataki","doi":"10.1109/Informatics47936.2019.9119287","DOIUrl":"https://doi.org/10.1109/Informatics47936.2019.9119287","url":null,"abstract":"Static analysis is an essential way to find code smells and bugs because it checks the source code without execution. Moreover, static analysis can help in software engineering comprehensively, since static analysis can be used for the validation of code style, evaluate software complexity and execute code refactorings, as well. Symbolic execution is a static analysis method where the variables are interpreted with symbolic values.Clang Static Analyzer is a powerful symbolic execution engine based on the Clang compiler infrastructure that can be used with C, C++ and Objective-C. Validation of resources’ usage (e.g. files, memory) requires finite state automata (FSA) for modeling the state of resource (e.g. locked or acquired resource). In this paper, we argue for an approach in which automata are in-use during the symbolic execution. In this approach, a generic automaton is used. The generic automaton can be customized for different resources. We present our domain-specific language to define automata. Our tool parses the automaton and generates checker for the symbolic execution engine. We present some generated checkers, as well.","PeriodicalId":415307,"journal":{"name":"2019 IEEE 15th International Scientific Conference on Informatics","volume":"1050 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123149904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Queueing Models of Systems with Non-Homogeneous Customers and their Applications in Computer Science 非齐次客户系统的排队模型及其在计算机科学中的应用

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119317

O. Tikhonenko, M. Ziółkowski

引用次数: 2

Towards Complete SAT-based Cryptanalysis of RC5 Cipher 基于sat的RC5密码完整分析

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119257

Artur Soboń, M. Kurkowski, Sylwia Stachowiak

{"title":"Towards Complete SAT-based Cryptanalysis of RC5 Cipher","authors":"Artur Soboń, M. Kurkowski, Sylwia Stachowiak","doi":"10.1109/Informatics47936.2019.9119257","DOIUrl":"https://doi.org/10.1109/Informatics47936.2019.9119257","url":null,"abstract":"There are many concepts and methods of ciphers cryptanalysis. It depends on the type of the cipher investigated or sometimes modes of operations. Usually, cryptanalysts would like to check some important properties of well known and used ciphers, where so far there is no possibility to break them. Investigators try sometimes break a weaker version of the cipher for understanding which and how proper cipher's parts are cryptographically strong. SAT-based cryptanalysis is one of the used and efficient ways to investigate important properties of some symmetric ciphers. In this paper, we show our investigations and new experimental results in the case of SAT-based, direct cryptanalysis of the RC5 cipher. For this solution, having a given cipher, we firstly built a propositional logical formula that encodes the RC5 algorithm. Next, we randomly generate plaintext and a key. Then we compute the ciphertext. At the end of our computations, we use SAT-solvers, specially designed tools for checking about satisfiability of the Boolean formulas. For our experiments, we explore RC5 properties in the case of cryptanalysis with plaintext and ciphertext. In our investigations, we use and compare several SAT solvers: a few new ones and a few rather old but still e ffi cient. We present our results in the case of a little bit weaker version of the RC5 cipher.","PeriodicalId":415307,"journal":{"name":"2019 IEEE 15th International Scientific Conference on Informatics","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128201150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Teachers' attitudes towards implementing coding at schools 教师对在学校推行编码的态度

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119333

Hana Bucková, Jirí Dostál

{"title":"Teachers' attitudes towards implementing coding at schools","authors":"Hana Bucková, Jirí Dostál","doi":"10.1109/Informatics47936.2019.9119333","DOIUrl":"https://doi.org/10.1109/Informatics47936.2019.9119333","url":null,"abstract":"The process of implementing coding at schools attended by pupils from six to fourteen years of age is a current trend in developed countries. In some cases, simple activities involving coding might be even included at kindergartens attended by children from three years of age. The crucial aim is to develop the so-called computational thinking which is going to be more and more essential for a successful personal and professional development of every individual.There is a broad range of factors influencing the success of the change in the curriculum, which is, inter alia, supposed to include coding. In addition to the necessary teaching aids and know-how, teachers also need to have positive attitudes towards its implementation. The main objective of our research is to identify teachers’ attitudes towards introducing coding to their classes. We discovered that not all teachers of computing agree with including algorithmization and coding in their teaching. Approximately one half of the questioned educators hold a negative attitude towards the curricular change; they would rather continue teaching computer user skills and basic programs. Their attitude proves to be an impediment to a successful curricular change as teachers should fully grasp the teaching content and communicate it with enthusiasm to their pupils. Insufficient knowledge is the key factor influencing teachers’ negative attitudes towards the introduction of coding to schools.","PeriodicalId":415307,"journal":{"name":"2019 IEEE 15th International Scientific Conference on Informatics","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132655600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Hierarchical Clustering based on IndoorGML Document 基于IndoorGML文档的分层聚类

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119255

J. Tamás

引用次数: 2

The Use of Mini Computer in Hybrid FSO/RF System 微型计算机在FSO/RF混合系统中的应用

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119270

R. Haluska, Ľ. Ovseník, P. Šul'aj

引用次数: 0

Efficiency of the relational database tuple access 关系数据库元组访问的效率

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119325

Michal Kvet, K. Matiaško

引用次数: 2

epiBAT: Multi-objective bat algorithm for detection of epistatic interactions epiBAT:用于上位相互作用检测的多目标蝙蝠算法

2019 IEEE 15th International Scientific Conference on Informatics Pub Date : 2019-11-01 DOI: 10.1109/Informatics47936.2019.9119310

Jozef Sitarcík, M. Lucká

引用次数: 2