Programs as paths: An approach to timing constraint analysis

A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.

Consumer search of the web: An exploratory analysis of antecedents of web search satisfaction

This article explores consumer Web-search satisfaction. It commences with a brief overview of the concepts consumer information search and consumer satisfaction. Consumer Web adoption issues are then briefly discussed and the importance of consumer search satisfaction is highlighted in relation to the adoption of the Web as an additional source of consumer information. Research hypotheses are developed and the methodology of a large scale consumer experiment to record consumer Web search behaviour is described. The hypotheses are tested and the data explored in relation to post-Web-search satisfaction. The results suggest that consumer post-Web-search satisfaction judgments may be derived from subconscious judgments of Web search efficiency, an empirical calculation of which is problematic in unlimited information environments such as the Web. The results are discussed and a future research agenda is briefly outlined.

User satisfaction with allied health services delivered to residential facilities via videoconferencing

We have investigated the role of videoconferencing in allied health service provision to high-care clients in rural residential facilities. Videoconferencing equipment was set up at a rural aged-care facility and a metropolitan allied health centre; ISDN transmission at 384 kbit/s was used to link the equipment. Twelve residents were assessed by both videoconference and face to face across five allied health disciplines (a total of 120 assessments). User satisfaction was measured using questionnaires and focus groups. Face-to-face assessment took significantly longer than videoconferencing assessment. However, the mean satisfaction ratings for face-to-face assessments were higher than for videoconferencing and the majority of the staff preferred the face-to-face format. Videoconferencing was particularly useful for consultations and the initial stages of the assessment process. A number of issues relating to the videoconferencing equipment, to the environment in which assessments were performed and to the clients themselves need to be addressed in order for this form of service delivery to be effective.