Search results for "XML"
showing 10 items of 143 documents
XML Enabled Metamodeling and Tools for Cooperative Information Systems
2001
The development of tools to support semantic resolution is a key issue in the design of heterogeneous interoperable information systems. This paper presents a methodology and a data model translator toolkit, called X-TIME, for the design and management of interoperable information systems. X-TIME combines a metamodelling approach and XML features to provide support for automated design of wrappers or semantic reconciliators. It is a flexible semantics oriented approach that takes into account several important characteristics of interoperable information systems, including extensibility and composability. Extensibility requires a translation scheme that can easily integrate new data models.…
PARSI
2012
A usual target of automatic assessment in CS education has been a computer program or some other software engineering product. In this paper, we describe the 'PARSI' tool that is used for the automatic assessment of stylistic and technical correctness of office documents and some basic IT skills such as email netiquette and email lists usage. The PARSI tool enables us to run a highly populated course with only one teacher, and investigate how we could make such a course a flexible learning experience where learners take an active role.
"Lavorare" il dato linguistico: prospettive e limiti. Alcune considerazioni dall'esperienza dell'Atlante Linguistico della Sicilia (ALS)
2018
The present work focuses on the relationship between linguistic research and the use of new technologies for linguistic data processing and analysis. Starting from the experience of the Atlante Linguistico della Sicilia (ALS), this paper describes a XML schema, based on the theory of trasferenza (transference) by Regis (2013), for the annotation and analysis of the data from the onomasiological questions of the ALS sociovariational questionnaire. Moreover, this modest case study tries to make clear the pros and cons of technological devices in linguistic research.
Critical Digital Editions of Theatrical Texts: The Example of La estrella de Sevilla
2014
This article analyses the process of creating a multilingual and multimedia critical digital edition of the text from the Spanish Golden Age La Estrella de Sevilla. It begins with a reflection on what a critical digital edition is, and then it presents different projects about digital editions of theatrical texts as well as some practical issues on the encoding of the texts included in this digital critical edition.
POMDP failu konvertācija un apstrāde
2017
Bakalaura darba nosaukums ir “POMDP failu konvertācija un apstrāde”. Darbā tiek aprakstīti MDP un POMDP modeļi, POMDPx un POMDP failu formāti un šo failu formātu savstarpējai konvertācija, izmantojot programmēšanas valodu C++.
A Scratch-based Graphical Policy Editor for XACML
2015
This paper proposes a policy-maker-friendly editor for the extensible Access Control Markup Language (XACML) based on the programming language Scratch. Scratch is a blocks-based programming language designed for teaching children programming, which allows users to build programs like a puzzle. We take this concept one step further with an XACML policy editor based on the graphic programming elements of Scratch implemented in Smalltalk. This allows for aiding the user on how to build policies by grouping blocks and operators that fit together and also indicating which blocks that will stick together. It simplifies building the XACML policies while still having an XACML “feel” of the graphic …
X-stream CSD atbalsts Vērtspapīru uzskaites sistēmā
2015
Bakalaura darba mērķis ir novērtēt Vērtspapīru uzskaites sistēmas ziņojumu apmaiņas ar X-stream CSD sistēmas ieviešanas iespējamību, apskatīt ierobežojumus un ieviešanas prasības. Papildus nepieciešams novērtēt esošo situāciju un X-stream CSD atbalsta ieviešanas Vērtspapīru uzskaites sistēmā potenciālās priekšrocības un ieguvumus. Sekundārie bakalaura darba mērķi ir iegūt plašākas zināšanas par ISO 20022 standartu un NASDAQ OMX piedāvātā X-stream CSD risinājuma iespējām un metodēm, kuru izmantošana ļauj veikt atbalsta ieviešanu Vērtspapīru uzskaites sistēmā. Pēc darbā aprakstītās realizācijas ir jāspēj veikt X-stream CSD atbalsta ieviešanu Vērtspapīru uzskaites sistēmā.
Integrated Domain Model for Digital Rights Management
2004
Digital Rights Management (DRM) is an issue of controlling and managing digital rights over intellectual property. It has recently broadened its scope from being merely a content protection concern to description, identification, trading, protection, monitoring and tracking of rights over tangible or intangible assets. In our study we found out an essential problem of the domain: lack of models on an appropriate level of abstraction needed to support research and system development. Modelling, identifying and describing the core entities enable the rights management functionalities. This chapter contributes in recognizing the principal entities and providing detailed description on current …
Ontology-based cooperation of information systems : contributions to database-to-ontology mapping and XML-to-ontology mapping
2010
This thesis treats the area of ontology-based cooperation of information systems. We propose a global architecture called OWSCIS that is based on ontologies and web-services for the cooperation of distributed heterogeneous information systems. In this thesis, we focus on the problem of connecting the local information sources to the local ontologies within OWSCIS architecture. This problem is articulated by three main axes: 1) the creation of the local ontology from the local information sources, 2) the mapping of local information sources to an existing local ontology, and 3) the translation of queries over the local ontologies into queries over local information sources.
Implementing an ATL model checker tool using relational algebra concepts
2014
Alternating-Time Temporal Logic (ATL) is a branching-time temporal logic that naturally describes computations of open systems. An open system interacts with its environment and its behavior depends on the state of the system as well as the behavior of the environment. ATL model-checking is a well-established technique for verifying that a formal model representing such a system satisfies a given property. In this paper we describe a new interactive model checker environment based on algebraic approach. Our tool is implemented in client-server paradigm. The client part allows an interactive construction of ATL models represented by concurrent game structures as directed multi-graphs. The se…