Theses & Dissertations2007Ryan Bradetich, "Using SE-Linux Object Type Enforcement Domains to Logically Isolate SCADA Networks," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Robert Heckendorn & Brian Johnson. Barbara Endicott-Popovsky, "A Methodology for Calibrating Forensic-Ready, Low Layer Network Devices," PhD Dissertation. Major Professor: Deborah A. Frincke. Committee Members: Jim Alves-Foss, Daniel J. Ryan, & Ivan Orton. Stanley Phillips Gotshal, "Evolutionary Training of a Biologically Plausible Spino-Neuromuscular System Model," PhD Dissertation. Major Professor: Terence Soule. Committee Members: Richard Wall, Robert Rinker, & Michael O'Rourke. Donna Meyers, "An Attribute Grammar for Alert Aggregation in Intrusion Detection Systems," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Bob Rinker & Wei Li. Russell Thomason, "Orthogonal Evolution of Teams: A New Approach to Evolving Teams of Genetic Programs," MSCS Thesis. Major Professor: Terence Soule. Committee Members: Robert Heckendorn & Celeste Brown. 2006Armand Bankhead, "Computational Modeling of Cancer Etiology and Progression Using Neural Networks and Genetic Cellular Automata," BCB PhD Dissertation. Major Professor: Robert Heckendorn. Committee Members: . Sandeep Butapati, "Critical Point Identification of Traffic Networks Using Simulations and Graph Based Analysis," MS Thesis. Major Professor: Paul Oman. Committee Members: Robert Rinker & Brian Johnson. Daniel Conte DeLeon, "Completeness of Implementation Traceability for the Development of High Assurance and Critical Computing Systems," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Erol Barbut, Paul Oman & Terence Soule. Jennifer Joy, "A Content Guard For Adobe Portable Document Format (PDF)," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Paul Oman & Richard Wells. Alan Piszcz, "Towards understanding the Correlation of Problem Difficulty and Parameter Sensitivity in Genetic Programming," PhD Dissertaion. Major Professor: Terrance Soule. Committee Members: Robert Heckendorn, Robert Rinker & Jim Frenzel. Jeffery Choi Robinson, "A High Assurance Multi-Level Secure File Server," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Terence Soule & Roger Korus. Bei Wang, "Possibilistic Information Flow Analysis And Formal Verification of Multiple Single-Level Secure Execution Monitoring Mechanisms for High Assurance Systems," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: W. Scott Harrison & Demetrios Kazakos. Huaqiang Wei, "Layered Decision Model for Cost Effective Network Safeguarding," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Terence Soule, Hugh Pforsich & Du Zhang. Dong Yu, "A Novel Alert Correlation and Confidence Fusion Framework in Intrusion Detection Systems," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Roger Korus, W. Scott Harrison & Rickard Wells. Shanyu Zheng, "A Communication-Computation Efficient Group Key Algorithm for Large and Dynamic Groups," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Sauchi Stephen Li, Paul Oman & Terence Soule. 2005Barry Ahrens, "Genetic Algorithm Optimization of Supperresolution Paramters," MSCS Thesis. Major Professor: James Foster. Committee Members: Robert Hiromoto & Raymond Dacey. Matthew Wayne Benke, "On the Survivability of Transportation Systems," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Ahmed Abdel-Rahim & Robert Rinker. Sergio Paul Caltagirone, "Active Response," MSCS Thesis. Major Professor: Deborah Frincke. Committee Members: Paul Oman & Steffen Werner. Gerard Goh, "Using Computational Tools to Interpret Protein Disorder Prediction Errors in Neural Networks," MSCS Thesis. Major Professor: James Foster. Committee Members: Robert Heckendorn & A. Keith Durker. Stanley Phillips Gotshall, "Modeling and Hypothesis Testing in an Evolutionary Spino-Neuromuscular System," MSCS Thesis. Major Professor: Terence Soule. Committee Members: James A. Foster & Richard Wells. Jonathan Graham. "Efficient Allocation in Distributed Object Oriented Databases with Capacity and Security Constraints", PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Robert B. Heckendorn, Terence Soule, & Atsushi Inoue. Martin Hash, "High-quality, Interactive, 3D Character Animation for the Internet," PhD Dissertation. Major Professor: Robert Hiromoto. Committee: Paul Oman, Scott Harrison & Edwin Catmull. Smitha Kara, "Using Classic Optimization to Speed Up Burn In and Mixing in Markov Chain Monte Carlo Methods for Phylogenetic Inference," BCB MS Thesis. Major Professor: Robert Heckendorn. Committee: Jack Sullivan, Paul Joyce & Robert Hiromoto. Xian Liu, "A Representation-Less Model for Analyzing Bloat in Artificial Evolutionary Systems," MSCS Thesis. Major Professor: Terence Soule. Committee Members: Robert B. Heckendorn & Kirk Steinhorst. David Manz, "A Network Simulator For Group Key Management Algorithms", MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: Terence Soule & Norman Pendegraft. Paul Ortman, "Designing and Building a Rapidly Reconfigurable Attack-Defend Instructional Computing Laboratory," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Jim Alves-Foss & Brian Johnson. Matthew Phillips, "Event Monitoring and Intrusion Detection in SCADA Systems," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Scott Harrison & Brian Johnson. Matthew Settles, "Breeding Swarms: A GA/PSO Hybrid for Real Parameter Optimization," MSCS Thesis. Major Professor: Terence Soule. Committee Members: James A. Foster, Robert B. Heckendorn & James F. Frenzel. John Waite, "A Testbed for SCADA Security and Survivability Research and Instruction," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Scott Harrison & Brian Johnson. F. Nathan Webber, "Communication Issues Involved in Implementing High-Level Behaviors in Unmanned Aerial Vehicles," MSCS Thesis. Major Professor: Robert Hiromoto. Committee Members: Jim Alves-Foss & Murali Medidi. Donghui Yang, "A Threat-Scenario-Driven Modeling Approach to the MMR", MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: Terence Soule & Raymond Dacey. 2004Wayne F. Boyer, "Efficient Scheduling Techniques and Performance Evaluation Methods for Heterogeneous Distributed Computer Systems," PhD Dissertation. Major Professor: Gurdeep S. Hura. Committee Members: Jim Alves-Foss, Axel W. Krings & John C. Crepeau. Edward Harris Flowers, "Diversity in Coevolving Populations" MSCS Thesis. Major Professor: Terence Soule. Committee Members: William S. Junk & Mark Nielsen. James A. Galbraith, "A Portable Open Source Framework for a Real-Time Data Acquisition System," MSCS Thesis. Major Professor: Gurdeep S. Hura. Committee Members: William S. Junk & Vivek Utgikar. Nadine Hanebutte, "Analysis of Security and Survivability As Software Quality Attributes," PhD Dissertation. Major Professor: Paul W. Oman. Committee Members: Axel W. Krings, John Dickinson & Reiner R. Dumke. Michael Harrison, "Using Co-evolution to Improve the Fault Tolerance of Sorting Networks," MSCS Thesis. Major Professor: James Foster. Committee Members: Terrence Soule & Richard Wells. Jayasankar Kelath, "A Lightweight Survivability Architecture Implementing Real-Time Recovery," MSCS Thesis. Major Professor: Axel W. Krings. Committee Members: Robert Hiromoto & Curtis Dyreson. Marc Laude, "Middleware Guard: A Security Component in the MILS Architecture with CORBA/GIOP," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: W. Scott Harrison & James Frenzel. Ryan Leigland, "Formal Model for Computer Forensics Procedures," MSCS Thesis. Major Professor: Axel Krings. Committee Members: Gurdeep Hura & John Crepeau. Sreekanth Malladi, "Formal Analysis and Verification of Password Protocols," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Terence Soule, John Dickinson & Brian Johnson. David E. Mohs, "Problem Transformation and Adaptation Based on Infrastructure Mapping," MSCS Thesis. Major Professor: Axel W. Krings. Committee Members: W. Scott Harrison & Richard B. Wells. Tracy Mark Olaveson, "Group Based Access Controls", MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: Gurdeep Hura & John Crepeau. Jian Shen, "A New Representation Scheme for Genetic Algorithms for Solving the Phylogenetic Inference Problem," MSCS Thesis. Major Professor: Robert Heckendorn. Committee: Terrence Soule & Paul Joyce. Kevin Steffenson, "Crew Vehicle Interface Requirements: Development and Maintenance for Military Aircraft," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Robert Hiromoto & Barry Willis. Carol Taylor, "Techniques for the Survivability of Critical Computer Systems," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Axel W. Krings, Paul Oman & John McHugh. Christopher Willis-Ford, "Non-Stationary Subtasks and Their Effect on Stationary-Task Genetic Algorithms," MSCS Thesis. Major Professor: Terence Soule. Committee Members: Robert B. Heckendorn & James F. Frenzel. 2003Abdullah Al-Qahtani, "Formal Approaches for Specifying, Enforcing, and Verifying Security Policies," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Robert Rinker, Terry Soule & Keith Prisbrey. YingYin Chen, "Application of Neutral Networks to Character Recognition," MSCS Thesis. Major Professor: Terence Soule. Committee Members: John Dickinson & Richard B. Wells. Greg Corbett, "JMX Enabled Mobile Agents for Fault Management," MSCS Thesis, Major Professor: Gurdeep Hura. Committee Members: Scott Matthews & John Crepeu. John M. Hall, "An Investigation into Immune-Based Intrusion Detection," MSCS Thesis. Major Professor: Deborah A. Frincke. Committee Members: Terence Soule & Carolyn Bohack. Timothy M. Hill, "Exploring Scalability and Load Testing in the Lotus Domino Environment," MSCS Thesis. Major Professor: Gurdeep Hura. Committee Members: John Dickinson & Maxine Dakins. Milos Manic, "Techniques in Neural Network Training with an Enhanced Robustness," PhD Dissertation. Major Professor: Bogan Wilamowski. Committee Members: James A. Foster, Axel W. Krings & Peter Goodwin. Robert Morris, "Attribute Classification and Reduction for a Real-time Misuse Intrusion Detection System," MSCS Thesis. Major Professor: Axel Krings. Committee Members: Scott Harrison & Richard Wells. Patrick O'Connell, "The Idaho Partitioning Machine: A MILS Partitioning Kernel Model in ACL2," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Robert Rinker & Annette Folwell. Joseph P. Richards, "Using Very Small Population Sizes in Genetic Algorithms to Achieve Acceptable Results Using Minimal Resources," MSCS Thesis. Major Professor: Terence Soule. Committee Members: Robert B. Heckendorn & James F. Frenzel. Vamshi Venapally, "Kernel Level Anomaly Detection System," MSCS Thesis. Major Professor: Scott Harrison. Committee Members: Axel Krings & Richard Wells. 2002Abdullah Al-Muhaitheef, "The Firewall Mobile Customs Agent: A Distributed Firewall Architecture," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: John Dickinson, Terence Soule & Keith Prisbrey. Daniel Conte de Leon, "Formalizing Traceability Among Software Work Products," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: William Junk & Erol Barbut. Chung-Tong Hu, "Policy Machine for Universal Access Control," PhD Dissertation. Major Professor: Deborah Frincke. Committee Members: Scott Harrison, Jim Alves-Foss & Norman Pendegraft. Kosuke Imamura, "N-Version Genetic Programming: A Probabilistically Optimal Ensemble Approach," PhD Dissertation. Major Professor: James A. Foster. Committee Members: John Dickinson, Terrence Soule & James F. Frenzel. Hyungjick Lee, "Securing Mobile Agents through Evaluation of Encrypted Functions," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Karen Van Houten, W. Scott Harrison, Axel Krings & Jin Park. Sreekanth Malladi, "A General Scheme to Prevent Replay Attacks on Security Protocols," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Robert Heckendorn, John Dickinson & Richard Wells. Mark Matthew Meysenburg, "How Random Number Generator Quality Affects Simple Genetic Algorithm Performance," PhD Dissertation. Major Professor: James A. Foster. Committee Members: John Dickinson, James F. Frenzel & Robert B. Heckendorn. Rob Shepherd, "Fault Tolerance in Evolved Sorting Networks: The Search for Inherent Robustness," MSCS Thesis. Major Professor: James A. Foster. Committee Members: Robert B. Heckendorn & James F. Frenzel. Gang Wang, "How to Choose Appropriate Function Sets for Genetic Programming," MSCS Thesis. Major Professor: Terrence Soule. Committee Members: John Dickinson & Chris Williams. 2001Jung Pil Choi, "Aspect-oriented Programming with Enterprise JavaBeans," MSCS Thesis. Major Professor: Arthur Lee. Committee Members: Amit Jain & Larry Stauffer. Jie Dai, "Logic Based Policy Engineering in Distributed Authorization," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Paul Oman, John Dickinson & Richard Wells. Bill Hallinan, "Improving Software Engineering Practice through Competency Based Personnel Reviews," MSCS Thesis, Major Professor: William S. Junk. Committee Members: Scott Matthews & Barry Willis. Xiaodi Lu, "Interoperability Issues Between Policy Domains in a Distributed Environment," MSCS Thesis. Major Professor: Deborah Frincke. Committee Members: Axel Krings & James Frenzel. Bart Rylander, "Computational Complexity and the Genetic Algorithm," PhD Dissertation. Major Professor: James A. Foster. Committee Members: Jim Alves-Foss, Terence Soule & Erol Barbut. Carol Taylor, "NATE: Network Analysis of Anomalous Traffic Events, A Low-Cost Approach," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Axel Krings & Christopher Williams. Yanping Zhang, quot;Web-based Instructional System,quot; MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen VanHouten & Barry Willis 2000Michael Chapple, "Network Intrusion Detection Utilizing Classification Trees," MSCS Thesis. Major Professor: Deborah A. Frincke. Committee Members: Jim Alves-Foss & James F. Frenzel. John Determan, "Automatic Expert System Rule Generation On Non Destructive Waste Assay Data," MSCS Thesis. Major Professor: James A. Foster. Committee Members: Robert Heckendorn, Scott D. Matthews & Richard Wells. Patricia Loo, "A Comparison Study of Rapid Application Development," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Scott Matthews & Earl Marwil. Jason Edward Masner, "Impact of Size, Representation and Robustness in Evolved Sorting Networks," MSCS Thesis. Major Professor: James A. Foster. Committee Members: John Dickinson & James F. Frenzel. Gregory Vert, "Fuzzy Object Relational Model for the Management of Spatial Data," PhD Dissertation. Major Professor: Molly Stock. Committee Members: Ashley Morris, Paul Gessler & Piotr Jankowski. Gang Xiao, "Early Stopping Byzantine Agreement in LAN Based Network Environments," MSCS Thesis. Major Professor: Axel Krings. Committee Members: John Dickinson & Richard Wells. Yanping Zhang, "Web-based Instructional System," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen Van Houten & Barry Willis. Hyun Sik Yoon, "Towards Evolvable Objects Using a Metalevel Architecture," MSCS Thesis. Major Professor: Arthur Lee. Committee Members: James Buffenbarger & Jacob Baker. 1999Ambika Baburaj, "Tactical Software Project Management Using Metrics Signatures," MSCS Thesis. Major Professor: Paul Oman. Committee Members: John Dickinson & Touraj Assafi. Sebastian G. Elbaum, "Conceptual Framework for a Software Black Box," PhD Dissertation. Major Professor: John C. Munson. Committee Members: Paul Oman, Axel Krings, Deborah Frincke & John Sturgul. Brad Harvey, "Byte Code Genetic Programming and Its Application to Data Mining," MSCS Thesis. Major Professor: Deborah A. Frincke & James A. Foster. Committee Member: James F. Frenzel. Shankar Kundala "Formal Verification of Authentication Protocols Using the Watson Theorem Prover," MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: John Dickinson & Randall Holmes. Miles Penner, "The Conceptual Source Code Module: An Approach to Processing C and C++ Source Code Files," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Jim Alves-Foss & Erol Barbut. Xiaohui Wang, "Cluster Approach to Distributed Byzantine Agreement," MSCS Thesis. Major Professor: Axel Krings. Committee Members: John Munson & Richard Wells. 1998Mark A. Pokorny, "Direct Encodings for Genetic Neural Network Design," MSCS Thesis. Major Professor: James A. Foster. Committee Members: John Dickinson & James F. Frenzel. Jacqueline S. Shoaf, "Indirect Solution Representation in Genetic Algorithms with an Application to the Efficient Set Problem," MSCS Thesis. Major Professor: James A. Foster. Committee Members: Deborah A. Frincke & Mario G. Reyes. Terence Soule, "Code Growth In Genetic Programming," PhD Dissertation. Major Professor: James A. Foster. Committee Members: Jim Alves-Foss, James F. Frenzel & Deborah A. Frincke. Ruinian Zhong, "Syntactic Approach to Audit Data Reduction and Management," MSCS Thesis. Major Professor: Deborah Frincke. Committee Members: Karen Van Houten & Erol Barbut. 1997William Danielson, "Evolving the Two-stroke Internal Combustion Engine Via Genetic Algorithms," MSCS Thesis. Major Professor: Deborah Frincke. Committee Members: James Foster & Dean Edwards. Govind Deshpande, "Statistical Modeling of Software Quality Measures to Uncover Missing Metrics and Measurement Domains," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Deborah Frincke & Eugene Saghi. Surekha Ghantasala, "Multilevel Data Security for an Embedded Real-Time Operating System," MSCS Thesis, Major Professors: Jim Alves-Foss & Deborah A. Frincke. Committee Members: James Frenzel. Yuan He, "Partial Order State Transition Analysis for an Intrusion Detection System," MSCS Thesis. Major Professor: Deborah Frincke. Committee Members: Jim Alves-Foss & Richard Wells. Fong Shing Lam, "Dynamic Denotational Semantics of Java," MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: James Foster, Randall Holmes & Gene Saghi. Mark M. Meysenburg, "The Effect of Pseudo-Random Number Generator Quality on the Performance of a Simple Genetic Algorithm," MSCS Thesis. Major Professor: James A. Foster. Committee Members: John Dickinson & Gene Saghi. Riyaz Sadiq, "Expert System for an Indoor Tree Seeding Nursery," MSCS Thesis. Major Professor: Molly Stock. Committee Members: John Dickinson, James Moore & David Wenney. Jianqiang Zhuo, "Using Relative Complexity to Allocate Resources in Gray Box Testing of Object-Oriented Code," PhD Dissertation. Major Professor: Paul Oman. Committee Members: John Dickinson, John Munson & Dean Edwards. 1996Charles P. Cavaiani, "Mutual Authenticating Protocol in a Client/Server Environment," MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: Deborah Frincke, Earl Marwell & Mark Oliver. Glen Hansen, "Scalability of Preconditioners as a Strategy for Parallel Computation of Compressible Fluid Flow, quot; PhD Dissertation. Major Professors: John Dickinson & Eugene Saghi. Committee Members: Rod Douglass, Dana Knoll, & Michael Barnett. Toni Hempstead, "Software Maintainability Index for SQL," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Scott Matthews & Brad Eldredge. Jon Scott Jensen, "Quantitative Measurement of Software Reusability," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Scott D. Matthews & H. Bradley Eldredge. Stephen Kram, "A Case Study: Implementing Software Metrics at the U. S. Air Force's Standard Systems Center," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Deborah Frincke & Barry Willis. Troy Pearse, "A Study of Software Portability to Identify Tangible Characteristics of Portable Programs," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Dean Edwards. Regi John Zachariah, "Implementing and Validating a Metrics Set for Static Code Reusability Assessment," MSCS Thesis. Major Professor: Paul Oman. Committee Members: John Munson, Deborah Frincke & Erol Barbut. 1995Darwin Anderson, "Designing and Implementing a Network Security Protocol for Secure Network Communications," MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: Deborah A. Frincke & James Frenzel. Zhijian Chen, "Static Techniques for Measuring Software Reusability," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Erol Barbut. Luis A. Guillen, "A Study of the Effectiveness if Selected Software Testing Techniques in dBase Programs," MSCS Thesis. Major Professor: William S. Junk. Committee Members: John Dickinson & James H. Hardcastle. Munna, "Mechanical Verification of Authentication Protocols for Distributed Systems", MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: Deborah A. Frincke, James Foster & James Frenzel. Dale Swanson, "Developing Solutions for Time-Constrained Robot Path-Planning," MSCS Thesis. Major Professor: Paul Oman. Committee Members: John Dickinson & Erol Barbut. Andrew Tompkins, "SIMPLAN: Finding Software Faults Through Program Simulation," MSCS Thesis. Major Professor: Deborah Frincke. Committee Members: Jim Alves-Foss & Norman Pendegraft. Bradley Zheng, "A Study on Monotonicity and the Use of Halstead's Metrics," MSCS Thesis. Major Professor: Paul Oman. Committee Members: . 1994Zhijian Chen, "Static Techniques for Measuring Software Reusability," MSCS Thesis. Major Professor: Paul Oman. Committee Members: . Michael Coe, "Results from Verifying a Pipelined Microprocessor," MSCS Thesis. Major Professor: Phillip Windley. Committee Members: Michael Barnett & James Frenzel. Michael W. Cohn, "Empirical Evaluation of a Proposed Set of Complexity Metrics for Identifying Defect Prone Classes in Object–Oriented Programs," MSCS Thesis. Major Professor: William S. Junk. Committee Members: James A. Foster & Erol Barbut. Karattup Narendran, "Efficient Implementations of Communication Library Routines in Mesh Architectures," MSCS Thesis. Major Professor: Michael Barnett. Committee Members: James Foster & James Frenzel. Derreck Walters, "Empirical Evaluation of a Proposed Set of Complexity Metrics for Identifying Defect Prone Classes in Object-oriented Programs," MSCS Thesis. Major Professor: Phillip Windley. Committee Members: Michael Barnett & John Purviance. Kurt D. Welker, "Application of Software Metrics to Object Based, Re-engineered Code Implementation in Ada," MSCS Thesis. Major Professor: William S. Junk, Committee Members: Paul Oman, Scott D. Matthews & Alan G. Stephens. Jianqiang Zhuo, "Constructing and Testing C-MAT: A C Source Code Maintainability Assessment Tool," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Dean Edwards. 1993Salvador Barbosa, "The Security Confidence Index: Measuring the Security of your System," MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: James Foster, Jack Kulas & Erol Barbut. Karen C. Harris, "A Critical Evaluation of Grant Management in Elected Academic Medical Centers," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Thomas Miller & Randell Byers. Shifeng Li, "Formal Specification of a Secure Distributed Operating Systems Kernel", MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: Phillip Windley & Erol Barbut. Bruce Lowther, "The Application of Software Maintainability Metric Models to Industrial Software Systems," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Doug Gillan. Kimberlyn Mousseau, "Three Software Testing Techniques and Their Effectiveness for Oracle – A Fourth Generation Language," MSCS Thesis. Major Professor: William S. Junk. Committee Members: David M. Barber, Scott D. Matthews & Earl S. Marwil. Xin Yang, "Spiral Prototyping: Definition, Application, and Comparison to Specifying," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Erol Barbut. 1992Linda Corder, "The Legal Protection of Software: An Examination of Alternatives to the Existing Protection Schemes," MSCS Thesis. Major Professor: Jack Kulas. Committee Members: Paul Oman & Barbara Hannan. Jack Hagemeister," A Metric Approach to Assessing the Maintainability of Software," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Willy Brandal. Atef Suleiman, "A Procedural Perspective on the Warren Abstract Machine for Executing Compiled Prolog," MSCS Thesis. Major Professor: Jack Kulas. Committee Members: John Dickinson & Erol Barbut. Mengjin Su, "Customization of Operators for Genetic Algorithms," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Kevin Twitchell, "Independent Verification and Validation of Large Software Requirement Specification Databases," MSCS Thesis. Major Professor: William S. Junk. Committee Members: David M. Barber & Donald Sales. Weiguo Zhu, "Algorithms for Binary String Tree Manipulation," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Karen Van Houten, James Foster & James Calvert. Fang Zhuo, "A Comparison of Software Maintainability Indices," MSCS Thesis. Major Professor: Karen VanHouten & Paul Oman. Committee Members: John Dickinson & Sterling Whitaker. 1991Phyllis Crandall, "Computer Noun-Noun Interpretation," MSCS Thesis. Majaor Professor: Jack Kulas. Committee Members: John Dickinson & Gary Carden. Leonard Hermens, "A Software Specification Tool for Increased Requirements Traceability," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk, Jack Kulas, Erol Barbut & Steve Chandler. David Mann, "A Parallel Distributed Processing Solution to the N-Queens Problem," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen Van Houten & Molly Stock. Don Moreaux, "A Formalism for the Detection and Prevention of Illicit Program Derivations," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk, Charles Nelson & William Voxman. Grant Spencer, "Prototyping vs. Specifying: An Experimental Comparison of Complexity, Effort, and Quality," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk, John Dickinson & . 1990Earl Capps, "The Evolution of a Training Program into the Implementation of an Automated Office System," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Fenton Tyler & Alving Nelson. David Sherman, "Image Classification and the Relationship Between Network Architectures and Learning," MSCS Thesis. Major Professor: Jack Kulas. Committee Members: John Dickinson & Sallie Gordon. 1989Scott Matthews, "A Comparison of Complexity Metrics for FORTRAN 77 and Modula-2 Programs," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Neldon Marshall, Fenton Tyler & Fred Tingy. Rodney Rigby, "Using and Developing Augmented Transition Networks: Psycholinguistic Considerations and an Editor / Compiler Environment, " MSCS Thesis. Major Professor: Jack Kulas. Committee Members: John Dickinson & Steve Chandler. 1988John Adams, "A Study of Business Data Processing from 1950 through 1987 Encompassing Both Mainframe and PC Environments with a Special Section Evaluating Computer-Aided Software Engineering (CASE) Tools Using the Questionnaire Method," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Neldon Marshall & Alan Nelson. 1987Roger Barga, "Variations on Cooperative Computation and Learning in Boltzmann Machines," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen Van Houten & Sallie Gordon. Ilonka Evans, "TLR II: An Extended Theory of Character Recognition," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Ya Yen Wang & Sallie Gordon. 1986Lowell Campbell, "Expert System for the iPSC Hypercube," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Ya Yen Wang & Willy Brandal. Craig Fujiki, "An Evaluation of Holland’s Genetic Operators Applied to a Program Generator," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen VanHouten & Arie Bialostocki. Joseph Hicklin, "Application of the Genetic Algorithm to Automatic Program Generation," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Terry Cline & Robert Gregory. Fausto Pasmay, "Expert Systems Using Time," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen VanHouten & Paul Dierker. 1985Stephanie August, "Analogy Recognition and Comprehension In Editorials," MSCS Thesis. Major Professor: . Committee Members: . Peter Ohler, "Implementation of Expert Systems on Microcomputers," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen Van Houten & Robert Gregory. 1984Jim Conrad, "A Comparison of the Computer Programming Languages Ada and Modula-2," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Terry Cline, Martin Young & . Lyle Dolven, "Structured Design Approach for Specifying Security Controls in Computer Applications," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Fenton Tyler & James Smiley. Wayne Schorzman, "A Conceptual Design of a Three-layered Distributed Computer System to Provide Automated Control in a Liquid Metal Fast Breeding Reactor System,", MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen Van Houten & Bruce Peterson. Jerry Tifft, "An Implementation of a Knowledge Representation Language," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Terry Cline & Gary Maki. 1983Edward Gleason, "GP2: A Second Generation Computer Aided Graphics System," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Robert Rinker & Terry Precht. Tung Huei Ku, "Software Science: Measurement and Evaluation of LISP and Pascal Programs," Major Professor: John Dickinson. Committee Members: Ya Yen Wang & William Junk. 1982Ramin Neshati, "Software Science: Measurement and Evaluation of PASCAL Programs," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Charles Nelson, Karen Van Houten & Charles Nelson. 1981N. Julian & L. Lux, "Business terminal sequrity system," MSCS Thesis. Major Professor: Charles Aquilina. Committee Members: Joe Thomas & John Dickinson. 1980Valeriu Hulubei, "Dynamic Memory Allocation Using First-fit and Best-fit Algorithms Under FIFO Release Process," MSCS Thesis. Major Professor: John Dickinson. Committee Members: James Calvert & Donald Haber. |