Digital Commons Network^™

An Analysis Of Product Metrics In Terms Of Qualitative And Formal Metric Properties, Tuliz Dengi, George Zobrist

Computer Science Technical Reports

In recent years, the increased concern for developing reliable, cost-efficient software systems has been accompanied by a higher need to analyze and measure software complexity. Numerous metrics have been proposed to measure software complexity and functionality. Yet, testing the validity of these metrics has been a difficult and long process. As an initial test of metric validity, some researchers have suggested the use of formal metric properties so that metrics without a sound theoretical base are rejected right away. This approach has the additional advantage of allowing a reasonable and fair comparison of software metrics.

In this study, a discussion …

An Object-Oriented Approach To Data Exchange Applications: Development Of A Class Library For The Spatial Data Transfer Standard, Phyllis Altheida, John Prater

Computer Science Technical Reports

The object-orienced paradigm embodies a set of concepts that differentiates it from process-oriented and data-oriented methods. Among che commonly included principles are object, class, encapsulation, inheritance and polymorphism. The synergism of the concepts creates a powerful and new perspective that can be applied to all phases of systems development. Application developers need to try out the object-oriented languages, methodologies and development tools to help define its niche. The problem domain of data transfer standards is used to test the applicability of object-oriented techniques. Data transfer standards have three levels of abstraction: conceptual, logical, and format. The Spatial Data Transfer Standard …

The Emergence Of Algebraic Curves And Surfaces In Geometric Design, Chandrajit L. Bajaj

Department of Computer Science Technical Reports

No abstract provided.

Multiple-Length Division Revisited: A Tour Of The Minefield, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

Long division of natural numbers plays a crucial role in Cobol arithmetic, cryptography, and primality testing. Only a handful of textbooks discuss the theory and practice of long division, and none of them do it satisfactorily. This tutorial attempts to fill this surprising gap in the literature on computer algorithms. We illustrate the subtleties of long division by examples, define the problem concisely, summarize the theory, and develop a complete Pascal algorithm using a consistent terminology.

Parallel Cellular Automata: A Model Program For Computational Science, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

We develop a model program for parallel execution of cellular automata on a multicomputer. The model program is then adapted for simulation of forest fires and numerical solution of Laplace's equation for stationary heat flow. The performance of the parallel program is analyzed and measured on a Computing Surface configured as a matrix of transputers with distributed memory.

All-To-Many Communication Avoiding Node Contention, Sanjay Ranka, Jhy-Chun Wang

Electrical Engineering and Computer Science - Technical Reports

In this paper we present several algorithms for all-too-many personalized communications which avoid node contention.

Development Of An Environment For Software Reliability Model Selection, Salah A. Elewa

Theses and Dissertations

An environment was developed for solving the problem of selecting a proper software reliability model for a given set of software failures. The idea behind the environment developed in this dissertation was to liken a collected set of software failure data to a previous one that proved to fit well with a specified software reliability model. Software failures were assumed to have a two-Parameter exponential distribution with unequal type II censoring. A test criterion was derived for testing Ratio Criterion. The exact distribution of the test criterion was derived. An asymptotic approximation was also obtained and was found to be …

Award Fee In Software Acquisition, Mark T. Hunter

Theses and Dissertations

The focus of this research effort was to determine, in general terms, what contractual tools are available to influence contractor performance during the software development process and, specifically, whether or not award fee contracts are appropriate tools. First, a qualitative, in depth literature review was done. Next, personal interviews were conducted with Program Directors and Deputy Program Directors at Aeronautical Systems Center, Electronic Systems Center, and Space and Missiles Systems Center. Then, after the results were summarized, the data was analyzed and findings were made. Findings include: award fee was found to be the most flexible provision in the FAR …

The Development Of An Expert System For Hazardous Cargo Compatibility, Douglas A. Furst, Ronald E. Smith

Theses and Dissertations

This research demonstrates the application of expert system technology to automate the aircraft load selection process performed when transporting hazardous cargo. The resulting computer program is an expert system named HAZARD. This system incorporates the regulations governing hazardous cargo compatibility with the heuristics used by experts in loadplanning operations. The impetus to develop such a system is the January 1993 conversion of regulation guidelines for hazardous cargo classification and management in Air Force Regulation 71-4, to a universal international standard. The Cargo Operations Division of Headquarters Air Mobility Command at Scott AFB, was concerned that this change in procedures and …

Comparative Evaluation Of A Monocular Head Mounted Display Device Versus A Flat Screen Display Device In Presenting Aircraft Maintenance Technical Data, Jeffrey A. Friend, Randy S. Grinstead

Theses and Dissertations

As military developers provide increasingly complex weapon system, it becomes more difficult for maintenance technicians to perform their jobs. One aspect of the technicians' world is the need to access technical information in the performance of their duties. This study investigated two electronic display systems to evaluate which enhanced technician performance more. A Head Mounted Display (HMD) device and a portable hand-held flat-screen computer were evaluated in the performance of two flightline maintenance activities. Although both display systems were fully portable and self contained, only the HMD system allowed continuous access to technical information during task performance. In most cases, …

Comparison Of Four-Cursor Buttons Vs Joystick To Access Computerized Technical Information From An Integrated Maintenance Information System, Gerald E. Streff, Robert H. Gundel

Theses and Dissertations

The purpose of this thesis was to evaluate the use of four-cursor buttons versus a joystick device to present technical order information on a portable maintenance aid computer for aircraft technicians in a maintenance environment. Studies to date have verified the superiority of computer-presented technical orders when compared to current paper-based systems; this research investigated the effectiveness of these computer-based systems when technicians used a joystick or four-cursor button to display desired technical information. A comparison was made as to technician performance using a portable maintenance aid at the 4950th Test Wing, WPAFB OH. A total of thirty-two maintenance technicians …

The Application Of Function Points To Predict Source Lines Of Code For Software Development, Garland S. Henderson

Theses and Dissertations

This research investigated the results of using function point analysis-based estimates to predict source lines of code (SLOC) for software development projects. The majority of software cost and effort estimating parametric tools are categorized as SLOC-based, meaning SLOC is the primary input. Early in a program, an accurate estimate of SLOC is difficult to project. Function points, another parametric software estimating tool, bases software cost and effort estimates on the functionality of a system. This functionality is described by documents available early in a program. Using a modeling methodology, the research focuses on function point's ability to accurately estimate SLOC …

Erep An Editable High-Level Representation For Geometric Design And Analysis, Christoph M. Hoffmann, Robert Juan

Department of Computer Science Technical Reports

No abstract provided.

Robust Display Of Arbitrary Rational Parametric Surfaces, Chandrajit L. Bajaj, Andrew V. Royappa

Department of Computer Science Technical Reports

No abstract provided.

Design And Implementation Of The Raid V2 Distributed Database System, Bharat Bhargava, Karl Friesen, Abdelsalum Helal, Enrique Malfa, John Riedel

Department of Computer Science Technical Reports

No abstract provided.

Speedup, Communication Complexity And Blocking - A La Recherche Du Temps Perdu, Dan C. Marinescu, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Xellpack User Guide, The Parallel Ellpack Group

Department of Computer Science Technical Reports

No abstract provided.

Parallel Techniques For Paths, Visibility, And Related Problems (Thesis), Ziyi Danny Chen

Department of Computer Science Technical Reports

No abstract provided.

Formal Generation Of Executable Assertions For Application-Oriented Fault Tolerance, Hanan Lutfiyya, Martina Schollmeyer, Bruce M. Mcmillin

Computer Science Technical Reports

Executable assertions embedded into a distributed computing system can provide run-time assurance by ensuring that the program state, in the actual run-time environment, is consistent with the logical stage specified in the assertions; if not, then an error has occurred and a reliable communication of this diagnostic information is provided to the system such that reconfiguration and recovery can take place. Application- oriented fault tolerance is a method that provides fault detection using executable assertions based on the natural constraints of the application.

This paper focuses on giving application-oriented fault tolerance a theoretical foundation by providing a mathematical model for …

Using Flexible Transactions To Support Multisystem Telecommunication Applications, Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Amit P. Sheth

Kno.e.sis Publications

Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an example of a multi-system application that requires access to multiple, independently developed application systems and their databases. In this paper, we describe the design and implementation of a prototype system1 that supports the execution of the Flexible Transactions and its use to develop the service order provisioning application. We argue that such approach may be used to support the development of multi-system, flow-through processing applications in a systematic and organized manner. Its advantages include fast …

Remote Memory Backing Storage For Distributed Virtual Memory Operating Systems (Thesis), James Griffoen

Department of Computer Science Technical Reports

No abstract provided.

On Parallel Rectilinear Obstacle-Avoiding Paths, Mikhail J. Atallah, Danny Z. Chen

Department of Computer Science Technical Reports

No abstract provided.

Computing The All-Pairs Longest Chains In The Plane, Mikhail J. Atallah, Danny Z. Chen

Department of Computer Science Technical Reports

No abstract provided.

Architecture Of The Relax Problem Solving Environment, H. Scott Mcfaddin, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

On The Mapping Of Partial Differential Equation Computations Onto Distributed Memory Mimd Parallel Machines (Ph.D. Thesis), Nikos Chrisochoides

Department of Computer Science Technical Reports

No abstract provided.

Multiple Learner Systems Using Resampling Methods, Binyun Xie

Computer Science Theses & Dissertations

The N-Learners Problem deals with combining a number of learners such that the resultant system is "better", under some criterion, than the best of the individual learners. We consider a system of probably approximately correct concept learners. Depending on the available information, there are several methods to make the composite system better than the best of the individual learners. If a sample and an oracle that generates data points (but, not their classification) is available, then we show that we can achieve arbitrary levels of the normalized confidence of the composite system if (a) a robust learning algorithm is available, …

Observing Reusable Password Choices, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Why That Expression Has This Type, And How It Got It, Mike Beaven

Department of Computer Science Technical Reports

No abstract provided.

Ccis Networking - July 1992, Nova University

CCIS Networking / SCIS Networking magazines

No abstract provided.

Fault Tolerance In Concurrent Systems Through Formal Methods, H. Lutfiyya, B. M. Mcmillin

Computer Science Technical Reports

An important aspect which is often overlooked in the software design cycle is the question of assurance. Many methodologies in the past have attempted to provide assurance efficiently, but have never been sucessful at eliminating explicit time and space redundancy. One approach is the Application-Oriented Fault Tolerance Paradigm, which provides assurance by examining the behavior and propenies of the application and deriving executable assertions for the detection of faults. Previous work has demonstrated the feasibility of the application-oriented fault tolerance paradigm for various applications. However, the executable assertions were guided by the natural constraints of the problem. This work focuses …