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, recenzija, prikaz knjige, kritika Ključne besede: reviews and reports, Janusz Bańczerowski, A világ nyelvi képe, semantics, cognitive linguistics, verbal communication
Objavljeno v DKUM: 31.01.2018; Ogledov: 1073; Prenosov: 154
 Celotno besedilo (218,61 KB)
Gradivo ima več datotek! Več... |
2. Inference attacks and control on database structuresMuhamed Turkanović, Tatjana Welzer-Družovec, Marko Hölbl, 2015, izvirni znanstveni članek Opis: 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.
Ključne besede: inference, attacks, database, security, semantics
Objavljeno v DKUM: 09.08.2017; Ogledov: 1482; Prenosov: 120
Celotno besedilo (322,91 KB)
Gradivo ima več datotek! Več... |
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, izvirni znanstveni članek Opis: 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.
Ključne besede: model-based tools, modeling language, semantics
Objavljeno v DKUM: 06.07.2017; Ogledov: 1273; Prenosov: 403
Celotno besedilo (568,31 KB)
Gradivo ima več datotek! Več... |
