Transforming Analysis Models Into Design Models For The Multiagent Engineering Systems (Mase) Methodology, Clint H. Sparkman

Theses and Dissertations

Agent technology has received much attention in the last few years because of the advantages that multiagent systems have in complex, distributed environments. For multiagent systems are to be effective, they must be reliable, robust, and secure. AFIT's Agent Research Group has developed a complete lifecycle methodology, called Multiagent Systems Engineering (MaSE), for analyzing, designing, and developing heterogeneous multiagent systems. However, developing multiagent systems is a complicated process, and there is no guarantee that the resulting system meets the initial requirements and will operate reliably with the desired behavior. The purpose of this research was to develop a semi-automated formal …

Multicast Algorithms For Mobile Satellite Communication Networks, Ryan W. Thomas

Theses and Dissertations

With the rise of mobile computing and an increasing need for ubiquitous high speed data connections, Internet-in-the-sky solutions are becoming increasingly viable. To reduce the network overhead of one-to-many transmissions, the multicast protocol has been devised. The implementation of multicast in these Low Earth Orbit (LEO) constellations is a critical component to achieving an omnipresent network environment. This research examines the system performance associated with two terrestrial-based multicast mobility solutions, Distance Vector Multicast Routing Protocol (DVMRP) with mobile IP and On Demand Multicast Routing Protocol (ODMRP). These protocols are implemented and simulated in a six plane, 66 satellite LEO constellation. …

Gss Technology As A Moderator Of Influence And Perceived Expertise, Kevin V. Thompson

Theses and Dissertations

Group Support System (355) research has found this content and process anonymity influence problem solving groups. However, previous studies report mixed results on how OSS technology changes social influence processes and recognition of expertise which affect group performance. This thesis explored content and process anonymity's affect on influence and perceived expertise using three treatments to derive possible explanations for the mixed results found in previous GSS research. The study developed a theoretical model of influence, perceived expertise, and performance. Using structural equation modeling the study tested the relationships between expertise and participation rates, and overall group performance. An experiment was …

Implementation And Analysis Of The Parallel Genetic Rule And Classifier Construction Environment, David M. Strong

Theses and Dissertations

This paper discusses the Genetic Rule and Classifier Construction Environment (GRaCCE), which is an alternative to existing decision rule induction (DRI) algorithms. GRaCCE is a multi-phase algorithm which uses evolutionary search to mine classification rules from data. The current implementation uses a genetic algorithm based 0/1 search to reduce the number of features to a minimal set of features that make the most significant contributions to the classification of the input data set. This feature selection increases the efficiency of the rule induction algorithm that follows. However, feature selection is shown to account for more than 98 percent of the …

Models For Data Source Tracking With Xml, Teoman Yoruk

Theses and Dissertations

The Air Force Research arch Laboratory, Sensors Directorate Electronic Warfare Simulation Branch (APRL/SNZW) is responsible for developing and maintaining real-world and hypothetical scenarios for an array of threat engagement simulation systems. The general for scenario creation involves mapping from real-world databases and operations plans to specific fields in the input files represent the scenario. As part of the AFRL/SNZW's overall initiative for the development of a Concurrent Engineering Real-Time database CORrelation tool (CERCORT), as important to the scenario files themselves is the capability to trace hack to the source of data for the scenario fields. Acquiring this capability consequently results …

Method And Apparatus For Detection And Prevention Of Calling Card Fraud, Hooshmand Afsar, David S. Janzen, Mark Ross Erickson, Hazel Suzanne Shirley, Christine Louise Fogarty, Michael Scott Nielsen, Douglas Alan Clark

Computer Science and Software Engineering

A method and apparatus for detection and prevention of calling card fraud is disclosed. The invention provides enhanced intelligence and efficiency in part applying by a fraud analysis associated with a calling card bill type or service provider as identified by originating partitions in network switches. Additionally, the invention incorporates a case-subcase arrangement of fraud analysis information and conducts fraud analysis on a case-by-case basis, thereby providing streamlined handling of suspected fraud. Still additionally, the invention includes an administrative monitor that continuously collects and reviews fraud system status information to detect abnormalities in the system.

Transition From Data To Information, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

It is often lamented that we human beings are suffering from an information overload. This is a myth; as shown in Fig.1, there is no information overload. Instead, we are suffering from a data overload. The confusion between data and information is not readily apparent and requires further explanation. Unorganized data are voluminous but of very little value. Over the past 15 years, industry and commerce have made significant efforts to rearrange this unorganized data into purposeful data, utilizing various kinds of database management systems. However, even in this organized form, we are still dealing with data and not …

From Rs-232 To Object Request Brokers: Incremental Object-Oriented Networking Projects, David S. Janzen

Computer Science and Software Engineering

Selecting an appropriate set of laboratory experiences and projects for a Data Communications and Computer Networks course can be difficult due to the broad and deep nature of the topics. Emphasis may be placed on many networking aspects including design, evaluation, efficiency, security, protocols, tools, and applications. This paper presents a set of projects that attempt to integrate software engineering and systems administration topics. The projects emphasize network application programming. Particular attention will be given to a sequence of incremental projects using an object-oriented approach including the use of the Unified Modeling Language (UML) and a design pattern.

Development Of Objective-Oriented Components For Atm Networks Simulation With Emphasis On Switch Architecture, Boon Pin Tan

Student Works (2000-2009)

Asynchronous Transfer Mode (ATM) is considered to be the ground on which B-ISDN is to be built. It is the new generation of communication networks that are being deployed throughout the telecommunication industry. The basic functions of ATM switch are to direct cells from input port to output port and to buffer cell destined to the same output port from different input port. This project focuses on the development of an object-oriented simulator for simulation. The simulator is designed and implemented to ensure the correctness of routing within the switch fabric, fairness of switching and to guarantee quality of service …

A Framework For Supporting The Class Of Space Partitioning, Walid G. Aref, Ihab F. Ilyas

Department of Computer Science Technical Reports

No abstract provided.

Parallel 3d Reconstruction Of Assymmetric Virus Structure From Electron From Electron Micrographs: Algorithms And Experiments, Robert E. Lynch, Dan C. Marinescu, Yongchang Ji, Hong Lin

Department of Computer Science Technical Reports

No abstract provided.

A More Efficient Document Retrieval Method For Texpros, Yin Dong

Dissertations

Document processing is a critical element of office automation. Through document classification, extraction and filing, documents are automatically placed into a knowledge base according to certain rules. Document retrieval is a process to get a document back according to a user's requirements and to show the results to the user. Hence, a good user-interface and an efficient retrieval algorithm become core parts of document retrieval.

Unlike previous browsers that have been proposed for this purpose, this dissertation develops a new browser that has a user interface with more tools, and one that has a more efficient retrieval algorithm that can …

Towards Hypermedia Support In Database Systems, Anirban Bhaumik

Theses

The general goal of our research is to automatically generate links and other hypermedia related services to analytical applications. Using a dynamic hypermedia engine (DHE), the following features have been automated for database systems. Based on the database's relational (physical) schema and its original (non-normalized) entity-relationship specification links are generated, database application developers may also specify the relationship between different classes of database elements. These elements can be controlled by the same or different database application, or even by another software system. A DHE prototype has been developed and illustrates the above for a relational database management system.

The DHE …

Visualization Techniques For Routing Protocols And Router Configurations, Vandana Pursnani

Theses

An autonomous system (AS) is a group of routers managed by a particular organization. Exterior gateway protocols (EGP) are used between AS's Internal Gateway Protocols (IGP) is used within an AS. The most common protocols used with TCP/IP are RIP, OSPF (Open Shortest Path First), IGRP / Enhanced IGRP.

The thesis revolves around OSPF protocol OSPF uses flooding to exchange link-state updates between routers. Any change in routing information is flooded to all routers in the network. Areas are introduced to put a boundary on the explosion of link-state updates. Flooding and calculation of the Dijkstra algorithm on a router …

On The Nonembeddability And Crossing Numbers Of Some Toroidal Graphs On The Klein Bottle, Adrian Riskin

Mathematics

We show that toroidal polyhedral maps with four or more disjoint homotopic noncontractiblecircuits are not embeddable on the projective plane and that toroidal polyhedral maps with -veor more disjoint homotopic noncontractible circuits are not embeddable on the Klein bottle. Wealso show that the Klein bottle crossing numbers ofCm×Cn(m6n) form=3;4;5;6 are 1,2,4,and 6, respectively, and give upper bounds for all other values ofn. These crossing numbersdispla yat ypical behavior in that the value depends onl yonminstead of on bothmandnas isthe case for the plane and projective plane.

Inter-Domain Lsp Setup Using Bandwidth Management Points, Ibrahim Taner Okumus, Junseok Hwang, Haci Ali Mantar, Steve J. Chapin

Electrical Engineering and Computer Science - All Scholarship

Bandwidth Management Points (BMP) are a necessity to manage the intra and inter-domain resources in the Internet. In this paper we propose a way to setup inter-domain Label Switched Path (LSP) with the help of a BMP in a MultiProtocol Label Switching (MPLS) over DiffServ network. We use extended Simple Inter-domain Bandwidth Broker Signalling Protocol (SIBBS) to distribute the labels inter-domain. We also use a BMP to interact with the MPLS to setup the intra-domain LSP and to provision the intra-domain traffic. With the help of a BMP, we show how end-to-end Quality of Service (QoS) can be achieved.

A "Converse" Of The Banach Contraction Mapping Theorem, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

We prove a type of converse of the Banach contraction mapping theorem for metric spaces: if X is a T₁ topological space and f: X -> X is a function with the unique fixed point a such that fⁿ(x) converges to a for each x is a member of X, then there exists a distance function d on X such that f is a contraction on the complete ultrametric space (X,d) with contractivity factor 1/2. We explore properties of the resulting space (X,d).

Jkarelrobot: A Case Study In Supporting Levels Of Cognitive Development In The Computer Science Curriculum, Duane Buck, David J. Stucki

Mathematics Faculty Scholarship

We introduce a new software tool, JKarelRobot, for supporting an Inside/Out pedagogy in introductory programming courses. Extending the original conception of "Karel the Robot", with Bloom's Taxonomy of Educational Objectives as a guiding principle, we have provided a mechanism for designing exercises that are cognitively appropriate to the developmental levels of our students. JKarelRobot is platform independent (written in Java) and language/paradigm independent, supporting Pascal, Java, and Lisp style environments.

On-Line Tutorial Project: Intellectual Property In E-Commerce, William J. Murphy

Law Faculty Scholarship

Copyrights, Trademarks and Patents make up most of the area of law known as Intellectual Property. Intellectual Property's importance in Electronic Commerce is difficult to overstate. The Internet has been defined as a global network of networks through which computers communicate by sending information in packets, and each network consists of computers connected by cables or wireless links. It is the Intellectual Property laws of Copyright, Trademark and Patents that are attempting to harmonize the effects that E-Commerce and the Internet have had on the individual's ability to access and use this information. It should be remembered that most countries …

Examining The Reflective Outcomes Of Asynchronous Computer-Mediated Communication On Inservice Teacher Development, Mark Hawkes, Alexander Romiszowski

Instructional Design, Development and Evaluation - All Scholarship

This study explored the professional development experiences of 28 practicing teachers in 10 Chicago suburban schools involved in a two-year technology supported Problem-Based Learning curriculum development effort. Asynchronous computer-mediated communications (CMC) were featured as teacher communication tools of the project. The computer-mediated discourse produced by the teachers was compared with the discourse produced by teachers in face-to-face meetings. Research methods including discourse analysis and archival data analysis were applied to determine the nature of the teacher discourse and its reflective content. The results show that while the computer-mediated teacher dialogue was less interactive, it was significantly more reflective (t=4.14, p=.001) …

No-Nonsense Guide To Csab/Csac Accreditation, Pete Sanderson

Mathematics Faculty Scholarship

CSAB/CSAC provides professional accreditation of computer science bachelor's degree programs in the United States. As of October 2000, 159 institutions held this accreditation. By our count, over 80% of the accredited programs were offered by departments which also offer graduate programs in computer science. This means that few small colleges are represented. Our intent in this work is to give the small college audience an up-to-date guide to the recently-revised CSAB/CSAC accreditation standards. The guide is not comprehensive; we emphasize those issues we believe to be of greatest interest to small colleges and address them from the perspective we have …

Privacy-Preserving Cooperative Statistical Analysis, Wenliang Du, Mikhail J. Atallah

Electrical Engineering and Computer Science - All Scholarship

The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these computations may occur between mutually untrusted entities. The problem is trivial if the context allows the conduct of these computations by a trusted entity that would know the inputs from all the participants; however if the context disallows this then the techniques of secure multi-party computation become very relevant and can provide useful solutions. Statistic analysis is a widely used computation in real life, but the known methods usually require one to know the whole …

Modeling An Algebraic Stepper, John Clements, Mathew Flatt, Matthias Felleisen

Computer Science and Software Engineering

Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which are the most important tools. In this paper, we make the case that other tools, such as debuggers and steppers, deserve semantic models, too, and that using these models can help in developing these tools. Our concrete starting point is the algebraic stepper in DrScheme, our Scheme programming environment. The algebraic stepper explains a Scheme computation in terms of an algebraic rewriting of the program text. A program is rewritten until it is in …

Spider Ii: A Component-Based Distributed Computing System, Koping Wang

Theses Digitization Project

Spider II system is the second version implementation of the Spider project. This system is the first distributed computation research project in the Department of Computer Science at CSUSB. Spider II is a distributed virtual machine on top of the UNIX or LINUX operating system. Spider II features multi-tasking, load balancing and fault tolerance, which optimize the performance and stability of the system.

Unique Supported-Model Classes Of Logic Programs, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

We study classes of programs, herein called unique supported-model classes, with the property that each program in the class has a unique supported model. Elsewhere, the authors examined these classes from the point of view of operators defined relative to certain three-valued logics. In this paper, we complement our earlier results by considering how unique supported-model classes fit into the framework given by various classes of programs in several well-known approaches to semantics.

Expanding The Notion Of Relevance In Is Research: A Proposal And Some Recommendations, Deepak Khazanchi, Bjørn Erik Munkvold

Information Systems and Quantitative Analysis Faculty Publications

Based on an analysis of a priori discussion on the notion of relevance, this paper proposes a holistic view of relevance in IS research. This expanded notion of relevance incorporates a broader definition of audience/stakeholder, and includes additional dimensions such as scope/value of relevant research, time frame, and "situatedness" of relevance. In view of this definition, it is argued that "practical relevance" is not the sole goal of academic research. Hence, the authors recommend, for example, that knowledge claims in IS need to be better communicated and targeted for the future development and recognition of the IS discipline.

Kontraktionssatze Auf Verallgemeinerten Metrischen Raumen, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Web-Based Database Management System For Research And Development Laboratories: Technical Service Support System, Benito Solórzano

Theses Digitization Project

With the use of the Internet and the emerging of e-commerce, new and improved technologies and modeling techniques have been used to design and implement web-based database management systems.

Theism And Mathematical Realism, John Byl

ACMS Journal 2004

This paper examines connections between theism and mathematical realism. Mathematical realism, which offers the best account of mathematics, strongly supports theism. Theism, in turn, supports mathematical realism. Theism readily explains the intricate relations between mathematics, matter, and mind. The attributes of the biblical God provide a justification for classical mathematics.

Mathematics As Worship, David J. Stucki

ACMS Journal 2004

This paper treats worship in a broad, inclusive sense as the primary and necessary response of human beings to their creator. It provides a brief overview of the relationship between mathematics and theology from the Pythagoreans to the present. It argues that all knowledge is contingent upon faith and thus that contemplation of mathematical insights can lead to worship of God.