We report on two experiments to study the use of a graphic design tool for generating and selecting image lters, in which the aesthetic preferences that the user expresses whilst browsing ltered images drives the lter generation process. In the rst experiment, we found evidence for the idea that intelligent employment of the user s preferences when generating lters can improve the overall quali...

We propose a general framework for modelling and solving deductive games, where one player selects a secret code and the other player strives to discover this code using a minimal number of allowed experiments that reveal some partial information about the code. The framework is implemented in a software tool Cobra, and its functionality is demonstrated by producing new results about existing d...

During the past decade, technological advances in mobile phones and the development of smart phones have led to increased use and dependence on the mobile phone. The explosion of its use has led to problems such as fraud, criminal use and identity theft, which have led to the need for mobile phone forensic analysis. In this regard, the authors discuss mobile phone forensic analysis, what it mea...

To improve feedback on how concurrent CSP-based programs run, the graphical CSP design tool (gCSP [3,2]) has been extended with animation facilities. The state of processes, constructs, and channel ends are indicated with colours both in the gCSP diagrams and in the composition tree (hierarchical tree showing the structure of the total program). Furthermore, the contents of the channels are als...

There has been much interest in using software tools to scaffold learners in complex tasks, that is, to provide supports that enable students to deal with more complex content and skill demands than they could otherwise handle. Many different approaches to scaffolding techniques have been presented in a broad range of software tools. I argue that two complementary mechanisms can explain how a d...

class

As a critical review it is somewhat less satisfactory, for many topics are mentioned but casually or receive but scant attention, a defect clearly unavoidable in the preparation of a text meant primarily to be practical. Nevertheless, it represents a treatment of the subject that will prove most useful. Much could be done to make the index more helpful, and the lack of an index of the many auth...

Aerodrome ground traffic management consists of many processes. Their complexity causes that telematic solutions intended to assist both the air traffic controller who coordinates taxiing and the pilot who executes them are introduced. An example of such a solution is A-SMGCS system. At the moment, intensive research on advanced system functions are carried out. They include smart taxi route ch...

The approach to development of serial and parallel algorithms, which is based on usage of parameter-driven generation of algorithm schemes, is proposed. The approach uses algebras of algorithms and hyperschemes, and also structural design grammars. Hyperschemes are parameterized specifications that allow to receive the algorithms adapted to specific conditions of usage. The paper also describes...

This paper presents the application of SPIN to verify a hardware design. A hazardoues circuit is modelled in PROMELA and verified with SPIN. SPIN shows the presense of hazard. The circuit was corrected and verified.