In this thesis, a model based on the continuous-time Markov process is built and implemented and later applied on an one chosen collective game. An extensive analysis of available data is carried out to build a regression model to estimate parameters of the game model. An usableness of the game model is shown by a simulation process. Pros and cons are evaluated in a comparison analysis against the application of the discrete-time Markov chains, how it was described in my bachelor thesis [Roman Zákutný (2007)]. In conclusion are discussed possible extensions for other collective games.

This work focuses on relative comparisons of individual methods performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another method. This results are more portable than absolute values. It extends standard unit tests with performance assumptions, which are evaluated during actual run-time of a released application. Dynamically added and removed instrumentation is used for automatic modification of the production code. Instrumentation part uses DiSL framework to be able to seamlessly measure even Java system classes. Methods are measured sequentially, number of concurrently measured method is dynamically changed and measurement code is removed as soon as required data are obtained to avoid high overhead. The results show that for processor demanding application this approach may bring up to 3-times lower overhead peaks than measuring all methods at once. Powered by TCPDF (www.tcpdf.org)

Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new debugging interface of the Java PathFinder application. As a suitable inte- face container was selected the Eclipse development environment. The created interface should visualize results of JPF and details of paused JVM state, es- pecially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface

Title: Support for Enterprise Applications in SOFA 2 Author: Tibor Blénessy Department: Department of Distributed and Dependable Systems Supervisor of the master thesis: RNDr. Tomáš Bureš, Ph.D. Abstract: Industry standards defining various aspects of enterprise systems were developed in order to make development of such systems faster and to increase interoperability. For systems created with Java platform, these standards are contained under Java Enterprise Edition. SOFA 2 component system provides a solid base for development of ex- tensive component oriented systems. Goal of this work is to propose and empirically verify the possibility of integration of existing industry standards for enterprise applications in SOFA 2. Proposed solution extends SOFA 2 with components for web user in- terfaces based on Java Servlet API standard and with components for persisting data into relational databases based on Java Peristence API. In addition, it integrates core technologies from the Java Enterprise Edition platform, which should make integration of further standards easier. Keywords: enteprise applications, component system, SOFA 2, Java EE

An increasing number of organizations are implementing data warehouses to strengthen their decision support systems. This comes with the challenges of the population and the periodic update of data warehouses. In this thesis, we present a tool that provides users with features to create a warehouse database and transform structures of the source database into structures for the warehouse database. It is highly interactive, easy to use, and hides the underlying complexity of manual SQL code generation from its users. Attributes from source tables can be mapped into new attributes in the warehouse database tables using aggregate functions. Then, relevant data is automatically transported from the source database to the newly created warehouse. The tool thus integrates warehouse creation, schema mapping and data population into a single generalpurpose tool. This tool has been designed as a component of the framework for an automated data warehouse being developed at theComputer Science Department, University of New Orleans. Users of this framework are the database administrators, who will also be able to synchronize updates of multiple copies of the data warehouse. Warehouse images that need to be updated are taken offline and applications that need to access the data warehouse can now access any of the other image warehouses. The Switching Application built into this framework switches between databases in a way that is totally transparent to applications so that they do not realize existence of multiple copies of the data warehouse. In effect, even non-technical users can create, populate and update data warehouses with minimal time and effort.

Autonomic Computing (AC) aims at solving the problem of managing the rapidly-growing complexity of Information Technology systems, by creating self-managing systems. In this thesis, we have surveyed the progress of the AC field, and studied the requirements, models and architectures of AC. The commonly recognized AC requirements are four properties - self-configuring, self-healing, self-optimizing, and self-protecting. The recommended software architecture is the MAPE-K model containing four modules, namely - monitor, analyze, plan and execute, as well as the knowledge repository. In the modern software marketplace, Java Management Extensions (JMX) has facilitated one function of the AC requirements - monitoring. Using JMX, we implemented a package that attempts to assist programming for AC features including socket management, logging, and recovery of distributed computation. In the experiments, we have not only realized the powerful Java capabilities that are unknown to many educators, we also illustrated the feasibility of learning AC in senior computer science courses.

The Legacy information systems were created with the purpose of automate process that before of the informatics invention were made in a manual way, these systems have gained prominence over the years because organizations have become increasingly dependent of them, and the information they generate and manage have a great value. Nowadays new tendencies and paradigms make that business and organizations base the majority of their process in information systems and it is imperative that new technology can works together with legacy systems, for this reason the information must be integrated. Therefore under this context, is necessary to raise an alternative solution for integrating information of different legacy systems. In this thesis, is examined the problem, is described the importance of legacy systems in contrast with new current technological tendencies, besides is analyzed tools which we can achieve information integration and is purposed an alternative solution to problem through a multiplatform information system integrator, additionally, it proposes a integration methodology, leaving an established base to perform the development of a new system in order to replace the legacy system. The proposed solution has been proven through a case study in a business tourism sector, which was able to verify: that it is possible to integrate information from a system that handles flat files, display the information on a web interface for example, and start migration to a new relational database. After completing the proof of solution, we can say that this can integrate information regardless of the operating system and can be used in different organizations or companies. / Los sistemas de información legacy o heredados fueron creados con la finalidad de automatizar procesos que antes de la invención de la informática se hacían de forma manual, estos sistemas han cobrado importancia con los años porque las organizaciones han ido dependiendo cada vez más de ellos y la información que generan y administran son de gran valor. Hoy en día con las nuevas tendencias y paradigmas hacen que los negocios y organizaciones basen la mayoría de sus procesos en los sistemas de información y es imprescindible que la nueva tecnología conviva con los sistemas legacy o heredados; por tal motivo la información debe ser integrada. Bajo este contexto, es necesario plantear una alternativa de solución que permita integrar la información de diversos sistemas legacy o heredados. En la presente tesis, se analiza el origen del problema, se describe la importancia de los sistemas legacy o heredados frente a las nuevas tendencias tecnológicas actuales, se analiza las herramientas con las que podemos lograr integración de información, y se propone una alternativa de solución al problema mediante un sistema integrador de información multiplataforma adaptable a cualquier tipo de negocio. Adicionalmente, se propone una metodología de integración que deja una base establecida para realizar el desarrollo de un nuevo sistema que reemplace al sistema legacy o heredado. La solución propuesta ha sido probada mediante un caso de estudio en una empresa del sector turismo, donde se pudo verificar: que es posible integrar la información de un sistema que maneja archivos planos, mostrar la información en una interfase Web por ejemplo, y empezar la migración hacia una nueva base de datos relacional. Después de realizadas las pruebas de la solución se puede afirmar que esta puede integrar información sin importar el sistema operativo y que puede ser usado en distintas organizaciones o empresas.

This thesis discusses the architecture and the development of applications for mobile device, namely of applications in Java ME platform. The goal of this paper is to draw near the problematic of development for mobile device, analyse pros and cons of several solutions and design the architecture for a few type applications in chosen solution. The theoretical part of this thesis includes the introduction to the mobile development, discussion of benefits and drawbacks of development in Java ME in comparison with other possible solutions, description of main Java ME elements and choosing of type applications for practical part. In the hands-on part of this thesis are chosen the development tools and using previously described elements, the architectures for type applications are made. For each of type application is designed and developed real-life usable application.

Privacy is a topic of ever-increasing interest in the modern, connected world. With the advent of smart phones, the boundary between internet and the personal sphere has become less distinct. Most users of smart phones have very vague ideas of how various apps intrude on their privacy. At Karlstad University, one of the research groups at the Department of Computer Science is dedicated to research on privacy and protection thereof in general, and one research project is about increasing knowledge of how apps collect personal information about its users. This master thesis is about the development of a visualization tool that processes data collected from Android devices by a surveillance app developed within the aforementioned research project. The app keeps record of the usage of what in Android is termed Dangerous Permissions. The info collected is when such an event occurs, which app has requested the permission, the permission requested as well as the geographical location at the time of the event. Over time, more than 2 million such events has been recorded and collected in this manner. Previously, two student projects have developed different web based tools for visualizing the data collected. With this thesis work, a desktop application was developed; a visualization tool that imports the aforementioned data into a database connected to the tool. The graphical user interface of the visualization tool allows an analyst or scientific researcher to do detailed and fine-grained searches in that database and present the result in various charts, thereby visualizing how the apps ask for information that can be used for identifying and surveying individuals, thereby intruding on their privacy. The visualization tool is carefully designed with the aim for it to be scalable and extendable, through an architecture that allows for continuous development of further visualizations as well as other analysis functionality. / Frågan om personlig integritet får allt större betydelse den moderna, uppkopplade världen. Med smartmobilernas intåg har gränsen mellan internet och den privata sfären blivit allt mindre distinkt. Det stora flertalet användare av smartmobiler har mycket vaga begrepp om hur olika appar inkräktar på den personliga integriteten. Vid Karlstads Universitet och Avdelningen för Datavetenskap fokuserar forskningsgruppen PriSec – Privacy and Security – bl.a. på att förbättra den personliga integriteten. Ett av forskningsprojekten syftar till att öka medvetenheten om hur appar i smartmobiler och liknande, samlar in information om dess användare. Denna masteruppsats beskriver utvecklingen av ett verktyg för visualisering av data som insamlats från smartmobiler, läsplattor, etc., med operativsystemet Android. Detta har skett medelst en övervakningsapp som utvecklats inom det ovan nämnda forskningsprojektet. Appen i fråga håller reda på användningen av det som i Android kallas ”Dangerous Permissions” (eller på svenska: farliga privilegier). Den information som samlas in är vilka privilegier det gäller, vilka appar som använder dessa farliga privilegier, när detta sker och var mobilen befinner sig vid det aktuella tillfället. Mer än 2 miljoner sådana händelser har registrerats och samlats in. Tidigare har två studentprojekt utvecklat olika web-baserade verktyg för att visualisera det data som insamlats på detta sätt. I detta uppsatsarbete har en desktopapplikation utvecklats – ett verktyg för visualisering som importerar den nyss nämnda datan till en databas ansluten till verktyget. Via verktygets grafiska användargränssnitt kan analytiker och forskare göra precisionssökningar i databasen och presentera resultatet i olika diagram, på så sätt visualiserande hur apparna använder information som kan användas för att identifiera och kartlägga den person som använder smartmobilen i fråga, vilket inkräktar på deras personliga integritet. Visualiseringsverktyget är noggrant designat med målet att det skall vara skalbart och utbyggbart, genom en arkitektur som tillåter fortgående utveckling – såväl av ytterligare visualiseringar som annan funktionalitet för analys av innehållet i databasen.

The objective of this study has been to answer three questions. The questions are Can you navigate in a different way than with your fingers, Do you lose any functionality in the application when you are not using your fingers and is the solution a reasonable way to navigate. The study consist of two parts, the first is to create a navigation library with different navigation methods and the second part is to evaluate the navigation methods using user tests. The study shows that it is possible to navigate without the use of fingers and address problems and solution to navigate without the use of fingers. The study shows how different navigation methods perform compared to each other and compared to navigating with the use of fingers.