Reliability factors in business software: volatility, requirements and end-users

Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.

Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.

The metamorphosis of lambda-fold K-3,K-3-designs into lambda-fold 6-cycle systems

In this paper necessary and sufficient conditions are given for the metamorphosis of a lambda-fold K-3,K-3-design of order n into a lambda-fold 6-cycle system of order n, by retaining one 6-cycle subgraph from each copy of K-3,K-3, and then rearranging the set of all the remaining edges, three from each K-3,K-3, into further 6-cycles so that the result is a lambda-fold 6-cycle system.

Corporate stadium sponsorships, signaling theory, agency conflicts, and shareholder wealth

Contrary to the plethora of critical articles recently appearing in both the popular and business press, this carefully controlled investigation of 49 stadium- and arena-naming-rights agreement announcements provides striking evidence that such sponsorships can significantly enhance the stock prices of sponsoring companies. Indeed, the results of the study show that the average stadium sponsor's stock prices increased by 1.65 percent at the time of announcement of the programs-a result considerably in excess of the returns associated with other major marketing programs such as the signing of Olympic sponsorships and celebrity endorsers. A multiple regression analysis employing firm-specific changes in stock prices as the dependent variable and quantifiable corporate and sponsorship-related attributes as independent variables is also presented. Variables positively and significantly correlated with perceived sponsorship success include team-winning percentages, contract length, and high technology and locally based companies. Overall, the findings of the study are consistent with the novel hypothesis that, for some firms, the real value-added of a stadium sponsorship may lie in its ability to serve as an effective or honest signal of managerial confidence in the future of the company.

The nexus of value chain integration and e-business applications on public sector agriculture R&D management

We examine the potential impact of interconnectivity of value chain partnerships through electronic means (e-business practices) on the management of Public Sector Agriculture R&D in Australia. We review the changing forms of managing research and development, the forces driving these changes, and R&D processes that are theoretically consistent with the move towards value chain involvement and the increase in active constituents in Public Sector Agriculture R&D. We then explore the potential of emerging e-business models to change the patterns of inter-connectivity, speed and omnipresence of partners in the value chain. Three e-business R&D management practices are identified that provide the prerequisite flexibility necessary to take advantage of opportunistic markets. These R&D business practices are: compressing R&D to reduce time to market, fostering co-development to enter a market at the last moment and building flexible products that allow adjustment at the last possible moment. Some fundamental reallocation of existing resources will be required to meet these markets. Implications of these e-business practices for R&D management are discussed.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

A real symmetric Lanczos subspace implementation of quantum scattering using boundary inhomogeneities

We present an efficient and robust method for calculating state-to-state reaction probabilities utilising the Lanczos algorithm for a real symmetric Hamiltonian. The method recasts the time-independent Artificial Boundary Inhomogeneity technique recently introduced by Jang and Light (J. Chem. Phys. 102 (1995) 3262) into a tridiagonal (Lanczos) representation. The calculation proceeds at the cost of a single Lanczos propagation for each boundary inhomogeneity function and yields all state-to-state probabilities (elastic, inelastic and reactive) over an arbitrary energy range. The method is applied to the collinear H + H-2 reaction and the results demonstrate it is accurate and efficient in comparison with previous calculations. (C) 2002 Elsevier Science B.V. All rights reserved.

Chebyshev real wave packet propagation: H+O-2 (J=0) state-to-state reactive scattering calculations

In this paper we explore the relative performance of two recently developed wave packet methodologies for reactive scattering, namely the real wave packet Chebyshev domain propagation of Gray and Balint-Kurti [J. Chem. Phys. 108, 950 (1998)] and the Lanczos subspace wave packet approach of Smith [J. Chem. Phys. 116, 2354 (2002); Chem. Phys. Lett. 336, 149 (2001)]. In the former method, a modified Schrodinger equation is employed to propagate the real part of the wave packet via the well-known Chebyshev iteration. While the time-dependent wave packet from the modified Schrodinger equation is different from that obtained using the standard Schrodinger equation, time-to-energy Fourier transformation yields wave functions which differ only trivially by normalization. In the Lanczos subspace approach the linear system of equations defining the action of the Green operator may be solved via either time-dependent or time-independent methods, both of which are extremely efficient due to the simple tridiagonal structure of the Hamiltonian in the Lanczos representation. The two different wave packet methods are applied to three dimensional reactive scattering of H+O-2 (total J=0). State-to-state reaction probabilities, product state distributions, as well as initial-state-resolved cumulative reaction probabilities are examined. (C) 2002 American Institute of Physics.

Physiological responses to the menstrual cycle - Implications for the development of heat illness in female athletes

Fluctuations in estrogen and progesterone during the menstrual cycle can cause changes in body systems other than the reproductive system. For example, progesterone is involved in the regulation of fluid balance in the renal tubules and innervation of the diaphragm via the phrenic nerve. However, few significant changes in the responses of the cardiovascular and respiratory systems, blood lactate, bodyweight, performance and ratings of perceived exertion are evident across the cycle. Nevertheless, substantial evidence exists to suggest that increased progesterone levels during the luteal phase cause increases in both core and skin temperatures and alter the temperature at which sweating begins during exposure to both ambient and hot environments. As heat illness is characterised by a significant increase in body temperature, it is feasible that an additional increase in core temperature during the luteal phase could place females at an increased risk of developing heat illness during this time. In addition, it is often argued that physiological gender differences such as oxygen consumption, percentage body fat and surface area-to-mass ratio place females at a higher risk of heat illness than males. This review examines various physiological responses to heat exposure during the menstrual cycle at rest and during exercise, and considers whether such changes increase the risk of heat illness in female athletes during a particular phase of the menstrual cycle.