Search
Now showing items 221-230 of 230
Dust in a Hostile Environment: Interstellar Dust in the Line of Sight to HD62542
(Astronomical Society of the Pacific, 1996)
HD 62542 is situated in a line of sight toward a ridge of dark matter in the Gum Nebula. That region is under the influence of UV radiation and stellar winds from hot stars. We use for the first time interstellar polarization ...
Formal methods: no cure for faulty reasoning
(University of Hertfordshire, 1996)
Owing to the benefits commonly associated with their use and links with scientific culture, formal methods have become closely identified with the design of safety-critical systems. But, despite the mathematical nature of ...
Discretionary non-repudiation
(University of Hertfordshire, 1996)
Non-repudiation is necessary when services are provided in a distributed and open computer system. In this paper we aim to clarify what is meant by non-repudiation, identify who needs it, and determine why it is needed. ...
H IIRegion Statistics in Barred and Non-Barred Galaxies
(Astronomical Society of the Pacific, 1996)
We present new high quality Ha continuum-subtracted images of the grand design galaxies NGC 157, NGC 3631, NGC 6764, and NGC 6951, two of them barred and two non-barred, and describe the statistical properties of the HII ...
Improving discernment in DEA using profiling
(1996)
The failure of data envelopment analysis to provide adequate discrimination between a small number of alternatives is illustrated using a facility location problem. A straightforward modification which finds a desirability ...
Notations for modelling multimedia systems
(University of Hertfordshire, 1996)
This report is one of the deliverables from the M3 (Modelling MultiMedia) project, which was funded by the EPSRC under the ROPA initiative. The other four reports from the project can be found in the references section ...
An investigation into the measurement of notations used in software modelling
(University of Hertfordshire, 1996)
Measurement systems for software abound in the literature as do those for models in specification languages. This report applies measurement to the formal notations themselves making use of the principle of model-based ...
The problem area of invoice matching at Neon Electrical- a case study of SSM in business systems analysis and design
(University of Hertfordshire, 1996)
Today's business systems analysts deal with problem areas which can be diverse in size and complexity. The tools they use to clarify these problem areas are traditionally 'hard' systems methodologies such as Structured ...