Given mobile devices’ weak computational power, game programmers must learn to create games with simple graphics that are engaging and easy to play. Though seldom created for phones and tablets, puzzle games are a perfect fit. In recent years, the genre has gained a following and even won some acclaim. Games like Myst, The Seventh Guest and Portal all engage gamers with challenging puzzles and then reward them with story components upon task fulfillment. Few such games have been created for mobile devices, in part due to the difficulty of developing for devices with different operating systems. Android, WebIOS and Windows Phone all have different software development kits that produce a final product incompatible with operating systems other than what it was developed for. One promising solution is to use browser technology to deliver games since all devices are geared to interact with the Web through browsers such as Internet Explorer, Mozilla Firefox, and Google Chrome. The aim of this project was to build a puzzle game that can be run on any digital device. The project can be accessed without any plug-ins and was created by using web technologies such as JQuery, Touch Punch, local storage, and WebGL. JQuery allows drag and drop functionality and Touch Punch allows the JQuery functionality intended for a mouse to work on a touch interface. Local storage provides storage on a user’s device, as opposed to a server, and WebGL enables graphics processing on a user’s tablet or phone through web commands.

This article explores the viability of third-party JSON tools as an alternative to XML when an application requires querying and filtering of data, as well as how the application deviates between browsers. We examine and describe the querying alternatives as well as the technologies we worked with and used in the application. The application is built using HTML 5 features such as local storage and canvas, and is benchmarked in Internet Explorer, Chrome and Firefox. The application built is an animated infographical display that uses querying functions in JSON and XML to filter values from a dataset and then display them through the HTML5 canvas technology. The results were in favor of JSON and suggested that using third-party tools did not impact performance compared to native XML functions. In addition, the usage of JSON enabled easier development and cross-browser compatibility. Further research is proposed to examine document-based data filtering as well as investigating why performance deviated between toolsets.

Communicating Sequential Processes (CSP) is a formal language whose primary purpose is to model and verify concurrent systems. The CSP++ toolset was created to embody the concept of selective formalism by making machine-readable CSPm specifications both executable (through the automatic synthesis of C++ source) and extensible (by allowing the integration of C++ user-coded functions). However, these user-coded functions were limited by their inability to share data with each other, which meant that their application was constrained to solving simple problems in isolation. We extend CSP++ by providing user-coded functions in the same CSP process with safe access to a shared storage area, similar in concept and API to Pthreads' thread-local storage, enabling cooperation between them and granting them the ability to undertake more complex tasks without breaking the formalism of the underlying specification. This feature's utility is demonstrated in our line-following robot case study.

Currently, on the Internet we can see most of the time clasic website that offer multimedia content to users in the form of texts, pictures and videos or favorite e-shops to enable the purchase of various goods from the comfort of home. More and more we can see website sites, or applications that provide the user with a specific service. This thesis describes a new modern approaches for creating web sites and applications using the latest version of the markup language HTML, which is HTML5. The work is primarily intended for Web developers and encoders, which should provide an overview and basic information in the field of web applications. The acquired knowledge would be to simplify and streamline the work and especially to save time, which can undo web users in the form of new features. The result of their work can be faster, more comfortable user web application (website) that fully exploit potential of web browsers.

This thesis deals with the development of embedded system for ultra light airplanes and helicopters. The aim is to design a system which would allow to measure and record the length of individual flights. It is therefore an onboard electronic diary which should facilitate and streamline the administration associated with sport aircraft operation. The base of the system is created on microcontroller of the MSP430 family by Texas Instruments. A reader will be offered the used hardware, the system design, the way of function and the possibility of using of the suggested system.