Museum Victoria possesses the only intact first generation electronic stored program computer left in the world. Real things, like CSIRAC, are entry portals to a past era. Along with contemporary documents and records, they are the closest we can get to time travel. They complement historical records. Historical records are not substitutes for the real thing, neither are replicas or facsimiles....

Many New Applications Will Emerge In 1947, the big idea (perhaps of all time) was the stored program computer that was soon to operate. In the same year, the transistor, a second and equally big idea, was invented. By the mid 1960s, a way of fabricating and interconnecting transistors on silicon substrates was invented and in use. The development of the microprocessor in 1971 ensured the evolut...

In digital forensics, the issue of data integrity protection for increasingly widespread applied SSD (Solid State Disk, SSD) is to be resolved. Based on Combinatorial Group Theory, mapping data objects in SSD validation process and test object in combination group testing methods, using the non-adaptive mode to the initial calculation, stored procedures, and re-calculate, verify process, and ca...

More and more business scenaria involve open systems, i.e., systems composed of interacting entities whose behaviour is not predictable in advance. The complexity of such systems increases over time, both in terms of number of interacting entities and of space of possible behaviours. For those open systems whose behaviour is relevant to the business, it is a natural requirement to be able to (i...

In this paper we introduce a MySQL code generator for a significant subset of OCL expressions which is based on the use of stored procedures for mapping OCL iterators. Our code generator is defined recursively over the structure of OCL expressions. We discuss the class of OCL expressions covered by our definition (which includes, possibly nested, iterator expressions) as well as some extensions...

Many diierent notions of \program property", and many diierent methods of verifying such properties, arise naturally in programming. We present a general framework of Speciication Structures for combining diierent notions and methods in a coherent fashion. We then apply the idea of speciication structures to concurrency in the setting of Interaction Categories. As a speciic example, a certain s...

Natural kinds, such as the concepts toy block or photosynthesis, are ubiquitous in human reasoning yet lack deenitional (i.e., individually necessary and jointly suucient) properties as membership conditions. We want to represent a wide variety of assertions about these natural concepts with precision and logical consistency. Furthermore , we want to be able to verify that the meaning of each c...

A number of approaches for evaluating recovery and its contribution to uncertainty budgets for analytical methods are considered in detail. The recovery, R, for a particular sample is considered as comprising three elements, R̄m, Rs and Rrep. These relate to the recovery for the method; the effect of sample matrix and/or analyte concentration on recovery; and how well the behaviour of spiked sam...

This paper describes the storage of electrical signals from a software framework that provides an automated diagnosis of household devices, based on power signature analysis. Storing power signatures of household devices into a database helps us in two ways: it meets the criteria for operation of the automatic diagnosis algorithm and ensures the possibility of performing future benchmarks tests...

We evaluated the competition among stored-product psocid species by conducting two series of laboratory experiments. In the first series, three species of Liposcelididae were used: Liposcelis bostrychophila, Liposcelis decolor, and Liposcelis paeta. Five adult females of these species were placed in vials containing wheat, either alone or in all possible combinations of two species. The number ...