Inspired by a type of synesthesia where colour typically induces musical notes the MusiCam project investigates this unusual condition, particularly the transition from colour to sound. MusiCam explores the potential benefits of this idiosyncrasy as a mode of Human Computer Interaction (HCI), providing a host of meaningful applications spanning control, communication and composition. Colour dat...

We propose a framework for the formal speci cation and veri cation of timed and hybrid systems For timed systems we propose a speci cation language that refers to time only through age functions which measure the length of the most recent time interval in which a given formula has been continuously true We then consider hybrid systems which are systems consisting of a non trivial mix ture of di...

This paper presents the design of an asynchronous version of the TR4101 embedded microprocessor core developed by LSI Logic Inc. The asynchronous processor, called ARISC, was designed using the same CAD tools and the same standard cell library that was used to implement the TR4101. The paper reports on the design methodology, the architecture, the implementation, and the performance of the ARIS...

A methodology for modifying VHDL descriptions is the core of this paper. Modifications are performed on general RTL descriptions composed of a mix of control and computation, that is, the typical type of description used for designing at the RT level. Such VHDL descriptions are automatically partitioned into a reference model composed of a controller driving a data-path. We call this transforma...

There are different methods to build an anonymity service using MIXes. A substantial decision for doing so is the method of choosing the MIX route. In this paper we compare two special configurations: a fixed MIX route used by all participants and a network of freely usable MIXes where each participant chooses his own route. The advantages and disadvantages in respect to the freedom of choice a...

In this paper we show two attacks against universally resilient mix-nets. The first attack can be used against a number of mixnets, including Furukawa-Sako01 [6], Millimix [11], Abe98 [1], MiP-1, MiP-2 [2, 3] and Neff01 [19]. We give the details of the attack in the case of Furukawa-Sako01 mix-net. The second attack breaks the correctness of Millimix [11]. We show how to counter these attacks, ...

The present study is aiming to develop a simulator of the mixing process in production installations of raw meal comprising all the main characteristics of the process and raw materials. The system is described by a TITO process regarding the adjustment of the two main quality indicators of the raw meal and regulated via PID controllers. The M Constrained Integral Gain Optimization (MIGO) metho...

Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives and system specifications. In this paper, we address the complex design challenges in embedded software by focusing on predictive and systematic hierarchical design methodologies which promote system verification and validation. F...

Software maintenance is expensive and difficult because software is complex and maintenance requires understanding code written by someone else. A key component of maintainability is program understanding. Program understanding, however, is problematic for software developed on the web because web applications comprise a mix of technologies and because the rapid pace of web development often me...

Sustainable energy sources such as renewable energies are replacing dirty sources of energy in order to address the environmental challenges of the century. In order to operate data centres with renewable energies we have to mitigate their volatile and variable nature. In this paper, we present the Energy Adaptive Software Controller (EASC), a generic software controller and interface that deve...