Using front-end and formative evaluation to design and test persuasive bird feeding warning signs

Wildlife feeding is a wide-spread and controversial practice that can pose serious threats to the safety of both wildlife and visitors. The design and effectiveness of warning signs in recreational areas varies considerably and is rarely the product of theoretical models or scientific research. This study uses front-end and formative evaluation to design and test the perceived effectiveness of warning signs relating to bird feeding. Stage One examined visitors' beliefs, attitudes and bird feeding behaviour and found significant differences between feeders and non-feeders. Stage Two involved designing and evaluating three signs that built on the beliefs, knowledge and mis/conceptions identified in Stage One. Respondents thought the sign that focused on the birds' health and safety would be the most persuasive, however, elements of the other two signs were also positively evaluated. The article concludes with recommendations for the wording of future bird feeding warning signs. (c) 2004 Elsevier Ltd. All rights reserved.

A distributed systems approach to secure Internet mail

One of the obstacles to improved security of the Internet is ad hoc development of technologies with different design goals and different security goals. This paper proposes reconceptualizing the Internet as a secure distributed system, focusing specifically on the application layer. The notion is to redesign specific functionality, based on principles discovered in research on distributed systems in the decades since the initial development of the Internet. Because of the problems in retrofitting new technology across millions of clients and servers, any options with prospects of success must support backward compatibility. This paper outlines a possible new architecture for internet-based mail which would replace existing protocols by a more secure framework. To maintain backward compatibility, initial implementation could offer a web browser-based front end but the longer-term approach would be to implement the system using appropriate models of replication. (C) 2005 Elsevier Ltd. All rights reserved.

Design of a compact ultra-wideband antenna

A simple method for the design of ultra-wideband antennas in planar format is presented. This method is demonstrated for a high-dielectric-constant substrate material, which allows for a considerable antenna size reduction. Simulations are performed using Ansoft's High-Frequency Structure Simulator (HFSS) for antennas assuming Du-Pont951 (epsilon(r) = 7.8) and RT6010LM (epsilon(r) = 10.2) substrates. For the 1-mm-thick DuPont951, the designed antenna with 22 X 28 nun dimensions features a 10-dB return-loss band width front 2.7 GHz to more than 15 GHz. For the 0.64-mm-thick RT6010LM a 20 X 26 nun antenna exhibits a 10-dB return loss bandwidth from 3.1 to 15 GHz. Both antennas feature nearly omnidirectional properties across the whole 10-dB return-loss bandwidth. The validity of the presented UWB antenna design strategy is confirmed by measurements performed on a prototype developed on RT6010LM substrate. (c) 2006 Wiley Periodicals, Inc.

Formalising behaviour trees with CSP

Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements axe modelled as single trees which later on are integrated into a model of the system as a whole. We develop a formal semantics for a subset of Behaviour Trees using CSP. This work, on one hand, provides tool support for Behaviour Trees. On the other hand, it builds a front-end to a subset of the CSP notation and gives CSP users a new modelling strategy which is well suited to the challenges of requirements engineering.