Data flow analysis of embedded program expressions

Data flow analysis techniques can be used to help assess threats to data confidentiality and integrity in security critical program code. However, a fundamental weakness of static analysis techniques is that they overestimate the ways in which data may propagate at run time. Discounting large numbers of these false-positive data flow paths wastes an information security evaluator's time and effort. Here we show how to automatically eliminate some false-positive data flow paths by precisely modelling how classified data is blocked by certain expressions in embedded C code. We present a library of detailed data flow models of individual expression elements and an algorithm for introducing these components into conventional data flow graphs. The resulting models can be used to accurately trace byte-level or even bit-level data flow through expressions that are normally treated as atomic. This allows us to identify expressions that safely downgrade their classified inputs and thereby eliminate false-positive data flow paths from the security evaluation process. To validate the approach we have implemented and tested it in an existing data flow analysis toolkit.

An exploration of Online Shopping Cart Abandonment Syndrome – a matter of risk and reputation

ABSRACT. Despite the surge in online retail sales in recent years there still remains reluctance by consumers to complete the online shopping process. A number of authors have attributed consumers’ reluctance to purchase online to apparent barriers. However, such barriers as yet have not been fully examined within a theoretical context. This research explores the application of the perceived risk theoretical framework. Specifically, performance risk and the influence of perceived performance risk has on the phenomenon of Internet Abandoned Cart Syndrome (ACS) is evaluated. To explore this phenomenon, a number of extrinsic cues are identified as playing a major role in the performance evaluation process of online purchases. The results of this study suggest the extrinsic cues of brand, reputation, design and price have an overall impact on the performance evaluation process just prior to an online purchase. Varying these cues either positively or negatively had a strong impact on performance evaluation. Further, it was found that positive or negative reputation was heavily associated with shopping cart abandonment.

Developing a fuzzy multi-criteria decision-making model for selecting design-build operational variations

Many academic researchers have conducted studies on the selection of design-build (DB) delivery method; however, there are few studies on the selection of DB operational variations, which poses challenges to many clients. The selection of DB operational variation is a multi-criteria decision making process that requires clients to objectively evaluate the performance of each DB operational variation with reference to the selection criteria. This evaluation process is often characterized by subjectivity and uncertainty. In order to resolve this deficiency, the current investigation aimed to establish a fuzzy multicriteria decision-making (FMCDM) model for selecting the most suitable DB operational variation. A three-round Delphi questionnaire survey was conducted to identify the selection criteria and their relative importance. A fuzzy set theory approach, namely the modified horizontal approach with the bisector error method, was applied to establish the fuzzy membership functions, which enables clients to perform quantitative calculations on the performance of each DB operational variation. The FMCDM was developed using the weighted mean method to aggregate the overall performance of DB operational variations with regard to the selection criteria. The proposed FMCDM model enables clients to perform quantitative calculations in a fuzzy decision-making environment and provides a useful tool to cope with different project attributes.

The PHP intelligent tutoring system

Teaching introductory programming has challenged educators through the years. Although Intelligent Tutoring Systems that teach programming have been developed to try to reduce the problem, none have been developed to teach web programming. This paper describes the design and evaluation of the PHP Intelligent Tutoring System (PHP ITS) which addresses this problem. The evaluation process showed that students who used the PHP ITS showed a significant improvement in test scores

Brokering evaluations of partnerships in Australian community arts : responding to entrepreneurial tendencies

This article examines motivations and methods for external evaluators in taking on a brokerage relationship between artists, arts managers and governments (national and local) during an appraisal process of community arts events. The argument is situated in our experience evaluating the Creating Queensland programme, a multifaceted community arts programme presented as part of the one of Australia’s largest arts events the Brisbane Festival, in 2009 and 2010. We use this case to identify a number of principles and processes that may assist in establishing an effective evaluation process – defined, for us, as a process in which partners representing different elements of the community arts project can share information in a learning network, or an innovation network, that embraces the idea of continuous improvement. We explain that we, as consultants, are not necessarily the only participants in the evaluation process in a position to broker the decision making about what to research and report on. We argue that empowering each of the delivery partners to act as brokers, using the principles, protocols and processes to negotiate what should be researched, when, how and how it should be shared, is something each delivery partner can do. This can help create a common understanding that can reduce anxieties about using warts-and-all evaluation data to learn, grow and improve in the arts. It can, as a result, be beneficial both for the participating partners and the community arts sector as a whole.

Trialling low-cost level crossing warning devices in Australia

This paper discusses the methodology and design of the Cooperative Research Centre for Rail Innovation’s national low-cost level crossing trial programme currently being conducted in Australia. Three suppliers of innovative low-cost level crossing warning devices were chosen through a tendering and evaluation process. The paper outlines the acceptance criteria that were used to select the suppliers and describes the different types of train detection technologies and innovative cost- reduction solutions that are being tested as part of the trial. The trial is being hosted by three major railways in three different regions in Australia, where systems from the three suppliers have been installed parallel to a baseline conventional track-circuit based level crossing at each site. The paper discusses our experience to date, the trialling process and the challenges that the project has confronted in order to develop a nationally consistent trialling programme.

Teaching pharmacy students how to manage effectively in a highly competitive environment

Aims To evaluate if a revamped business management course for 4th year undergraduate pharmacy students had achieved the course aims of not only improving pharmacy students’ perceived understanding of pharmacy business management topics but also increasing their confidence in their business management knowledge and skills. Background Student feedback from previous years had indicated that the cohort had struggled to translate theoretical business management concepts learned in the classroom into practice in the workplace. To address this problem the course has been changed to a ‘flipped classroom’ format with face-to-face time focusing on case-based scenarios and interactive classroom discussion with some role plays. Method Both course assessment throughout the semester and a student survey informed the evaluation process. Results After completing the course, students felt they had increased their knowledge of business management concepts but many indicated that they lacked the confidence to undertake basic management functions. Conclusions Further course restructuring is required with a greater focus on skills development.

Measuring Competence in Supervisees and Supervisors : Satisfaction and Related Reactions in Supervision

Supervision is a highly valued component of practitioner training. This chapter discusses the following: factors influencing perceived satisfaction and alliance; and how satisfaction, alliance, and supervision relationships are currently measured; and reviews issues with the concept and its assessment. Given the importance of the supervisory relationship and of the supervisory alliance for the effectiveness of supervision and for the welfare of supervisees, the routine, repeated measurement of both these concepts, together with supervisee satisfaction, also assumes considerable utility. The chapter describes a selection of some commonly used measures: Supervisee Satisfaction Questionnaire (SSQ), Supervisory Relationship Questionnaire (SRQ), Supervisory Relationship Measure (SRM), Supervision Attitude Scale (SAS), Supervisory Working Alliance Inventory (SWAI), Supervisory Styles Inventory (SSI), Role Conflict and Ambiguity Inventory (RCAIC), and Evaluation Process within Supervision Inventory (EPSI).

Relocating the American Dream : The America of the 1960s as Portrayed by the New Journalists Norman Mailer, Hunter S. Thompson, and Tom Wolfe

The concept of the American Dream was subject to a strong re-evaluation process in the 1960s, as counterculture became a prominent force in American society. A massive generation of young people, moved by the Vietnam War, the hippie movement, and psychedelic experimentation, created substantial social turbulence in their efforts to break out of conventional patterns and to create a new kind of society. This thesis outlines and analyses the concept of the American Dream in popular imagination through three works of new journalism. My primary data consists of Tom Wolfe’s The Electric Kool-Aid Acid Test (1967), Hunter S. Thompson’s Fear and Loathing in Las Vegas: A Savage Journey to the Heart of the American Dream (1971), and Norman Mailer’s Armies of the Night: History as a Novel, the Novel as History (1968). In defining the American Dream, I discuss the history of the concept as well as its manifestations in popular culture. Because of its elusive and amorphous nature, the concept of the American Dream can only be examined in cultural texts that portray the values, sentiments, and customs of a certain era. I have divided the analytical section of my thesis into three parts. In the first part I examine how the authors discuss the American society of their time in relation to ideology, capitalism, and the media. In the second part I focus on the Vietnam War and the controversy it creates in relation to the notions of freedom and patriotism. In the third part I discuss how the authors portray the countercultural visions of a better America that challenged the traditional interpretations of the American Dream. I also discuss the dark side of the new dream: the problems and disillusions that came with the effort to change the world. This thesis is an effort to trace the relocation of the American Dream in the context of the 1960s counterculture and new journalism. It hopes to provide a valuable addition to the cultural history of the sixties and to the effort of conceptualizing the American Dream.

Action learning in partnership with Landcare and catchment management groups to support increased pasture sowings in southern inland Queensland

The incorporation of sown pastures as short-term rotations into the cropping systems of northern Australia has been slow. The inherent chemical fertility and physical stability of the predominant vertisol soils across the region enabled farmers to grow crops for decades without nitrogen fertiliser, and precluded the evolution of a crop–pasture rotation culture. However, as less fertile and less physically stable soils were cropped for extended periods, farmers began to use contemporary farming and sown pasture technologies to rebuild and maintain their soils. This has typically involved sowing long-term grass and grass–legume pastures on the more marginal cropping soils of the region. In partnership with the catchment management authority, the Queensland Murray–Darling Committee (QMDC) and Landcare, a pasture extension process using the LeyGrain™ package was implemented in 2006 within two Grain & Graze projects in the Maranoa-Balonne and Border Rivers catchments in southern inland Queensland. The specific objectives were to increase the area sown to high quality pasture and to gain production and environmental benefits (particularly groundcover) through improving the skills of producers in pasture species selection, their understanding and management of risk during pasture establishment, and in managing pastures and the feed base better. The catalyst for increasing pasture sowings was a QMDC subsidy scheme for increasing groundcover on old cropping land. In recognising a need to enhance pasture knowledge and skills to implement this scheme, the QMDC and Landcare producer groups sought the involvement of, and set specific targets for, the LeyGrain workshop process. This is a highly interactive action learning process that built on the existing knowledge and skills of the producers. Thirty-four workshops were held with more than 200 producers in 26 existing groups and with private agronomists. An evaluation process assessed the impact of the workshops on the learning and skill development by participants, their commitment to practice change, and their future intent to sow pastures. The results across both project catchments were highly correlated. There was strong agreement by producers (>90%) that the workshops had improved knowledge and skills regarding the adaptation of pasture species to soils and climates, enabling a better selection at the paddock level. Additional strong impacts were in changing the attitudes of producers to all aspects of pasture establishment, and the relative species composition of mixtures. Producers made a strong commitment to practice change, particularly in managing pasture as a specialist crop at establishment to minimise risk, and in the better selection and management of improved pasture species (particularly legumes and the use of fertiliser). Producers have made a commitment to increase pasture sowings by 80% in the next 5 years, with fourteen producers in one group alone having committed to sow an additional 4893 ha of pasture in 2007–08 under the QMDC subsidy scheme. The success of the project was attributed to the partnership between QMDC and Landcare groups who set individual workshop targets with LeyGrain presenters, the interactive engagement processes within the workshops themselves, and the follow-up provided by the LeyGrain team for on-farm activities.

Oxidative stability of phytosterols in food models and foods

An important safety aspect to be considered when foods are enriched with phytosterols and phytostanols is the oxidative stability of these lipid compounds, i.e. their resistance to oxidation and thus to the formation of oxidation products. This study concentrated on producing scientific data to support this safety evaluation process. In the absence of an official method for analyzing of phytosterol/stanol oxidation products, we first developed a new gas chromatographic - mass spectrometric (GC-MS) method. We then investigated factors affecting these compounds' oxidative stability in lipid-based food models in order to identify critical conditions under which significant oxidation reactions may occur. Finally, the oxidative stability of phytosterols and stanols in enriched foods during processing and storage was evaluated. Enriched foods covered a range of commercially available phytosterol/stanol ingredients, different heat treatments during food processing, and different multiphase food structures. The GC-MS method was a powerful tool for measuring the oxidative stability. Data obtained in food model studies revealed that the critical factors for the formation and distribution of the main secondary oxidation products were sterol structure, reaction temperature, reaction time, and lipid matrix composition. Under all conditions studied, phytostanols as saturated compounds were more stable than unsaturated phytosterols. In addition, esterification made phytosterols more reactive than free sterols at low temperatures, while at high temperatures the situation was the reverse. Generally, oxidation reactions were more significant at temperatures above 100°C. At lower temperatures, the significance of these reactions increased with increasing reaction time. The effect of lipid matrix composition was dependent on temperature; at temperatures above 140°C, phytosterols were more stable in an unsaturated lipid matrix, whereas below 140°C they were more stable in a saturated lipid matrix. At 140°C, phytosterols oxidized at the same rate in both matrices. Regardless of temperature, phytostanols oxidized more in an unsaturated lipid matrix. Generally, the distribution of oxidation products seemed to be associated with the phase of overall oxidation. 7-ketophytosterols accumulated when oxidation had not yet reached the dynamic state. Once this state was attained, the major products were 5,6-epoxyphytosterols and 7-hydroxyphytosterols. The changes observed in phytostanol oxidation products were not as informative since all stanol oxides quantified represented hydroxyl compounds. The formation of these secondary oxidation products did not account for all of the phytosterol/stanol losses observed during the heating experiments, indicating the presence of dimeric, oligomeric or other oxidation products, especially when free phytosterols and stanols were heated at high temperatures. Commercially available phytosterol/stanol ingredients were stable during such food processes as spray-drying and ultra high temperature (UHT)-type heating and subsequent long-term storage. Pan-frying, however, induced phytosterol oxidation and was classified as a rather deteriorative process. Overall, the findings indicated that although phytosterols and stanols are stable in normal food processing conditions, attention should be paid to their use in frying. Complex interactions between other food constituents also suggested that when new phytosterol-enriched foods are developed their oxidative stability must first be established. The results presented here will assist in choosing safe conditions for phytosterol/stanol enrichment.

Moral Professionalism in Interaction : Educators' Relational Moral Voices in Urban Schools

The aim of this study was to investigate educators relational moral voices in urban schools and to listen to what they told about moral professionalism and moral practices in challenging urban schools. Their relational moral voices were investigated through the following three questions: 1. What are the educators moral voices in relation to themselves and other people? 2. What are the educators moral voices in relation to their work and society? 3. What kind of interaction process lies between the educators moral voices and the urban school context? The research data of this study were gathered in four urban schools in Jyväskylä and Helsinki. The research schools were chosen for this study according to the criteria of the international Socrates Comenius project called Leading Schools Successfully in Challenging Urban Context: Strategies for Improvement. This study formed part of this project, which investigated successful urban schools as challenging learning environments in nine European countries and explored the principals success in leadership in particular. The data, which included 37 narratively constructed interviews with four principals and key informants selected by the principals, were gathered in interviews conducted in 2006. In other words, the data comprised three interviews with each of four principals, and interviews with two teachers, two parents, and two pupils from each school. In addition, the school deacon from one school was also interviewed. Furthermore, part of the data from one of the research schools included a medium report of the school deacon s work. This study combined the case study method, the narrative approach and the critical incident technique as the methodological framework. In addition, all of these methods served as practical tools for both analyzing and reporting the data. The educators' narrations and the results of the study appear in the original articles (Hanhimäki & Tirri 2008; Hanhimäki 2008b; Hanhimäki & Tirri 2009; Hanhimäki 2008a). The educators moral voices in relation to themselves and other people emerged through the main themes of moral leadership, the development and evaluation process, moral sensitivity, gender, values, and student well-being. The educators moral voices in relation to their work and society emerged through the main themes of multiprofessional cooperation, families and parental involvement, and moral school culture. The idea of moral interaction connected moral professionalism and the methodological combination of this study, which together emphasized social interaction and the creation of understanding and meaning in this interaction. The main point of this study was to state that the educators moral voices emerged in the interaction between the educators themselves and the urban school context. In this interaction, the educators moral professionalism was constructed and shaped in relation to themselves, other people, their work and society. The loudest relational moral voices heard through the main themes were those of caring, cooperation, respect, commitment, and professionalism. When the results were compared to the codes of ethics which guided these educators moral professional work, the ethical principles and values of the codes were clearly visible in their moral practices. The loudest message from the educators narration could be summarized in the words caring, respect and cooperation: at its best, there is just a human being and a human being with caring, respect and cooperation between them. The results of this study emphasize the need for practical approaches such as case studies and the narrative approach in teacher education to encourage educators to become moral professionals capable of meeting the needs of people of varied backgrounds. In addition, opportunities for moral, religious and spiritual education should be noticed and utilized in the plural interaction of urban schools when nurturing pupils and creating a moral school culture. Furthermore, multiprofessional cooperation and parents as the school s primary cooperation partner are needed to carry out the shared duty of moral education in urban schools. Keywords: moral professionalism, educator, relational moral voice, interaction, urban school

Method of Design Through Structuring of Meanings

This research shows a new approach and development of a design methodology, based on the perspective of meanings. In this study the design process is explored as a development of the structure of meanings. The processes of search and evaluation of meanings form the foundations of developing this structure. In order to facilitate the use and operation of the meanings, the WordNet lexical database and an existing visualization of WordNet — Visuwords — is used for the process of meaning search. The basic tool used for evaluation process is the WordNet::Similarity software, measuring the relatedness of meanings in the database. In this way it is measuring the degree of interconnections between different meanings. This kind of search and evaluation techniques are later on incorporated into our methodology of the structure of meanings to support the design process. The measures of relatedness of meanings are developed as convergence criteria for application in the processes of evaluation. Further on, the methodology for the structure of meanings developed here is used to construct meanings in a verification of product design. The steps of the design methodology, including the search and evaluation processes involved in developing the structure of the meanings, are elucidated. The choices, made by the designer in terms of meanings are supported by consequent searches and evaluations of meanings to be implemented in the designed product. In conclusion, the paper presents directions for developing and further extensions of the proposed design methodology.

Evaluación de la política de Espacios Naturales Protegidos: una propuesta metodológica para la Comunidad Autónoma del País Vasco

395 p.

Biological Platforms for Environmental Sensor technologies and their uses as indicators of the marine environment, Seward, Alaska, September 19-21, 2007: workshop proceedings

The Alliance for Coastal Technologies (ACT) Workshop entitled, "Biological Platforms as Sensor Technologies and their Use as Indicators for the Marine Environment" was held in Seward, Alaska, September 19 - 21,2007. The workshop was co-hosted by the University of Alaska Fairbanks (UAF) and the Alaska SeaLife Center (ASLC). The workshop was attended by 25 participants representing a wide range of research scientists, managers, and manufacturers who develop and deploy sensory equipment using aquatic vertebrates as the mode of transport. Eight recommendations were made by participants at the conclusion of the workshop and are presented here without prioritization: 1. Encourage research toward development of energy scavenging devices of suitable sizes for use in remote sensing packages attached to marine animals. 2. Encourage funding sources for development of new sensor technologies and animal-borne tags. 3. Develop animal-borne environmental sensor platforms that offer more combined systems and improved data recovery methodologies, and expand the geographic scope of complementary fixed sensor arrays. 4. Engage the oceanographic community by: a. Offering a mini workshop at an AGU ocean sciences conference for people interested in developing an ocean carbon program that utilizes animal-borne sensor technology. b. Outreach to chemical oceanographers. 5. Min v2d6.sheepserver.net e and merge technologies from other disciplines that may be applied to marine sensors (e.g. biomedical field). 6. Encourage the NOAA Permitting Office to: a. Make a more predictable, reliable, and consistent permitting system for using animal platforms. b. Establish an evaluation process. c. Adhere to established standards. 7. Promote the expanded use of calibrated hydrophones as part of existing animal platforms. 8. Encourage the Integrated Ocean Observing System (IOOS) to promote animal tracking as effective samplers of the marine environment, and use of animals as ocean sensor technology platforms. [PDF contains 20 pages]