Digital Commons Network^™

What A Mesh: Dependent Data Types For Correct Mesh Manipulation Algorithms, Joel R. Brandt

All Computer Science and Engineering Research

The Edinburgh Logical Framework (LF) has been proposed as a system for expressing inductively defined sets. I will present an inductive definition of the set of manifold meshes in LF. This definition takes into account the topological characteri-zation of meshes, namely their Euler Characteristic. I will then present a set of dependent data types based on this inductive def-inition. These data types are defined in a programming language based on LF. The language’s type checking guarantees that any typeable expression represents a correct manifold mesh. Furthermore, any mesh can be represented using these data types. Hence, the encoding is sound …

E-Mail Spam Filtering Solution For The Western Interstate Commission For Higher Education (Wiche), Jerry Worley

Regis University Student Publications (comprehensive collection)

WICHE staff, consultants and constituents that connect to WICHE's network are provided with internet access and e-mail accounts. In the past, email was not monitored or controlled, other than scanning e-mail attachments for viruses with Norton Antivirus for Exchange Server. This has become a problem for several reasons. Just a few of the reasons are viruses, wasted staff time, inappropriate material stored on the network and inappropriate use of network resources. The WICHE Spam filtering solution includes monitoring and restriction of incoming and outgoing email, email attachment and storage limitations and filtering incoming email for Spam. All internal, incoming and …

Improving Routing Security Using A Decentralized Public Key Distribution Algorithm, Jeremy C. Goold

Theses and Dissertations

Today's society has developed a reliance on networking infrastructures. Health, financial, and many other institutions deploy mission critical and even life critical applications on local networks and the global Internet. The security of this infrastructure has been called into question over the last decade. In particular, the protocols directing traffic through the network have been found to be vulnerable. One such protocol is the Open Shortest Path First (OSPF) protocol. This thesis proposes a security extension to OSPF containing a decentralized certificate authentication scheme (DecentCA) that eliminates the single point of failure/attack present in current OSPF security extensions. An analysis …

Development Of An Online Business-To-Business Gift Box Company, Jason R. Lynn

Regis University Student Publications (comprehensive collection)

The Silvered Leaf & Co. project addresses a potential on-line web solution and e-business for marketing, selling and distributing specialized and contemporary theme-based gift baskets featuring products produced and manufactured on the Western Slope of Colorado. Currently, there are many web-based businesses that offer gift baskets with a variety of goods. However, all of the available options duplicate each other in quality, selection of products, and overall appeal. In addition, the web content and solutions on the existing sites are limited and cluttered. Each provides a few features that are appealing but none contain the majority of the important features …

Software Architecture Improvement Through Test-Driven Development: An Empirical Study, David S. Janzen

Computer Science and Software Engineering

Despite a half century of advances, the software construction industry still shows signs of immaturity. Professional software development organizations continue to struggle to produce reliable software in a predictable and repeatable manner. While a variety of development practices are advocated that might improve the situation, developers are often reluctant to adopt new, potentially better practices based on anecdotal evidence alone. As a result, empirical software engineering has gained credibility as a discipline that provides scientific data about practice efficacy on which developers can make critical decisions. This research proposes to apply empirical software engineering techniques to evaluate a new approach …

Experimental Program Analysis: A New Program Analysis Paradigm, Joseph R. Ruthruff, Sebastian Elbaum, Gregg Rothermel

School of Computing: Technical Reports

Program analysis techniques analyze software systems to collect, deduce, or infer information about them, which can then be used in software-engineering related tasks. Recent research has suggested that a new form of program analysis technique might be created by incorporating characteristics of experimentation into analyses. This paper reports the results of research exploring this suggestion. Building on background in classical experimentation, we provide descriptive and operational definitions of experimental program analysis, illustrate them by examples, and describe several differences between experimental program analysis and classical experimentation. We present three studies that show how the use of the paradigm can help …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 7, April 2005, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A six page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Services Learning Practicum, Andrew Charles Swanson

Regis University Student Publications (comprehensive collection)

The Service Learning Practicum is a document driven knowledge management system. The purpose of the Practicum is to involve MSCIT students in IT projects that support and provide solutions to non-profit organizations or non-governmental organizations (NGOs). The main documents that drive the practicum are the student application; the NGO needs statement; and the student's thesis, design, and research documents. The practicum unites graduate students with NGOs. Both benefit from this union because the student is able to reach academic goals and the NGOs are able to implement low-cost or no-cost solutions for their IT needs. This project implements a graphic …

Evaluating Online Trust Using Machine Learning Methods, Weihua Song

Doctoral Dissertations

Trust plays an important role in e-commerce, P2P networks, and information filtering. Current challenges in trust evaluations include: (1) fnding trustworthy recommenders, (2) aggregating heterogeneous trust recommendations of different trust standards based on correlated observations and different evaluation processes, and (3) managing efficiently large trust systems where users may be sparsely connected and have multiple local reputations. The purpose of this dissertation is to provide solutions to these three challenges by applying ordered depth-first search, neural network, and hidden Markov model techniques. It designs an opinion filtered recommendation trust model to derive personal trust from heterogeneous recommendations; develops a reputation …

Development Of A Model United Nations Website, Keir Paesel

Regis University Student Publications (comprehensive collection)

The purpose of this project was to create a website to support the annual Cairo American College Model United Nations (CACMUN) conference. Cairo American College is a private, non-profit, K-12 school for expatriate children living in Cairo, Egypt. Model United Nations (MUN) is an educational simulation of the United Nations. During MUN conferences, students assume the role of delegates from various countries, and work with peers to discuss and solve world issues. Each year, approximately 200 students from ten schools attend CACMUN. Most schools come from different countries in the Middle East. The conference needs to be advertised to potential …

Proceedings Of The Ieee Southeastcon 2005, Yair Levy

CCE Faculty Books and Book Chapters

No abstract provided.

A Prototype Industrial Maintenance Software System To Apply A Proactive Approach To Equipment Failure, Arnold Ralph Persinger

Regis University Student Publications (comprehensive collection)

This project proposes a technical solution to create a proactive approach to industrial equipment maintenance for a large paper manufacturing facility. The traditional method for scheduling maintenance on manufacturing equipment uses a reactive approach. Reactive maintenance essentially means to perform repairs on equipment after failure has occurred; the process of these repairs begins by acquiring needed replacement part(s) utilizing a SAP (Systems Applications Products) system for authorization and ordering. Actual repairs are carried out by craftsmen based on their general knowledge of a specific trade and any previous experience concerning the failed equipment. The part(s) order through the SAP system …

Developing A B -Tagging Algorithm Using Soft Muons At Level-3 For The Dø Detector At Fermilab, Mayukh Das

Doctoral Dissertations

The current data-taking phase of the DØ detector at Fermilab, called Run II, is designed to aid the search for the Higgs Boson. The neutral Higgs is postulated to have a mass of 117 GeV. One of the channels promising the presence of this hypothetical particle is through the decay of b-quark into a muon. The process of identifying a b-quark in a jet using muon as a reference is b-tagging with a muon tag.

At the current data taking and analysis rate, it will take long to reach the process of identifying valid events. The triggering mechanism of the …

Fly Through A Pig's Heart: An Educational Computer Game, Thomas Wischgoll, Joerg Meyer

Computer Science and Engineering Faculty Publications

No abstract provided.

Guest Editor’S Introduction: Ieee 2004 International Symposium On Software Testing And Analysis, Gregg Rothermel

School of Computing: Faculty Publications

The International Symposium on Software Testing and Analysis (ISSTA) is the leading research conference in software testing and analysis. ISSTA brings together academics, industrial researchers, and practitioners to present and discuss the most promising approaches for using testing and analysis to assess and improve software and the processes by which it is engineered.
ISSTA 2004 was held in at the Parker House Hotel in Boston, Massachusetts, July 11-14, 2004. On this occasion the conference was co-located with the 16th Computer- Aided Verification Conference (CAV 2004), with the two conferences sharing a day of sessions. The conference was also preceded by …

Bridging The Paradigm Gap With Rules For Owl, Jurgen Angele, Boris Motik, Rudi Studer, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Accelerated by the vision of the semantic web, semantic technologies have recently made significant advances. The underlying methods and paradigms are already being transferred to adjacent areas of research in artificial intelligence, knowledge management, and elsewhere. Textbooks explaining the foundations have appeared. Large national and international projects on the topic are under way.

The Bipartite Clique: A Topological Paradigm For Web User Search Customization And Web Site Restructuring, Brenda F. Choyce-Miles

Doctoral Dissertations

The objective of this dissertation research is to aid the Web user to achieve his search objective at a host Web site by organizing a strongly connected neighborhood of Web pages that are thematically and spatially related to the user's search interest. Therefore, methods were developed to (1) find all Web pages at a given Web site that are thematically similar to a user's initial choice of a Web page (selected from the set of Web pages returned in response to a query by any popular search engine), and (2) organize these pages hierarchically in terms of their relevance to …

Integrated Modeling And Parallel Computation Of Laser-Induced Axisymmetric Rod Growth, Hong Lan

Doctoral Dissertations

To fully investigate a pyrolytic Laser-induced chemical vapor deposition (LCVD) system for growing an axisymmetric rod, a novel integrated three-dimensional mathematical model was developed not only to describe the heat transport in the deposit and substrate, but also to simulate the gas-phase in the heated reaction zone and its effect on growth rate. The integrated model consists of three components: the substrate, rod, and gas-phase domains. Each component is a separate model and the three components are dynamically integrated into one model for simulating the iterative and complex process of rod deposition.

The gas-phase reaction is modeled by the gas-phase …

Web Service Semantics - Wsdl-S, Rama Akkiraju, Joel Farrell, John A. Miller, Meenakshi Nagarajan, Amit P. Sheth, Kunal Verma

Kno.e.sis Publications

The current WSDL standard operates at the syntactic level and lacks the semantic expressivity needed to represent the requirements and capabilities of Web Services. Semantics can improve software reuse and discovery, significantly facilitate composition of Web services and enable integrating legacy applications as part of business process integration. The Web Service Semantic s technical note defines a mechanism to associate semantic annotations with Web services that are described using Web Service Description Language (WSDL). It is conceptually based on, but a significant refinement in details of, the original WSDL-S proposal [WSDL-S] from the LSDIS laboratory at the University of Georgia. …

Personalization By Program Slicing, Saverio Perugini, Naren Ramakrishnan

Computer Science Faculty Publications

Personalization involves customizing information access to the end-user. As any new area of computer science research it lacks formal models to guide the design of systems. In this paper, we present a modeling methodology, based on generative programming, for personalizing interactions with hierarchical websites. The methodology entails modeling a user’s interaction with a site in a program and applying program slicing to personalize the interaction. While preserving interactivity, this approach does not require the designer to anticipate all possible user interactions a priori and provide interfaces for each. Moreover, it provides a theoretical, systematic, and implementation-neutral way to design systems …

Prioritized Multiplicative Schwarz Procedures For Solving Linear Systems, Nathaniel Powell, Kevin Seppi, Quinn O. Snell, David Wingate

Faculty Publications

We describe a new algorithm designed to quickly and robustly solve general linear problems of the form Ax = b. We describe both serial and parallel versions of the algorithm, which can be considered a prioritized version of an Alternating Multiplicative Schwarz procedure. We also adopt a general view of alternating Multiplicative Schwarz procedures which motivates their use on arbitrary problems (even which may not have arisen from problems that are naturally decomposable) by demonstrating that, even in a serial context, algorithms should use many, many partitions to accelerate convergence; having such an over-partitioned system also allows easy parallelization of …

Ceg 210-01: Pc Networking I, Karen Meyer

Computer Science & Engineering Syllabi

Introduction to PC networking hardware, concepts, and technologies. Focus is on LAN Administration.

Ceg 260-01: Digital Computing Hardware/Switching Circuits, Eric Maston

Computer Science & Engineering Syllabi

We will discuss and cover basic digital, combinational and sequential logic systems. Labs will be used to gain valuable practical experience in implementing elementary circuits and logic designs.

Ceg 210-01: Pc Networking I, Karen Meyer

Computer Science & Engineering Syllabi

Introduction to PC networking hardware, concepts, and technologies. Focus is on LAN administration, and hardware and software configuration.

Cs 206: Computer Software Productivity Tools, Greg Coffey

Computer Science & Engineering Syllabi

This course introduces advanced computer applications using MS Word, MS Excel, MS Access, and MS PowerPoint.

Cs 207: Advanced Office Productivity Ii, Louis A. Benavides

Computer Science & Engineering Syllabi

This course covers post-advanced microcomputer applications including Microsoft Office Word 2003, Microsoft Office Excel 2003, Microsoft Office Access 2003, and Microsoft Office PowerPoint 2003. Topics include: creating an online form; working with macros and Visual Basic for Applications (VBA); working with a master document, an index and a table of contents; linking an Excel worksheet and charting its data in Word; formula auditing, data validation, and complex problem solving in Excel; importing data into Excel; working with PivotCharts, PivotTables, and trendlines in Excel; creating a PivotTable List; advanced Access report and form techniques, and creating multi-page forms; administering a database …

Ceg 255-01: Introduction To The Design Of Information Technology Systems, Eric Maston

Computer Science & Engineering Syllabi

Information systems consist of modern elements such as database systems, networks, multi-platform distributed computing, web infrastructure and multimedia computing. In this course we will address these areas individually and also where they intersect to gain a basic understanding of how information technology can be used to solve real problems.

Cs 141: Computer Programming - I, Ronald F. Taylor

Computer Science & Engineering Syllabi

This course provides a general introduction to the fundamentals of computer programming. Examples from and applications to a broad range of problems are given. No prior knowledge of programming is assumed. The concepts covered will be applied to the Java programming language. Students must register for both lecture and one laboratory section. 4 credit hours. Prerequisite: MTH 127 (College Algebra) or equivalent.

Cs 241: Computer Science Ii, L. Jane Lin

Computer Science & Engineering Syllabi

This course is the second in the three course sequence "Introduction to Computer Science" offered by the Computer Science department, WSU. It focuses on tools for building abstract data types (using structure and class concepts in C++)
and Object-Oriented Programming. We also begin the study of data structures in this course. For All CS 241 students, concurrent registration into CS 241 lab is a must.

Cs 466/666: Introduction To Formal Languages, Thomas Sudkamp

Computer Science & Engineering Syllabi

CS 466/666 is an introduction to formal language and automata theory. In this course we will examine methods for defining syntax of languages and recognizing patterns: the syntax of languages can be defined using grammars and patterns accepted by finite state machines. Along with presenting the fundamentals of these two topics, the course will develop and investigate the relationships between language definition and pattern recognition. The text will be the third edition of Languages and Machines: An Introduction to the Theory of Computer Science.