ArchiTRIO [14] is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, including realtime constraints. In this paper we present the semantics of the core concepts of the ArchiTRIO language. As the core elements of ArchiTRIO coincide with those of UML 2.0 (operation, interface, port, ...

In this paper we present the SQL OLAP data model, formal algebra, and query language that, unlike current OLAP data models and languages, are both powerful, meaning that they support irregular dimension hierarchies, automatic aggregation of data, and correct aggregation of data, and SQL-compatible, allowing seamless integration with relational technology. We also consider the requirements to th...

This work proposes an information retrieval evaluation set for the Slovak language. A set of 80 queries written in the natural language is given together with the set of relevant documents. The document set contains 3980 newspaper articles sorted into 6 categories. Each document in the result set is manually annotated for relevancy with its corresponding query. The evaluation set is mostly comp...

LIMS Hewlett-Packard's new laboratory information management software system, HP ChemLMS, operates under standard laboratory procedure language. Running on the UNIX-compatible HP-UX operating system under X-Windows, it is based on the industry-standard Oracle relational database management system. HP ChemLMS is intended for use in laboratories requiring a custom laboratory management system wit...

Logopenic aphasia, mainly characterized by word anomia, sentence and phrase comprehension difficulties secondary to phonological loop deficits but relatively preserved single word comprehension and no agrammatism, is one of the 3 main variants of primary progressive aphasia (PPA). We describe the first case of PPA that fulfilled clinical criteria of logopenic aphasia but showed abnormal DWI hyp...

Java RMI is the computational model used to develop distributed systems in the Java language. Although widely used in the construction of distributed systems, the use of Java RMI is limited because this middleware does not allow asynchronous method invocations. This paper presents FlexRMI, a Java based system that supports asynchronous invocations of remote methods. FlexRMI is completely implem...

The generative grammar approach to language seeks a fully explicit account of the modular system of knowledge (competence) that underlies the human language capacity. Similarly, the relevance-theoretic approach to pragmatics attempts an explicit characterisation of the subpersonal systems involved in utterance interpretation. As an on-line performance system, however, it is subject to certain a...