Computer Sciences Commons^™

Java’S Insecure Parallelism, Per Brinch Hansen

College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects

The author examines the synchronization features of Java and finds that they are insecure variants of his earliest ideas in parallel programming published in 1972-73. The claim that Java supports monitors is shown to be false. The author concludes that Java ignores the last twenty-five years of research in parallel programming languages.

Formal Development Of Secure Email, Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin

Electrical Engineering and Computer Science - All Scholarship

Developing systems that are assured to be secure requires precise and accurate descriptions of specifications, designs, implementations, and security properties. Formal specification and verification have long been recognized as giving the highest degree of assurance. In this paper, we describe a software development process that integrates formal verification and synthesis. We demonstrate this process by developing assured sender and receiver C++ code for a secure electronic mail system, Privacy Enhanced Mail. We use higher-order logic for system-requirements specification, design specifications and design verification. We use a combination of higher-order logic and category theory and tools supporting these formalisms to refine …

Minitel Versus The Internet In France, Ruthie Kerr

Capstone Research Projects

No abstract provided.

The Gateway System: Uniform Web Based Access To Remote Resources, Geoffrey C. Fox, Tomasz Haupt, Erol Akarsu, Alexey Kalinichenko, Kang-Seok Kim

Northeast Parallel Architecture Center

Exploiting our experience developing the WebFlow system, we designed the Gateway system to provide seamless and secure access to computational resources at ASC MSRC. The Gateway follows our commodity components strategy, and it is implemented as a modern three-tier system. Tier 1 is a high-level front end for visual programming, steering, run-time data analysis and visualization that is built on top of the Web and OO commodity standards. Distributed object-based, scalable, and reusable Web server and Object broker middleware forms Tier 2. Back-end services comprise Tier 3. In particular, access to high-performance computational resources is provided by implementing the emerging …

Thoughts On The Structure Of An Mpj Reference Implementation, Mark Baker, Bryan Carpenter

Northeast Parallel Architecture Center

We sketch a proposed reference implementation for MPJ, the Java Grande Forum's MPI-like message-passing API [9, 3]. The proposal relies heavily on RMI and Jini for finding computational resources, creating slave processes, and handling failures. User-level communication is implemented efficiently directly on top of Java sockets.

Join Index Hierarchy: An Indexing Structure For Efficient Navigation In Object-Oriented Databases, Jiawei Han, Zhaohui Xie, Yongjian Fu

Computer Science Faculty Research & Creative Works

A novel indexing structure - join index hierarchy - is proposed to handle the 'gotos on disk' problem in object-oriented query processing. The method constructs a hierarchy of join indices and transforms a sequence of pointer chasing operations into a simple search in an appropriate join index file, and thus accelerates navigation in object-oriented databases. The method extends the join index structure studied in relational and spatial databases, supports both forward and backward navigations among objects and classes, and localizes update propagations in the hierarchy. Our performance study shows that partial join index hierarchy outperforms several other indexing mechanisms in …

A Model-Based Approach For Compression Of Fingerprint Images, Fikret Erçal, M. Gokmen, Ilker Ersoy

Computer Science Faculty Research & Creative Works

We propose a new fingerprint image compression scheme based on the hybrid model of an image. Our scheme uses the essential steps of a typical automated fingerprint identification system (AFIS) such as enhancement, binarization and thinning to encode fingerprint images. The decoding process is based on reconstructing a hybrid surface by using the gray values on ridges and valleys. In this compression scheme, the ridge skeleton is coded efficiently by using differential chain codes. The valley skeleton is derived from the ridge skeleton and the gray values along the ridge and valley skeletons are encoded using the discrete cosine transform. …

The Gateway System: Uniform Web Based Access To Remote Resources, Tomasz Haupt, Erol Akarsu, Geoffrey C. Fox, Alexey Kalinichenko

Northeast Parallel Architecture Center

Exploiting our experience developing the WebFlow system, we designed the Gateway system to provide seamless and secure access to computational resources at ASC MSRC. The Gateway follows our commodity components strategy, and it is implemented as a modern three-tier system. Tier 1 is a high-level front-end for visual programming, steering, run-time data analysis and visualization, built on top of the Web and OO commodity standards. Distributed object-based, scalable, and reusable Web server and Object broker middleware forms Tier 2. Back-end services comprise Tier 3. In particular, access to high performance computational resources is provided by implementing the emerging standard for …

Websearch: A Configurable Parallel Multi-Search Web Browser, Jason Lin

Theses Digitization Project

No abstract provided.

Formal Analysis Of A Secure Communication Channel: Secure Core-Email Protocol, Dan Zhou, Shiu-Kai Chin

Electrical Engineering and Computer Science - All Scholarship

To construct a highly-assured implementation of secure communication channels we must have clear definitions of the security services, the channels, and under what assumptions these channels provide the desired services. We formally define secure channel services and develop a detailed example. The example is a core protocol common to a family of secure email systems. We identify the necessary properties of cryptographic algorithms to ensure that the email protocol is secure, and we verify that the email protocol provides secure services under these assumptions. We carry out the definitions and verifications in higher-order logic using the HOL theorem-prover. All our …

Performance Analysis Of Csma And Btma Protocols In Multihop Networks: Part Ii - Multiple Channel Case, Lin Wu, Pramod K. Varshney

Electrical Engineering and Computer Science - All Scholarship

Busy tone multiple access protocols have been used in multihop networks to reduce the effect of the hidden terminal problem. This paper demonstrates another approach to reduce the effect of the hidden terminal problem namely the use of multiple channel schemes. A protocol that uses both the busy tone and the multiple channel techniques achieves the best performance. Using a Markov chain model and an approximation, the throughput performance of the multiple channel nonpersistent CSMA protocol and the multiple channel conservative BTMA protocol in a large network is evaluated and compared. The results show that the multichannel CSMA and BTMA …

Pi-Web Join In A Web Warehouse, Sanjay Kumar Madria, Wee Keong Ng, Ee-Peng Lim, Sourav S. Bhowmick

Computer Science Faculty Research & Creative Works

With the enormous amount of data stored in the World Wide Web, it is increasingly important to design and develop powerful web warehousing tools. The key objective of our web warehousing project, called WHOWEDA (Warehouse of Web Data), is to design and implement a web warehouse that materializes and manages useful information from the web. We introduce the concept of Π-web join in the context of WHOWEDA. Pi-web join operator is a web information manipulation operator to combine relevant web information residing in two web tables. Informally, it is the combination of web join and web project operators which filter …

Customizable And Ontology-Enhanced Medical Information Retrieval Interfaces, Gondy Leroy, K.M. Tolle, Hsinchun Chen

CGU Faculty Publications and Research

This paper describes the development and testing of the Medical Concept Mapper as an aid to providing synonyms and semantically related concepts to improve searching. All terms are related to the userquery and fit into the query context. The system is unique because its five components combine humancreated and computer-generated elements. The Arizona Noun Phraser extracts phrases from natural language user queries. WordNet and the UMLS Metathesaurus provide synonyms. The Arizona Concept Space generates conceptually related terms. Semantic relationships between queries and concepts are established using the UMLS Semantic Net. Two user studies conducted to evaluate the system are described.

The Internet Instructional Aid, Dohyon Donte Kim

Theses Digitization Project

The development and use of this instructional software tool for the Internet contributes broadly to the increasing sophistication and practical nature of Internet interactive development and programming and specifically to the burgeoning of interactive instructional distance technologies made available by the unique nature of the Internet.

Internet Instructional Aid (IIA) is a software package that utilizes the WEB to teach educational courses online. The purpose of this software-package is to provide an environment in which students can have additional group and individual contact with the instructor and convenient access to prior class lectures and instructional materials. Utilizing Java, the newly …

Neural Computation Of All Eigenpairs Of A Matrix With Real Eigenvalues, Serafim Theodore Perlepes

Theses Digitization Project

No abstract provided.

Cost-Benefit Analysis Of Web Bag In A Web Warehouse, Sanjay Kumar Madria, Wee Keong Ng, Ee-Peng Lim, Sourav S. Bhowmick

Computer Science Faculty Research & Creative Works

Sets and bags are closely related structures and have been studied in relational databases. A bag is different from a set in that it is sensitive to the number of times an element occurs, while a set is not. In this paper, we introduce the concept of a Web bag in the context of a World Wide Web warehouse called WHOWEDA (WareHouse Of WEb DAta) which we are currently building. Informally, a Web bag is a Web table which allows multiple occurrences of identical Web types. A Web bag helps one to discover useful knowledge from a Web table, such …

Can Mathematics Be Taught In A Christian Way?, Johan Deklerk

ACMS Journal 2004

Some people would argue that mathematics cannot be taught in a Christian way. Others would say it can be done, but that they are unsure how to do it, and therefore do not do it. Some methods mentioned from time to time will be briefly discussed in this address. The question will be asked whether these techniques bring one closer to a Christian perspective on mathematics. My view is that some of these methods are just not sufficient and that more should be done. More attention should be paid to the context in which a mathematical subject is imbedded. Attention …

Lewis Carroll: Author, Mathematician, And Christian, David L. Neuhouser

ACMS Journal 2004

Although a Christian, an author, and a mathematician, Charles Letwidge Dodgson (better known as Lewis Carroll) wrote very few works in which these three aspects of his person was present. The only examples of him merging these interests are in Sylvie and Bruno and Sylvie and Bruno Concluded. This paper will explore what motivated him to make these works and whether or not they were successful.

The Deconstruction Of Mathematics, David J. Stucki

ACMS Journal 2004

Mathematics, as an academic discipline, has stood for many years as the last bastion against a growing tide of intellectual relativism that has become all but ubiquitous. More recently, however, efforts have been made to "humanize" mathematics by advocating a social-constructivist approach to the philosophy of mathematics, both in practice and education. This paper is intended to serve as a critical response to one advocate of this approach, Reuben Hersh (What Is Mathematics, Really?, 1997), and in the process a defense of Platonism.

A Www Based Software Metrics Environment For Software Process Management And Software Product Quality Improvement, Xiaoqing Frank Liu, Ravi Viswanathan

Computer Science Faculty Research & Creative Works

The software process needs to be continuously improved to develop high quality software. However, with increasing specialization in the workforce and decentralization in the workplace, software process planning, monitoring, analysis and dynamic tuning in a heterogeneous distributed environment becomes a challenge. We describe a tool which takes advantage of emerging Internet technology to implement a software metrics environment for software process management and software quality improvement. The tool uses a dimensional analytic model to visualize the software development process. The system offers facilities to monitor the status and quality attributes of projects being developed at multiple sites and on multiple …

Embedded Training For Complex Information Systems, Brant A. Cheikes

Computer Science: Faculty Publications

One approach to providing affordable operator training in the workplace is to augment applications with intelligent embedded training systems (ETS). Intelligent embedded training is highly interactive: trainees practice realistic problem-solving tasks on the prime application with guidance and feedback from the training system. This article makes three contributions to the theory and technology of ETS design. First, we describe a framework based on Norman’s “stages of user activity” model for defining the instructional objectives of an ETS. Second, we demonstrate a non-invasive approach to instrumenting software applications, thereby enabling them to collaborate with an ETS. Third, we describe a method …

Cooperative Text And Line Art Extraction From A Topographic Map, Luyang Li, George Nagy, Ashok Samal, Sharad C. Seth, Yihong Xu

School of Computing: Conference and Workshop Papers

The black layer is digitized from a USGS topographic map digitized at 1000 dpi. The connected components of this layer are analyzed and separated into line art, text, and icons in two passes. The paired street casings are converted to polylines by vectorization and associated with street labels from the character recognition phase. The accuracy of character recognition is shown to improve by taking account of the frequently occurring overlap of line art with street labels. The experiments show that complete vectorization of the black line-layer bitmap is the major remaining problem.

Metaphor And Understanding: The Work Of Lakoff And Johnson And Natural Language Processing, Karen M. Jakubowsky

Honors Theses, 1963-2015

Do you remember your first lesson in metaphor? Most likely, you learned that it is a comparison of one thing to another, to give a more descriptive account of something. "He was an iceberg" or "time is money" are obvious metaphors. They are regarded as simply vivid expressions to explain our ideas. However, George Lakoff, professor of linguistics at the University of California, Berkeley, and Mark Johnson, professor of philosophy at the University of Oregon, assert that metaphors are much more than literary devices. In their 1980 book, Metaphors We Live By, they claim that the way we think, act, …

Deciding About Agent Mobility Using A Performance Cost Model, Dalia Fakher Elmansy

Archived Theses and Dissertations

No abstract provided.

Continuous Models Of Computation For Logic Programs: Importing Continuous Mathematics Into Logic Programming's Algorithmic Foundations, Howard A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, Metin Sezgin

Electrical Engineering and Computer Science - All Scholarship

Logic programs may be construed as discrete-time and continuous-time dynamical systems with continuous states. Techniques for obtaining explicit formulations of such dynamical systems are presented and the computational performance of examples is presented. Extending 2-valued and n-valued logic to continuousvalued logic is shown to be unique, up to choosing the representations of the individual truth values as elements of a continuous field, provided that lowest degree polynomials are selected. In the case of 2-valued logic, the constraint that enables the uniqueness of the continualization is that the Jacobian matrices of the continualizations of the Boolean connectives have only affine entries. …

Truce: Agent Coordination Through Concurrent Interpretation Of Role-Based Protocols, Wilfred C. Jamison, Douglas Lea

Electrical Engineering and Computer Science - All Scholarship

Established protocols for coordination are essential for implementing joint-action activities among collaborating software agent. Most existing agents, however, are designed only to support static protocols, which limit their interaction domain to specific sets of agents. We develop an agent collaboration framework for open systems that enables an agent to expand its acquaintance set and to adapt to various coordination protocols dynamically. This is achieved through writing coordination scripts that are interpreted at collaboration time. We developed a role-based coordination language for writing these scripts, where the coordination mechanism used is the concurrent interpretation of a single script by the participants …

A Matrix-Based Approach To Global Locality Optimization, Mahmut Kandemir, Alok Choudhary, J. Ramanujam, Prith Banerjee

Electrical Engineering and Computer Science - All Scholarship

Global locality optimization is a technique for improving the cache performance of a sequence of loop nests through a combination of loop and data layout transformations. Pure loop transformations are restricted by data dependences and may not be very successful in optimizing imperfectly nested loops and explicitly parallelized programs. Although pure data transformations are not constrained by data dependences, the impact of a data transformation on an array might be program-wide; that is, it can affect all the references to that array in all the loop nests. Therefore, in this paper we argue for an integrated approach that employs both …

A Unifying Framework Supporting The Analysis And Development Of Safe Regression Test Selection Techniques, John Bible, Gregg Rothermel

School of Computing: Technical Reports

Safe regression test selection (RTS) techniques let software testers reduce the number of test cases that need to be rerun to revalidate new versions of software, while ensuring that no fault-revealing test case (in the existing test suite) is excluded. Most previous work on safe regression test selection has focused on specific safe RTS algorithms, rather than addressing the theoretical foundations of safe RTS techniques in general. In this paper, we present a unifying framework for safe RTS that supports the analysis and development of safe RTS techniques. We show that every safe RTS technique is founded on a regression …

Differentiating Type Of Muscle Movement Via Ar Modeling And Neural Network Classification, Beki̇r Karlik

Turkish Journal of Electrical Engineering and Computer Sciences

The aim of this study is to classify electromyogram (EMG) signals for controlling multifunction proshetic devices. An artificial neural network (ANN) implementation was used for this purpose. Autoregressive (AR) parameters of $a_1, a_2, a_3, a_4$ and their signal power obtained from different arm muscle motions were applied to the input of ANN, which is a multilayer perceptron. At the output layer, for 5000 iterations, six movements were distinguished at a high accuracy of 97.6%.

Adaptive Resource Management Via Modular Feedback Control, Ashvin Goel, David Steere, Calton Pu, Jonathan Walpole

Computer Science Faculty Publications and Presentations

A key feature of tomorrow’s operating systems and runtime environments is their ability to adapt. Current state of the art uses an ad-hoc approach to building adaptive software, resulting in systems that can be complex, unpredictable and brittle. We advocate a modular and methodical approach for building adaptive system software based on feedback control. The use of feedback allows a system to automatically adapt to dynamically varying environments and loads, and allows the system designer to utilize the substantial body of knowledge in other engineering disciplines for building adaptive systems. We have developed a toolkit called SWiFT that embodies this …