1. Janusz Bańczerowski: A világ nyelvi képe. A világkép mint a valóság metaképe a nyelvben és a nyelvhasználatban. Budapest: Tinta Könyvkiadó. Segédkönyvek a nyelvészet tanulmányozásához 86, 2008, 355 pp.Péter Pátrovics, 2009, review, book review, critique Keywords: reviews and reports, Janusz Bańczerowski, A világ nyelvi képe, semantics, cognitive linguistics, verbal communication Published in DKUM: 31.01.2018; Views: 1073; Downloads: 146 Full text (218,61 KB) This document has many files! More... |
2. Inference attacks and control on database structuresMuhamed Turkanović, Tatjana Welzer Družovec, Marko Hölbl, 2015, original scientific article Abstract: Today’s databases store information with sensitivity levels that range from public to highly sensitive, hence ensuring confidentiality can be highly important, but also requires costly control. This paper focuses on the inference problem on different database structures. It presents possible treats on privacy with relation to the inference, and control methods for mitigating these treats. The paper shows that using only access control, without any inference control is inadequate, since these models are unable to protect against indirect data access. Furthermore, it covers new inference problems which rise from the dimensions of new technologies like XML, semantics, etc. Keywords: inference, attacks, database, security, semantics Published in DKUM: 09.08.2017; Views: 1482; Downloads: 115 Full text (322,91 KB) This document has many files! More... |
3. Challenges and directions in formalizing the semantics of modeling languagesBarrett Richard Bryant, Jeffrey G. Gray, Marjan Mernik, Peter Clarke, Robert France, Gabor Karsai, 2011, original scientific article Abstract: Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) forsupporting model-driven engineering. Even though these tools facilitate theautomation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools. Keywords: model-based tools, modeling language, semantics Published in DKUM: 06.07.2017; Views: 1273; Downloads: 396 Full text (568,31 KB) This document has many files! More... |