Digital Commons Network^™

Deriving Analytic Brdfs Of Metallic Rough Surfaces, Yinlong Sun

Department of Computer Science Technical Reports

No abstract provided.

Experimenting With Server-Aided Signatures, Xuhua Ding, D. Mozzacchi, Gene Tsudik

Research Collection School Of Computing and Information Systems

This paper explores practical and conceptual implications of using Server-Aided Signatures (SAS). SAS is a signature method that relies on partiallytrusted servers for generating public key signatures for regular users. Besides its two primary goals of 1) aiding small, resource-limited devices in computing heavy-weight (normally expensive) digital signatures and 2) fast certificate revocation, SAS also o#ers signature causality and has some interesting features such as built-in attack detection for users and DoS resistance for servers.

Simulation And Close-To-Optimal Algorithm For The Static Load Balancing Of A Network Of Heterogeneous Processors, Mark G. Steiner

Theses

A close-to-optimal linear programming-based algorithm for the static load balancing of a network of heterogeneous processors is described and implemented. Experimental results suggest that the amount of time required by the implementation of the algorithm to balance the loads of the servers as a function of the number of servers has polynomial complexity.

A Review And Assessment Of Novice Learning Tools For Problem Solving And Program Development, Christopher John Bladek

Theses

There is a great demand for the development of novice learning tools to supplement classroom instruction in the areas of problem solving and program development. Research in the area of pedagogy, the psychology of programming, human-computer interaction, and cognition have provided valuable input to the development of new methodologies, paradigms, programming languages, and novice learning tools to answer this demand.

Based on the cognitive needs of novices, it is possible to postulate a set of characteristics that should comprise the components an effective novice-learning tool. This thesis will discover these characteristics and provide recommendations for the development of new learning …

Buffer Overflow And Format String Overflow Vulnerabilities, Kyung-Suk Lhee, Steve J. Chapin

Electrical Engineering and Computer Science - All Scholarship

This article surveys representative techniques of exploiting buffer overflow and format string overflow vulnerabilities and their currently available defensive measures. We also describe our buffer overflow detection technique that range checks the referenced buffers at run time. We augment executable files with type information of automatic buffers (local variables and parameters of functions) and static buffers (global variables in the data/bss section), and maintain the sizes of allocated heap buffers in order to detect an actual occurrence of buffer overflow. We describe a simple implementation with which we currently protect vulnerable copy functions in the C library.

Perspectives On The Evolution Of Simulation, Richard E. Nance, Robert G. Sargent

Electrical Engineering and Computer Science - All Scholarship

Simulation is introduced in terms of its different forms and uses, but the focus on discrete event modeling for systems analysis is dominant as it has been during the evolution of the technique within operations research and the management sciences. This evolutionary trace of over almost fifty years notes the importance of bidirectional influences with computer science, probability and statistics, and mathematics. No area within the scope of operations research and the management sciences has been affected more by advances in computing technology than simulation. This assertion is affirmed in the review of progress in those technical areas that collectively …

Filling Preposition-Based Templates To Capture Information From Medical Abstracts, Gondy Leroy, Hsinchun Chen

CGU Faculty Publications and Research

Due to the recent explosion of information in the biomedical field, it is hard for a single researcher to review the complex network involving genes, proteins, and interactions. We are currently building GeneScene, a toolkit that will assist researchers in reviewing existing literature, and report on the first phase in our development effort: extracting the relevant information from medical abstracts. We are developing a medical parser that extracts information, fills basic prepositional-based templates, and combines the templates to capture the underlying sentence logic. We tested our parser on 50 unseen abstracts and found that it extracted 246 templates with a …

Tr-2002002: Can We Optimize Toeplitz/Hankel Computations? Ii. Singular Toeplitz/Hankel-Like Case, V. Y. Pan

Computer Science Technical Reports

No abstract provided.

Tr-2002005: Towards A Theory Of Social Software, Rohit Parikh

Computer Science Technical Reports

No abstract provided.

Tr-2002008: Investigation Of The Sensitivity Of The Monte Carlo Solution For The Barker-Ferry Equation Using Different Sequential And Parallel Pseudo-Random Number Generators, T. V. Gurov, P. A. Whitlock

Computer Science Technical Reports

No abstract provided.

Integration Of Naradabrokering And Audio/Video Conferencing As A Web Service, Hasan Bulut, Geoffrey C. Fox, Shrideep Pallickara, Ahmet Uyar, Wenjun Wu

Electrical Engineering and Computer Science - All Scholarship

Audio/Video Conferencing Systems need communication channels between their clients in order to transport RTP packets from one client to another. In this paper we investigate audio/video conferencing as a Web Service and the deployment of publish/subscribe systems in the context of audio/video conferencing systems. In this paper we use our research system NaradaBrokering, which supports both peer-to-peer and publish/subscribe paradigms, as a test bed to investigate these ideas. We also present results from our research system.

Building Decision Tree Classifier On Private Data, Wenliang Du, Zhijun Zhan

Electrical Engineering and Computer Science - All Scholarship

This paper studies how to build a decision tree classifier under the following scenario: a database is vertically partitioned into two pieces, with one piece owned by Alice and the other piece owned by Bob. Alice and Bob want to build a decision tree classifier based on such a database, but due to the privacy constraints, neither of them wants to disclose their private pieces to the other party or to any third party. We present a protocol that allows Alice and Bob to conduct such a classifier building without having to compromise their privacy. Our protocol uses an untrusted …

Human-Robot Interaction: Final Report For Darpa/Nsf Study On Human-Robot Interaction, Erika Rogers, Robin R. Murphy

Computer Science and Software Engineering

No abstract provided.

Cognitive Rehab Solutions: A Computer-Assisted Cognitive Training Program, Avani Rajnikant Patel

Theses Digitization Project

The purpose of this project is to offer a functionally comprehensive application, Cognitive Rehab Solutions (CRS), that is designed for neuropsychologists to deliver restorative cognitive training in areas of attention and memory of persons with brain impairment.

Multi-Database Support In The Recursive Multi-Threaded Software Process Management Tool, Yi-Chiun Kuo

Theses Digitization Project

The Recursive Multi-Threaded (RMT) software process management tool gives software developers the following capabilities: break a large project into a sequence of prototypes (or threads) track these threads individually, and estimate the progress and completion date of the project from these individual threads. The goal of this project is to provide the RMT Tool with an ability to support multi-database for collaborative software development. As a demonstration, actual data is used from several previous algorithma projects.

The Development, Design, And Theory Of Educational Interactive Multimedia Software, William James Chapman

Theses Digitization Project

This project provides teachers and students with background information regarding software design. Specifically it will focus on design theory including content, interface, graphics, animation, navigation, and audio issues which may arise during the design and construction of educational multimedia software. The design issues represented here are demonstrated in the software "You can make a difference ... Human Rights".

Tr-2002011: Corpus-Based Ambiguity Resolution Of Biomedical Terms Using Knowledge Bases And Machine Learning, Hongfang Liu

Computer Science Technical Reports

No abstract provided.

Tr-2002012: The Aggregation And Cancellation Techniques As A Practical Tool For Faster Matrix Multiplication, Igor Kaporin

Computer Science Technical Reports

No abstract provided.

Tr-2002015: Residual Correction Algorithms For General And Structured Matrices, V. Y. Pan, M. Kunin, R. E. Rosholt, H. Cebecioglu

Computer Science Technical Reports

No abstract provided.

Tr-2002006: States Of Knowledge, Rohit Parikh

Computer Science Technical Reports

No abstract provided.

Tr-2002009: A Formal Semantics For Uml With Real-Time Constructs, Subash Shankar

Computer Science Technical Reports

No abstract provided.

Tr-2002014: Iterative Inversion Of Structured Matrices, Gianni Codevico, Victor Y. Pan, Marc Van Barel, Xinmao Wang

Computer Science Technical Reports

No abstract provided.

Ventures Into Capturing Effort In Programming, Barbara Bernal-Thomas, Briana B. Morrison

Computer Science Faculty Proceedings & Presentations

The quest for teaching a method of data collection in programming experiences was marked with successes and failures. We believe that software development curricula must provide students with knowledge and experience related to the practice of data collection, which will measure the effort put into a software project. By recording their past effort in software projects, students can more accurately estimate the amount of effort and time required to complete a future software project. Students can also learn the amount of effort required to develop “correct” software and begin to estimate the amount of time required, per software phase, to …

Medtextus: An Ontology-Enhanced Medical Portal, Gondy Leroy, Hsinchun Chen

CGU Faculty Publications and Research

In this paper we describe MedTextus, an online medical search portal with dynamic search and browse tools. To search for information, MedTextus lets users request synonyms and related terms specifically tailored to their query. A mapping algorithm dynamically builds the query context based on the UMLS ontology and then selects thesaurus terms that fit this context. Users can add these terms to their query and meta-search five medical databases. To facilitate browsing, the search results can be reviewed as a list of documents per database, as a set of folders into which all the documents are automatically categorized based on …

Evaluating Java Applets For Teaching On The Internet, Michael R. Healy '04, Dale E. Berger, Victoria L. Romero '07, Christopher L. Aberson '99, Amanda Saw '11

CGU Faculty Publications and Research

The Web Interface for Statistics Education (http://wise.cgu.edu) is a website built around interactive tutorials designed to teach introductory and advanced statistical concepts. The tutorials use Java applets that dynamically illustrate the statistical concepts being taught. By using Java applets, we teach statistics in a manner not possible in a traditional classroom environment. In this paper, we provide examples of the applets, illustrate how students use them, and we report the outcome of a study that examined tutorial effectiveness as a learning tool.

Managing Semantic Content For The Web, Amit P. Sheth, Clemens Bertram, David Avant, Brian Hammond, Krzysztof Kochut, Yashodhan Warke

Kno.e.sis Publications

By associating meaning with content, the Semantic Web will facilitate search, interoperability, and the composition of complex applications. A recent Scientific American article described the Semantic Web as 'an extension of the current Web in which information is given well-defined meaning, better enabling computers and people to work in cooperation.' Not long ago, researchers at a Stanford University symposium predicted that this second phase of the Web would be as revolutionary as the Web itself.

Predicting Oral Reading Miscues, Jack Mostow, Joseph Beck, S. Vanessa Winter, Shaojun Wang

Kno.e.sis Publications

This paper explores the problem of predicting specific reading mistakes, called miscues, on a given word. Characterizing likely miscues tells an automated reading tutor what to anticipate, detect, and remediate. As training and test data, we use a database of over 100,000 miscues transcribed by University of Colorado researchers. We explore approaches that exploit different sources of predictive power: the uneven distribution of words in text, and the fact that most miscues are real words. We compare the approaches’ ability to predict miscues of other readers on other text. A simple rote method does best on the most frequent 100 …

Workflow Quality Of Service, Jorge Cardoso, Amit P. Sheth, John A. Miller

Kno.e.sis Publications

Workflow management systems (WfMSs) have been used to support various types of business processes for more than a decade now. In ecommerce processes, suppliers and customers define a binding agreement or contract between the two parties, specifying quality of service (QoS) items such as products or services to be delivered, deadlines, quality of products, and cost of service. Management of such QoS directly impacts success of organizations participating in e-commerce. Organizations operating in modern markets require an excellent degree of quality of service management. Products and services must be available to customers with well-defined specifications. A good management of quality …

Group Properties Of Crossover And Mutation, Jonathan E. Rowe, Michael D. Vose, Alden H. Wright

Computer Science Faculty Publications

It is supposed that the finite search space Ω has certain symmetries that can be described in terms of a group of permutations acting upon it. If crossover and mutation respect these symmetries, then these operators can be described in terms of a mixing matrix and a group of permutation matrices. Conditions under which certain subsets of Ω are invariant under crossover are investigated, leading to a generalization of the term schema. Finally, it is sometimes possible for the group acting on Ω to induce a group structure on Ω itself.

Techniques For Bundling The Solution Space Of Finite Constraint Satisfaction Problems, Berthe Y. Choueiry, Amy Beckwith

School of Computing: Technical Reports

We study the backtrack-search procedure with forward checking (FCBT) for finding all solutions to a finite Constraint Satisfaction Problem (CSP). We describe how to use dynamic interchangeability to enhance the performance of search and represent the solution space in a compact manner. We evaluate this strategy (FC-DNPI) in terms of the numbers of nodes visited, constraints checked, and solution bundles generated by comparing it, theoretically and empirically, to other search strategies. We show that FC-DNPI is equivalent to search with the Cross Product Representation (FC-CPR) of [Hubbe and Freuder 1992] in terms of the numbers of solution bundles and constraint …