An FPGA network architecture for accelerating 3DES - CBC

This paper presents a DES/3DES core that will support cipher block chaining (CBC) and also has a built in keygen that together take up about 10% of the resources in a Xilinx Virtex II 1000-4. The core will achieve up to 200Mbit/s of encryption or decryption. Also presented is a network architecture that will allow these CBC capable 3DES cores to perform their processing in parallel.

Refinement laws for verifying library subroutine adaptation

In component-based software engineering programs are constructed from pre-defined software library modules. However, if the library's subroutines do not exactly match the programmer's requirements, the subroutines' code must be adapted accordingly. For this process to be acceptable in safety or mission-critical applications, where all code must be proven correct, it must be possible to verify the correctness of the adaptations themselves. In this paper we show how refinement theory can be used to model typical adaptation steps and to define the conditions that must be proven to verify that a library subroutine has been adapted correctly.

Virtual teachers: Negotiating new spaces for teaching bodies

In 2002, the authors reviewed the educational performance of a state education department virtual schooling service during its first 2 years of operation, 2000-2001 (Pendergast, Kapitzke, Land, Luke, & Bahr, 2002). Established by Education Queensland, the Virtual Schooling Service (VSS) utilises synchronous and asynchronous online delivery strategies and a range of learning technologies to support students at a distance (see http://education.qld.gov.au/learningplace/vss/). The service commenced with a focus on senior secondary subjects. At present, there are over 700 students in 89 schools across the state enrolled in 9 subjects. In response to the recommendations of the study, a series of professional development activities were conducted with the VSS teachers by the authors. Opportunity for critical reflection was provided, including consideration of the ways in which the teachers were developing as a learning community. Some data, including visual representations, were collected from participants with the purpose of understanding how VSS teachers are constructed as professionals. This study compares and contrasts that data with self-constructions of teacher professionals in other fields.

Sound source localisation through active audition

This paper presents a novel method for enabling a robot to determine the direction to a sound source through interacting with its environment. The method uses a new neural network, the Parameter-Less Self-Organizing Map algorithm, and reinforcement learning to achieve rapid and accurate response.