Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (443)
- Information Security (181)
- Artificial Intelligence and Robotics (137)
- Electrical and Computer Engineering (129)
- Software Engineering (124)
-
- Computer Engineering (114)
- Graphics and Human Computer Interfaces (98)
- Operations Research, Systems Engineering and Industrial Engineering (97)
- Theory and Algorithms (95)
- Databases and Information Systems (61)
- Aerospace Engineering (60)
- Signal Processing (58)
- Digital Communications and Networking (54)
- Operational Research (39)
- Business (35)
- Aviation (29)
- Physics (29)
- Electrical and Electronics (25)
- Navigation, Guidance, Control and Dynamics (25)
- Other Operations Research, Systems Engineering and Industrial Engineering (23)
- Social and Behavioral Sciences (23)
- OS and Networks (21)
- Cybersecurity (18)
- Systems Engineering (18)
- Systems Architecture (17)
- Applied Mathematics (16)
- Computer and Systems Architecture (16)
- Optics (16)
- Keyword
-
- #antcenter (75)
- Machine learning (70)
- Computer networks--Security measures (47)
- Computer security (45)
- Software engineering (44)
-
- Artificial intelligence (30)
- Object-oriented programming (Computer science) (27)
- Neural networks (Computer science) (24)
- Algorithms (23)
- Virtual reality (21)
- Genetic algorithms (20)
- Computer simulation (19)
- Deep learning (19)
- Expert systems (Computer science) (19)
- Intelligent agents (Computer software) (19)
- Cybersecurity (17)
- Ada (Computer program language) (16)
- Computer vision (16)
- Neural networks (16)
- Object-oriented databases (16)
- Center_CCR (15)
- Parallel processing (Electronic computers) (15)
- Wireless communication systems (15)
- Data protection (14)
- Image processing (14)
- Reverse engineering (14)
- Computer graphics (12)
- Computer network protocols (12)
- Computer viruses (12)
- Decision making (11)
- Publication Year
- Publication
- Publication Type
- File Type
Articles 1261 - 1277 of 1277
Full-Text Articles in Computer Sciences
The Development Of A Graphical Notation For The Formal Specification Of Software, Gene A. Place
The Development Of A Graphical Notation For The Formal Specification Of Software, Gene A. Place
Theses and Dissertations
The program tranformations lifecycle model, proposed by Balzer in 1984, may hold the key to dramatic leap in software engineer productivity necessitated by the tremendous growth in the world's demand for software. This leap in productivity is made possible by the program transformation lifecycle's reliance on formal specifications rather than programs as the primary vehicle for the creation and maintenance of software systems. Because formal specifications are concerned only with system behaviors and not implementation details, formal specifications tend to present critical system characteristics much more concisely than programs. The major disadvantage of using formal specifications in a software development …
Mapping An Object-Oriented Requirements Analysis To A Design Architecture That Supports Design And Component Reuse, Kelly L. Spicer
Mapping An Object-Oriented Requirements Analysis To A Design Architecture That Supports Design And Component Reuse, Kelly L. Spicer
Theses and Dissertations
Design reuse has more potential for increasing the productivity of software development and maintenance than do traditional approaches to software reuse that emphasize reuse of smaller components. Current software development methods do not promote design reuse. The literature contains limited documented research on the subject, but enough that some design reuse principles can be gleaned. Among these principles are that reusable designs should be applicable within some domain of application, have a consistent structure, provide a method for instantiating the design, avoid object nesting, and promote reuse of smaller components as well. A design mapping method from an object-oriented requirements …
A Remote Visual Interface Tool For Simulation Control And Display, William J. Derouchey
A Remote Visual Interface Tool For Simulation Control And Display, William J. Derouchey
Theses and Dissertations
This thesis discusses the design and development of the Visual Interactive Simulation Interface Tool (VISIT). VISIT was designed to provide the graphical representation and user interface for a simulation that is running on another processor utilizing internet communications. The system provides support for various input devices to control the simulation display and environment. Simulation objects are displayed using either a three-dimensional wireframe representation or a Gouraud shaded representation. Viewer interaction to the simulation is provided by a collection of commands that allow the viewer to initialize, start, stop, abort, and restart the simulations. The viewer also has the ability to …
An Empirical Evaluation Of Analytical Models For Parallel Relational Database Queries, Mark C. Denham
An Empirical Evaluation Of Analytical Models For Parallel Relational Database Queries, Mark C. Denham
Theses and Dissertations
This thesis documents the design and implementation of three parallel join algorithms to be used in the verification of analytical models developed by Kearns. Kearns developed a set of analytical models for a variety of relational database queries. These models serve as tools for the design of parallel relational database system. Each of Kearns' models is classified as either single step or multiple step. The single step models reflect queries that require only one operation while the multiple step models reflect queries that require multiple operations. Three parallel join algorithms were implemented based upon Kearns' models. Two are based upon …
An Ada-Based Framework For An Idef0 Case Tool Using The X Window System, Jay-Evan J. Tevis Ii
An Ada-Based Framework For An Idef0 Case Tool Using The X Window System, Jay-Evan J. Tevis Ii
Theses and Dissertations
This thesis documents the design strategy, implementation methodology, testing, and evaluation used in developing an Ada-based framework for SAtool II using the X Window System. SAtool II is an IDEF0 graphical project editor and data dictionary editor. An Ada-Based Framework for an IDEF0 Case Tool Using the X Window System is the ICAM Definition Method Zero graphical notation language adopted by the U.S. Air Force to produce a function model of a manufacturing system or environment (23:1-1). The Air Force Institute of Technology is conducting on-going research in the use of IDEF0 in the requirements analysis phase …
Access And Operator Methods For The Triton Nested Relational Database System, Tina M. Harvey
Access And Operator Methods For The Triton Nested Relational Database System, Tina M. Harvey
Theses and Dissertations
Unique database requirements in the realm of non-standard applications (such as computer-aided design (CAD), computer-aided software engineering(CASE), and office information systems (OIS) have driven the development of new data models and database systems based on these new models. In particular, the goal of these new database systems is to exploit the advantages of complex data models that are more efficient (in terms of time and space) than their relationship counterparts. This research effort describes the relational design and implementation of the Triton nested relational database system, a prototype system based on the nested relational data model. Triton is intended to …
An Empirical Study Of Combining Communicating Processes In A Parallel Discrete Event Simulation, Ann K. Lee
An Empirical Study Of Combining Communicating Processes In A Parallel Discrete Event Simulation, Ann K. Lee
Theses and Dissertations
The primary goal of distributed discrete event simulations is to achieve speedup in simulation execution time by distributing the processing of the simulation over multiple processors. When partitioned for distribution in this fashion, simulations are typically partitioned such that there are more processes than processors. This thesis reviews existing methods for distributed discrete event simulations, and proposes general guidelines for efficient partitioning for a given communications topology based on empirical evidence. A performance analysis is conducted for two approaches to partitioning the system. The first method chosen is a mapping of multiple processes to a processor and the second approach …
An Object Oriented Design And Implementation Of The Idef0 Essential Data Model Using Ada And An Ada Based Expert System, Terry L. Kitchen
An Object Oriented Design And Implementation Of The Idef0 Essential Data Model Using Ada And An Ada Based Expert System, Terry L. Kitchen
Theses and Dissertations
This thesis develops and implements an Ada based object oriented design (OOD) of the IDEF0 Essential Data Model called the Essential Subsystem, which includes an Ada based expert system for IDEF0 model syntax checking. IDEF0 is a graphic approach to system description development by SofTech, Inc. for the U.S. Air Force Program for Integrated Computer Aided Manufacturing (ICAM) and is a subset of the Structured Analysis (SA) language (30, 36). The IDEF0 Essential Data Model is an entity-relationship (E-R) model of the IDEF0 language and represents the fundamental (essential) information of an IDEF0 model. …
Automatic Determination Of Recommended Test Combinations For Ada Compilers, James S. Marr
Automatic Determination Of Recommended Test Combinations For Ada Compilers, James S. Marr
Theses and Dissertations
Ada compilers are validated using the Ada Compiler Validation Capability (ACVC) test suit, containing over 4000 individual test programs. Each test program focuses, to the extent possible, on a single language feature. Despite the advantages of this atomic testing methodology, it is often the unexpected interactions between language features that result in compilation problems. This research investigated techniques to automatically identify recommended combinations of Ada language features for compiler testing. A prototype program was developed to analyze the Ada language grammar specification and generate a list of recommended of features to be tested. The output from this program will be …
An Object-Oriented Military Simulation Baseline For Parallel Simulation Research, Robert J. Rizza
An Object-Oriented Military Simulation Baseline For Parallel Simulation Research, Robert J. Rizza
Theses and Dissertations
This thesis documents the design and implementation of a discrete event military simulation using a modular object-oriented design and the C programming language. The basis simulation is one of interacting objects. The objects move along a predetermined path until they encounter another object. Objects react to the encounter object according to the implemented algorithm. Object reaction options are fight, evade, or do nothing. In the code's current form it is generic enough to allow a user the flexibility of creating an infinite number of scenarios bounded in size by the hardware's memory capacity. The modularity of design will allow for …
Computer Generated Holography As A Three-Dimensional Display Medium, Bryant L. Stuart
Computer Generated Holography As A Three-Dimensional Display Medium, Bryant L. Stuart
Theses and Dissertations
A process was developed to produce three dimensional images using computer generated holography (CGH). This process consisted of a series of steps that began with a geometric description of an object and concluded with a three dimensional holographic image being computed from a synthetic wavefront. The objects used in this series of steps (or CGH pipeline) were described geometrically as a collection of three dimensional points. The modular nature of the CGH pipeline provided a flexible platform from which to evaluate various object geometries, interference calculations algorithms, and interference pattern recording and reduction techniques. This system was implemented with general …
A Hypermedia Implementation For Reusable Software Component Representation, Gary G. Worrall
A Hypermedia Implementation For Reusable Software Component Representation, Gary G. Worrall
Theses and Dissertations
This study investigated software component representation methods. Hypermedia was chosen as the implementation method to represent a collection of reusable software components. The hypermedia implementation organizes knowledge about the component collection into a web of small information chunks called frames. The set of software components was represented using a hybrid classification scheme composed of enumerated and faceted parts. The enumerated part enables the user to progress along a path in a taxonomic tree, narrowing the scope of eligible components. Each leaf node in this tree denotes a class of components, members of which are distinguished by their time and space …
Using Error Detection And Correction Coding For A Turbulent Atmospheric Optical Communications Link, Mark A. Cloutier
Using Error Detection And Correction Coding For A Turbulent Atmospheric Optical Communications Link, Mark A. Cloutier
Theses and Dissertations
Probability of bit error (Pb) performance for a turbulent, atmospheric, optical, communications link with convolutional error detection and correction coding was investigated. The codes investigated were all rate 1/2 codes with constraint lengths ranging from 3 to 7. It was assumed that the coded data stream was sufficiently interleaved so that the turbulent channel could be considered memoryless. A theoretical bound on Pb, given by Viterbi for a memoryless channel, was used to plot curves of Pb versus the signal intensity of last transmitter. These curves were plotted for three different levels of atmospheric turbulence and three …
Model-Based 3-D Recognition System Using Gabor Features And Neural Networks, Phung D. Le
Model-Based 3-D Recognition System Using Gabor Features And Neural Networks, Phung D. Le
Theses and Dissertations
A different approach to pattern recognition was attempted using Gabor features, artificial neural nets, and an image generator. The Gabor features and artificial neural nets are sound biological-based, and the image generator provides complete access to any view of an object. This thesis tested the idea that their integration could form a robust 3-D recognition system. The results of the research showed that the Gabor features together with a neural net were used successfully in classifying objects regardless of their positions, out-of- plane rotations, and to a lesser extent in-plane rotations. The Gabor features were obtained by correlating the image …
A Whole Word And Number Reading Machine Based On Two Dimensional Low Frequency Fourier Transforms, Mark A. O'Hair
A Whole Word And Number Reading Machine Based On Two Dimensional Low Frequency Fourier Transforms, Mark A. O'Hair
Theses and Dissertations
The Fourier transform is investigated as a means for developing an optical reader capable of reading a large vocabulary without segmenting the image of a word into individual characters. The reader is capable of reading printed and cursive font styles, is scale invariant, and is substantially insensitive to noise. The image of a particular word is treated as a single symbol; the two dimensional low frequency Fourier coefficients (assuming n coefficients are calculated) define the word's location on an n dimensional hypersphere of unit radius. The distance between individual locations (words) categorizes similar and dissimilar words. The smaller the distance, …
An Abstract Data Model For The Idef0 Graphical Analysis Language, Gerald R. Morris, Thomas C. Hartrum, Mark A. Roth
An Abstract Data Model For The Idef0 Graphical Analysis Language, Gerald R. Morris, Thomas C. Hartrum, Mark A. Roth
AFIT Documents
IDEF0 is the United States Air Force's ICAM (Integrated Computer Aided Manufacturing) Definition Method Zero graphical analysis language, a subset of Ross' Structured Analysis (SA) language. The language is also an excellent methodology for performing a requirements-phase analysis for any software development project. We present an abstract data model for IDEF0 using entity-relationship diagrams. This model helps to mitigate some of the ambiguities inherent in IDEF0. The model is divided into two parts representing the analysis data (the essential data model) and the graphical data (the drawing data model). This dual modeling approach allows for the …
Software Simulation Of The D17b Computer, Bruce Chatterton
Software Simulation Of The D17b Computer, Bruce Chatterton
Theses and Dissertations
A software program has been written which simulates the functions of the Minuteman D17B computer at the register transfer level. The simulation program is written in the FORTRAN Extended language to be used on the Intercom System (teletype) of a CDC 6600 computer system. The simulation program consists of a main program and eight subroutines. A programming language for the D17B simulation was formed which contains numbers and load codes, switches, and miscellaneous commands. Example programs run on the simulated computer have been included to show the types of output available.