The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper presents GreenDroid, a tool for monitoring and analyzing power consumption for the Android ecosystem. This tool instruments the source code of a giving Android application and is able to estimate the power consumed when running it. Moreover, it uses advanced classification algorithms to detect abnormal power consumption and to relate them to fragments in the source code. A set of graphical...
Tools guaranteeing the correctness of software focus almost exclusively on the syntax and the semantics of programming languages. Compilers, static analysis tools, etc. generate diagnostic messages on inconsistencies of the language elements. However, source code contains other important artifacts: comments, which are highly important to document, understand and therefore maintain the software. It...
Software engineering principles and practices face a lot of challenges. Among them, debugging and comprehending systems is still demanding. Furthermore, comprehending distributed systems, even though there are several papers and approaches to be found in literature, is a challenge of a completely different dimension. This paper describes the experiences gained when trying to comprehend (and debug)...
Linear logic is a suitable logical system for showing how program systems can be described. Individual connectives used in linear logic formulae correspond to some fragments of Petri nets, the other tool for modeling behavior of systems. In this paper we use this correspondence between linear logic and Petri nets to show how the composition of small working Petri nets brings new problems not occurring...
This presentation is devoted to the algorithmization of the chain-like body's movements. An ample set of experimental data and recent theoretical achievements show that chain-like polymers traversing a membrane opening undergo multiple changes of their shape. These changes are mostly due to a mechanical tension induced by an environment with its chemical interactions that affect polymer's mobility...
The human-computer interaction is important concern of working with computer system, especially in the growing trend of multi-display work environments. This paper introduces an approach of interaction with computer system based on observation of the software developer. This interaction has additional benefits in multi-display work environment. It connects multiple computer displays as one user interface,...
"Young measure" is an abstract notion from mathematical measure theory growing up from the analysis of some variational problems. From the formal point of view it may be regarded as a continuous linear functional defined on the space of Carathéodory integrands. However, calculating an explicit form of specific Young measure based on its formal theoretical definition involves so-called "weak"...
In this paper, we try to present the problems of the modern approach to treating various phobias. Virtual environments created by virtual reality (VR) tools can help to make the treatment of certain types of phobias more efficient. Attention to this form of phobia treatment with the help of VR is on the rise in the world, so we are also monitoring its development, as well. Our paper introduces the...
Interactive user interfaces include commands that allow to manipulate data or other objects. While in most cases these commands are atomic, it is possible to support composition of simple command elements into complex commands directly during the user interaction. In this case commands have properties of a language. Prominent example of such interface is the Vim text editor. In this paper properties...
The ambition to create hybrid between social network and forum (blog and chat) is based on the idea of Slovak community site called "Birdz". Hybrid social network merge functions of popular website types. It tries to introduce all-in-one site that join the best and most requested features of social networks, forums, blogs and chats. The main contribution of this work is concept of hybrid...
CRUD applications, i.e. applications focused on creating, reading, updating and deleting data records, have always been commonly used. Nonetheless, to the authors' knowledge there is no framework or tool targeting this class of applications in the Gnome desktop environment (using GTK+ widget toolkit). This paper describes a framework based on the model-driven development paradigm for generating CRUD...
Software systems deal with many concerns that are defined by the user or by the system requirements. These concerns are often implemented in multiple places throughout the source code, despite any decomposition technique that may be used. There are approaches and tools that try to separate concerns present in the system, usually using methods as the smallest unit of concern granularity. In this work...
In this paper, we describe the notion of an abstraction and conceptualization of information obtained by symbolization of some real world element that has meaning to humans. Such abstracted concept is able to recognize already observed information and also to recognize similar ones. Similarities identification is based on repetition in structure of information symbolized as regular language strings...
In this paper, we focus on shape based grammar design. Our goal is to create a grammar that is capable to describe shapes occurring on images. Words in the language generated by this grammars are composed of direction vectors. We explore possibilities of these grammars. We focus on these several aspects: grammar determinism, cyclicality of language words and level of resistance towards deformation...
The paper deals with the computation which is based on an original mathematical method. This method uses the Taylor series for solving differential equations in a non-traditional way.
The paper suggestion is the aim to inform about the base characteristics that define accessibility the web of the public statements. These requested results from present legislative instruction, what creates the legislative frame of using in the information systems have influence to the public administrations. In meeting these requirements the creators use various techniques of web applications, processes...
The content of artificial intelligence was to explain its specific concepts and provide examples it uses. Artificial intelligence aims at imitating human behaviour or creative human activity. Theory of artificial intelligence sets its goals. It is related to various scientific disciplines which complement it and in which it searches for possible solutions. Artificial intelligence is constantly discussed...
Efficient logistics management requires knowledge's possession and practical use of it. It is also necessary to manage knowledge in an effective way. Its goal and accomplished tasks can be considered in the context of logistics management. It can be said that logistics management can in fact be treated as logistics knowledge management. It includes not only the final use of knowledge as a factor enabling...
Contemporary perspectives and trends of information society development in Russia assume the implementation in a way of people's life fundamentally new technologies. As you can see, a crucial issue is the availability of development software complex as a necessary part in the progressing information projects. Therefore, it is important to study the object-oriented programming languages with the adaptation...
Functional programming paradigm can be used to build high-level software, especially when combined with a strong type system, like in Haskell. Functions are first-order values in functional languages. Haskell's Lens type generalizes properties (i.e. accessors/mutators) found in other programming languages. However the structure of Lens type prevents using lenses for data that can be accessed with...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.