Search For:

Displaying 1-8 out of 8 total
Experience in developing interoperations among legacy information systems using partial reverse engineering
Found in: Software Maintenance, IEEE International Conference on
By Michael Johnson, C.N.G. Dampney
Issue Date:September 2003
pp. 369
At ICSM01 Johnson and Rosebrugh proposed a new methodology, based on formal specification techniques and partial reverse engineering, for developing interoperations among legacy information systems. The present brief paper reports on progress to date in de...
Reverse Engineering Legacy Information Systems for Internet Based Interoperation
Found in: Software Maintenance, IEEE International Conference on
By Michael Johnson, Robert Rosebrugh
Issue Date:November 2001
pp. 32
The maintenance of legacy information systems is becoming increasingly common as needs for internet based interoperation drive system changes. This paper outlines new techniques for achieving interoperability among legacy information systems, usually witho...
View Updates in a Semantic Data Modelling Paradigm
Found in: Agile Development Conference/Australasian Database Conference
By Michael Johnson, C. N. G. Dampney, Robert Rosebrugh
Issue Date:February 2001
pp. 0029
Abstract: The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in several consultancies with major Australian companies. This paper desc...
Supplying Air Warfare Capability Through High-Performance Computing
Found in: Computing in Science and Engineering
By Steven Ellison, John Dean, Michael Johnson, Cindy Prebola, Charles Fabozzi, Alexis Cenko
Issue Date:September 2010
pp. 18-26
Before weapons systems can be deployed, air armament engineers must solve problems in areas such as weapon separation, aircraft stability and control, and electromagnetic interference. The Institute for High-Performance Computing Applications to Air Armame...
A User-Centred Approach For Developing Advanced Learning Technologies Based On the Comprehensive Assistive Technology Model
Found in: Advanced Learning Technologies, IEEE International Conference on
By Marion A. Hersh, Michael A. Johnson
Issue Date:July 2007
pp. 919-920
Learning technologies are becoming increasingly important in education. Many disabled people experience barriers in accessing education and therefore these learning technologies need to facilitate access to education for disabled people rather than generat...
Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints
Found in: Hawaii International Conference on System Sciences
By Jennifer Mankoff, Deanna Matthews, Susan R. Fussell, Michael Johnson
Issue Date:January 2007
pp. 87a
What role can social networking websites play in supporting large-scale group action and change? We are proposing to explore their use in supporting individual reduction in personal energy consumption. Here we summarize some existing uses of social network...
Dynamic Phase-Only Array Beam Control Using a Genetic Algorithm
Found in: Evolvable Hardware, NASA/DoD Conference on
By Randy L. Haupt, J. Michael Johnson
Issue Date:July 1999
pp. 217
This paper describes two approaches to evolvable antenna array beams. The first approach uses a genetic algorithm for adaptive phase-only nulling with phased arrays. A genetic algorithm adjusts some of the least significant bits of the beam steering phase ...
On category theory as a (meta) ontology for information systems research
Found in: Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001 (FOIS '01)
By C. N. G. Dampney, Michael Johnson
Issue Date:October 2001
pp. 59-69
Category theory is a branch of mathematics that is renowned for itssemantic power despite its very simple axiom set. The use ofcategory theory as a meta-ontology for abstract algebra via thehighly developed field of universal algebra has suggested that itb...