1 Digital technologies can help in expanding and democratizing knowledge by evenly spreading it between the developed core and the developing peripheries. Evidence suggests that digital technologies are in fact helping to expand knowledge, but are not succeeding in democratizing it. That is, digital technologies are helping to bridge the digital divide (narrowly defined), but are insufficient t...

The Australian workplace has emerged as an important venue for influencing the health of employees through regulations and behaviour change programs. Recent surveys have highlighted a growth in this activity but the effectiveness of these programs in changing unhealthy work practices and policies is questionable. The need for strengthening programs by stronger designs and evaluation, and addres...

This report sets forth a national research agenda aimed at improving the quality of computer software–an invisible, yet increasingly crucial, element of our national infrastructure. The report is a summary of a meeting of research and industrial leaders, held at San Diego, California, 1-3 August 1989, under the sponsorship of the U.S. Office of Naval Research and Office of Naval Technology. Thi...

The issue of detention as a public health control measure has attracted attention recently. This is because the threat of strains of tuberculosis that are resistant to a wider range of drugs has been identified, and there is renewed concern that public health is threatened. This paper considers whether involuntary detention is justified where voluntary measures have failed or where a patient po...

This paper addresses the design of control-dominated systems using a synchronous approach and the UML. The work aims at formally checking the design: scenarios/controller consistency, and safety properties. For this, a strengthening of UML behavioral models is necessary: SyncCharts are used instead of Statecharts, and Sequence Diagrams are modified by adding synchronously sound constructs akin ...