Acta Informatica Pragensia

1-21

Authors: Jiří Fišer

Modern science commonly uses computer modelling. Thousands of scientific model are daily transformed to computers programs and tested. The transformation must overcome the gap between abstract human formal notation and low level semantics of contemporary programming languages. The simultaneous knowledge of specific scientific models and programming languages is an unpleasant necessity for a significant proportion of scientists and practitioners (engineers, economist, etc.). But a solution exists — accommodation of programming languages to mental models of their users. The article discuss one partial solution — implementation of domain specific languages in the heart of existing universal languages by mechanisms of metaprogramming. This mechanism overcomes limitations of classical programming languages and complexity of creation new languages from scratch. However, the support of metaprogramming in contemporary languages is limited to isolated and peripheral constructs in very few languages. These constructs are demonstrated by simplified but real examples (metaobject system of Python, monads in F# and macro-based metaprogramming of Boo language) together with discussion of their advantages and disadvantages. The discussion of examples is aimed to finding requirements for new languages and their implementation in a original (parent) language.

32-40

Authors: Miroslav Král

A large number of different methods in the field of estimation of IS/IT projects have been developed in past years. Those methods should be used with regard to several factors. The choice and the application of an estimation method should take into consideration the current phase of each project and the wide variety of external factors, whose composition and intensity are very diverse and individual. The accuracy of the estimation considerably influences the success of the whole project. This article aims to analyse the principles, which are used by methods for effort estimation, and finding strong and weak aspects of these methods.

50-59

Authors: Liberios Vokorokos, Anton Baláž, Branislav Madoš

With the thriving technology and the great increase in the usage of computer networks, the risk of having these network to be under attacks have been increased. Number of techniques have been created and designed to help in detecting and/or preventing such attacks. One common technique is the use of Intrusion Detection Systems (IDS). Today, number of open sources and commercial IDS are available to match enterprises requirements. However, the performance of these systems is still the main concern. This paper examines perceptions of intrusion detection architecture implementation, resulting from the use of graphics processor. It discusses recent research activities, developments and problems of operating systems security. Some exploratory evidence is presented that shows capabilities of using graphical processors and intrusion detection systems. The focus is on how knowledge experienced throughout the graphics processor inclusion has played out in the design of intrusion detection architecture that is seen as an opportunity to strengthen research expertise.

66-68

Authors: Stanislava Mildeová

A lot of theoretical approaches to knowledge and knowledge management exist. Knowledge science is still an open question in theory and practice. In the following notes we will be looking at 'knowledge modelling'. The paper is a review of a book 'Knowledge Modelling', written by Brožová and Houška, published by the Professional Publishing in 2011. The book produces insights and tools that would be of great value to knowledge workers, and also to everybody who is interested in working with knowledge. Full text is only in Czech language.