Browse

ftp://ftp.ics.hawaii.edu (73)

	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-12.ps.Z, 19930128 PAU: Parsing And Understanding with Uniform Syntactic, Semantic, and Idiomatic Representations David N. Chin Department of Information and Computer Sciences University of Hawaii at Manoa 2565 The Mall Honolulu, HI 96822 email:Chin@Hawaii.Edu phone: (808) 956-8162 fax: (808) 956-3548
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-09.ps.Z, 19931203 A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems James C. Corbett Information and Computer Science Department University of Hawaii at Manoa Honolulu, HI 96822 George S. Avrunin Department of Mathematics and Statistics University of Massachusetts at Amherst
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-02.ps.Z, 19931203 The S-Expression Design Language (SEDL) James C. Corbett September 1, 1993 Contents 1 Introduction 1 2 Origins of SEDL 2 3 The Language SEDL 2 3.1 Scopes : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 3.2 Tokens : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-10.ps.Z, 19931203 Identical Tasks and Counter Variables in an Integer Programming-Based Approach to Verification James C. Corbett Information and Computer Science Department University of Hawaii at Manoa
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-03.ps.Z, 19931203 An SEDL Translator James C. Corbett April 6, 1993 1 Introduction This document describes a tool for translating SEDL, a simple design language based on Ada, into finite state automata (FSAs). The tool is part of a new version of the constrained expression toolset , a suite of automatic verification
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-07.ps.Z, 19931203 Using Integer Programming to Verify General Safety and Liveness Properties James C. Corbett University of Hawaii at Manoa George S. Avrunin University of Massachusetts at Amherst February 17, 1993
	ftp://ftp.ics.hawaii.edu/pub/tr/tr-na.ps, 19931203 This technical report is not available electronically. Please contact the author directly to request a copy: ICS Faculty Email (@uhics.ics.hawaii.edu) David Chin chin James Corbett corbett Martha Crosby crosby Will Gersch gersch William Howden howden Stephen Itoga itoga Philip Johnson johnson Jintae Lee
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-06.ps.Z, 19931221 The Inca Design Language James C. Corbett December 21, 1993 Contents 1 Introduction 1 2 The Inca Language 1 2.1 Scopes : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2.2 Tokens : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-04.ps.Z, 19940104 DYNAMIC PROGRAMMING, DECISION TABLES, AND THE HAWAII PARALLEL COMPUTER Art Lew and Richard Halverson, Jr. University of Hawaii
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-05.ps.Z, 19940104 A DISCRETE AND CONTINUOUS SYSTEMS SIMULATOR: APPLICATIONS OF PNTBLSIM TO MANUFACTURING SYSTEMS Art Lew Department of Information and Computer Sciences University of Hawaii
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-13.ps.Z, 19940203 Acquiring User Models David N. Chin sDepartment of Information and Computer Science University of Hawaii at Manoa H 2565 The Mall onolulu, HI 96822 p U.S.A. hone: (808) 956-8162 e fax: (808) 956-3548 mail: Chin@Hawaii.Edu E
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-22.ps.Z, 19940304 Collaborative Classification and Evaluation of Usenet Robert S. Brewer and Philip M. Johnson Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii Honolulu, HI 96822 Tel: (808) 956-3489 Email: rbrewer@uhics.ics.hawaii.edu, johnson@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-89-10.ps.Z, 19940403 KNOME: Modeling What the User Knows in UC* David N. Chin Department of Information and Computer Sciences University of Hawaii at Manoa 2565 The Mall Honolulu, HI 96822 email: Chin@Hawaii.Edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-08.ps.Z, 19940810 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. Y, MONTH 1994 1 Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-18.ps.Z, 19940827 1 Experiences with EGRET: An Exploratory Group Work Environment Philip M. Johnson Department of Information and Computer Sciences 2565 The Mall University of Hawaii Honolulu, HI 96822 (808) 956-3489 (808) 956-3548 (fax) johnson@Hawaii.Edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-03.ps.Z, 19940827 SUPPORTING TECHNOLOGY TRANSFER OF FORMAL TECHNICAL REVIEW THROUGH A COMPUTER SUPPORTED COLLABORATIVE REVIEW SYSTEM Philip M. Johnson Department of Information and Computer Sciences University of Hawaii Honolulu, HI 96822 (808) 956-3489 johnson@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-14.ps.Z, 19940827 CLARE: A COMPUTER-SUPPORTED COLLABORATIVE LEARNING ENVIRONMENT BASED ON THE THEMATIC STRUCTURE OF SCIENTIFIC TEXT A DISSERTATION SUBMITTED TO THE GRADUATE DIVISION OF THE UNIVERSITY OF HAWAII IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY IN COMMUNICATION & INFORMATION
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-21.ps.Z, 19940827 Computer Supported Collaborative Learning Using CLARE: the Approach and Experimental Findings Dadong Wan Center for Information Technology & Management Walter A. Haas School of Business University of California Berkeley, CA 94720, USA Tel: (510) 642-4617 E-mail: dxw@haas.berkeley.edu Philip M. Johnson
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-92-07.ps.Z, 19940827 This is a revised version of a paper appearing in Proceedings of the Third European Conference on Computer Supported Cooperative Work, Milan, Italy, September, 1993. Improving Software Quality through Computer Supported Collaborative Review Philip M. Johnson Danu Tjahjono Department of Information and
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-19.ps.Z, 19940827 1 Presented at the Pacific Northwest Software Quality Conference, Portland, Oregon. October 1993. Introductory material in this paper appeared previously in "Improving Software Quality through Computer Supported Collaborative Review", in the Proceedings of the Third European Conference on Computer
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-17.ps.Z, 19940827 An Instrumented Approach to Improving Software Quality through Formal Technical Review Research Paper Philip M. Johnson Department of Information and Computer Sciences University of Hawaii Honolulu, HI 96822
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-92-03.ps.Z, 19940827 Supporting Scientific Learning and Research Review Using COREVIEW1 Dadong Wan and Philip Johnson Department of Information and Computer Sciences University of Hawaii, Honolulu, HI 96822 dxw@uhunix.uhcc.hawaii.edu johnson@uhunix.uhcc.hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-93-16.ps.Z, 19940827 CSRS Reviewer Manual Philip Johnson Danu Tjahjono Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii Honolulu, HI 96822 (808) 956-3489 johnson@hawaii.edu Manual Version: October 29, 1993 CSRS Executable Version: 1.3.x CONTENTS 1 Contents 1
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-10.ps.Z, 19940909 An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs James C. Corbett Information and Computer Science Department University of Hawaii at Manoa corbett@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-04.ps.Z, 19940909 Experiences with CLARE: a Computer-Supported Collaborative Learning Environment Dadong Wan Center for Information Technology & Management Walter A. Haas School of Business University of California Berkeley, CA 94720-1900, USA Philip M. Johnson Department of Information and Computer Sciences University
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-11.ps.Z, 19940909 Modeling and Analysis of Real-Time Ada Tasking Programs James C. Corbett Department of Information and Computer Science University of Hawaii at Manoa corbett@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-12.ps.Z, 19940916 Towards Scalable Compositional Analysis James C. Corbett Department of Information and Computer Science University of Hawaii at Manoa Honolulu, HI 96822 corbett@hawaii.edu George S. Avrunin Department of Mathematics and Statistics University of Massachusetts at Amherst Amherst, MA 01003-4515
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-02.ps.Z, 19941020 Toward Collaborative Knowledge Management within Large, Dynamically Structured Information Systems Robert S. Brewer and Philip M. Johnson Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii Honolulu, HI 96822 Tel: (808) 956-3489 Email:
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-13.ps.Z, 19941020 1 ECS 3.8.5.dev Design Document Generated automagically by The CSDL Designbase System Department of Information and Computer Sciences University of Hawaii at Manoa csdl@uhics.ics.hawaii.edu October 18, 1994 Contents 1 Introduction 3 1.1 Overview : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-18.ps.Z, 19941025 A Cooperative Program Understanding Environment Alex Quilici David N. Chin Dept. of Electrical Engineering Dept. of Information and Computer Science University of Hawaii University of Hawaii 2540 Dole St., Holmes 483 2565 The Mall Honolulu, HI 96822 Honolulu, HI 96822
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-17.ps.Z, 19941025 Multi-Dimensional User Models for Multi-media I/O in the Maintenance Consultant David N. Chin, Mitsuyuki Inaba, Harish Pareek, Keiichi Nemoto, Michael Wasson, and Isao Miyamoto Software Engineering Research Laboratory Department of Information and Computer Sciences University of Hawaii 2565 The Mall
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-19.ps.Z, 19941025 Understanding Location Descriptions in the LEI System David N. Chin Dept. of Info. & Computer Sciences University of Hawaii 2565 The Mall Honolulu, HI 96822 Chin@Hawaii.Edu Matthew McGranaghan Dept. of Geography University of Hawaii 2424 Maile Way, Porteus Hall 445 Honolulu, HI 96822
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-21.ps.Z, 19941130 Design for Instrumentation: High Quality Measurement of Formal Technical Review Philip Johnson Department of Information and Computer Sciences University of Hawaii Honolulu, HI 96822 (808) 956-3489 (808) 956-3548 (fax) johnson@hawaii.edu November 25, 1994 Keywords: Formal technical review,
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-88-11.ps.Z, 19941227 Intelligent Agents as a Basis for Natural Language Interfaces By David Ngi Chin This dissertation has been submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY in COMPUTER SCIENCE in the GRADUATE DIVISION of the UNIVERSITY OF CALIFORNIA, BERKELEY - ii -
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-22.ps.Z, 19950103 Process Interchange Format (PIF) Rationale Document Jintae Lee (jl@hawaii.edu) Department of Information and Computer Sciences Univ. of Hawaii
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-27.ps.Z, 19950103 Process Interchange Format (PIF): Proposal Jintae Lee (jl@hawaii.edu, 808-956-4589) Information and Comuter Sciences Department Univ. of Hawaii, Honolulu 1. SUMMARY PIF (Process Interchange Format) consists of the following parts. common syntax provided by KIF common ontology provided by: the basic
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-26.ps.Z, 19950105 FPGAs for Expression Level Parallel Processing Richard Halverson, Jr. and Art Lew Information and Computer Sciences Department University of Hawaii at Manoa Honolulu, Hawaii, 96822 (USA) richardh@hawaii.edu, artlew@hawaii.edu Memory mapped field programmable gate arrays (FPGAs) can be used to add
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-01.ps.Z, 19950105 A Study in Cooperative Spreadsheet Development Raymond R. Panko Richard P. Halverson, Jr. Decision Sciences Dept. Information and Computer Sciences Dept. University of Hawaii University of Hawaii 2404 Maile Way, E303 2565 The Mall, Keller 319 Honolulu, HI 96822 Honolulu, HI 96822 (panko@hawaii.edu)
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-28.ps.Z, 19950105 An FPGA-Based Minimal Instruction Set Computer Richard Halverson, Jr. and Art Lew Information and Computer Sciences Department University of Hawaii at Manoa Honolulu, Hawaii, 96822 (USA) richardh@hawaii.edu, artlew@hawaii.edu Memory mapped field programmable gate arrays (FPGAs) can be used to offload
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-24.ps.Z, 19950108 Proceedings of the 2nd ACM International Workshop on FPGAs, Berkeley, CA, Feb. 1994 1 Programming the Hawaii Parallel Computer Richard Halverson, Jr. Art Lew University of Hawaii at Manoa Honolulu, HI
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-23.ps.Z, 19950108 Proc. 26th Hawaii International Conference on System Sciences, Vol. III, Jan. 1993, 316-323 316 An Empirical Investigation Comparing IF-THEN Rules and Decision Tables for Programming Rule-Based Expert Systems Richard Halverson, Jr. Decision Sciences Department University of Hawaii
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-25.ps.Z, 19950108 1994 International Conference on Parallel Processing I-85 PROGRAMMING WITH FUNCTIONAL MEMORY Richard Halverson, Jr. and Art Lew University of Hawaii at Manoa Honolulu, HI, 96822 (USA) halverso@hawaii.edu, artlew@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-07.ps.Z, 19950211 Comparing the cost effectiveness of Group Synchronous Review Method and Individual Asynchronous Review Method using CSRS: Results of Pilot Study Danu Tjahjono Department of Information and Computer Sciences University of Hawaii 2565 The Mall Honolulu, HI 96822 dat@uhics.ics.hawaii.edu ICS-TR-95-07
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-03.ps.Z, 19950211 HBS Design Document Carleton Moore Collaborative Software Development Laboratory Department of Information and Computer Sciences 2565 The Mall University of Hawaii Honolulu, Hawaii 96822 (808) 956-3489 cmoore@hawaii.edu ICS/CSDL-TR-95-03 February 9, 1995
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-06.ps.Z, 19950303 Building Software Review Systems Using CSRS Danu Tjahjono Department of Information and Computer Sciences University of Hawaii, U.S.A.
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-20.ps.Z, 19950511 Investigating Strong Collaboration with the Annotated Egret Navigator Philip M. Johnson and Carleton Moore Department of Information and Computer Sciences University of Hawaii Honolulu, Hawaii 96822 johnson@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-12.ps.Z, 19950519 WET ICE Tools Working Group Report Carleton Moore Department of Information and Computer Sciences University of Hawaii Honolulu, Hawaii 96822 cmoore@uhics.ics.hawaii.edu 1 Introduction The tools working group report is organized as follows. We'll discuss: 1. Three scenarios that represent different
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-04.ps.Z, 19950710 SUPPORTING STRONG COLLABORATION WITH A HYPERTEXT SYSTEM: THE ANNOTATED EGRET NAVIGATOR. A THESIS SUBMITTED TO THE GRADUATE DIVISION OF THE UNIVERSITY OF HAWAII IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE IN INFORMATION & COMPUTER SCIENCES AUGUST 1995 By Carleton A.
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-11.ps.Z, 19950710 BUILDING COMMUNITY THROUGH THE WORLD WIDE WEB A THESIS SUBMITTED TO THE GRADUATE DIVISION OF THE UNIVERSITY OF HAWAII IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE IN INFORMATION & COMPUTER SCIENCES AUGUST 1995 By Rosemary M. Andrada Thesis Committee: Philip M. Johnson,
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-94-14.ps.Z, 19950822 HBS Interface Specification Philip Johnson Carleton Moore Rosemary Andrada Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii Honolulu, HI 96822 (808) 956-3489 ICS/CSDL Technical Report 94-14 HBS Version 4.0.0 Last Revised: August 22, 1995
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-15.ps.Z, 19950906 Constructing Abstract Models of Concurrent Real-Time Software James C. Corbett Department of Information and Computer Science University of Hawai'i at M anoa corbett@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-96-04.ps.Z, 19960322 Requiem for the Project HI-TIME Collaborative Process David Brauer Philip Johnson Carleton Moore Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii Honolulu, Hawaii 96822 (808) 956-3489 fdave, johnson, cmooreg@uhics.ics.hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-10.ps.Z, 19960322 The Egret Primer: A tutorial guide to coordination and control in interactive client-server-agent applications Philip Johnson Collaborative Software Development Laboratory Department of Information and Computer Sciences 2565 The Mall University of Hawaii Honolulu, Hawaii 96822 (808) 956-3489
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-14.ps.Z, 19960322 The CA/M Architecture for Project HI-TIME A Final Project Report to the Pacific International Center for High Technology Research Philip Johnson Collaborative Software Development Laboratory Department of Information and Computer Sciences 2565 The Mall University of Hawaii Honolulu, Hawaii 96822 (808)
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-19.ps.Z, 19960322 FTArm Demonstration Guide (Version 2.0.0) Danu Tjahjono (dat@hawaii.edu) Philip Johnson (johnson@hawaii.edu) Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii at Manoa CSDL-TR-95-19 January 23, 1996 Contents 1 Demo setup 2 1.1 Downloading
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-24.ps.Z, 19960322 Reengineering Inspection: The Future of Formal Technical Review Philip M. Johnson Department of Information and Computer Sciences University of Hawaii Honolulu, HI 96822 January 17, 1996
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-22.ps.Z, 19960322 Strong Collaboration in AEN Carleton Moore Collaborative Software Development Laboratory, Department of Information and Computer Sciences 2565 The Mall University of Hawaii, Manoa Honolulu, Hawaii 96822 cmoore@uhics.ics.hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-20.ps.Z, 19960322 The Effect of a Virtual World Wide Web Community on its Physical Counterpart Rosemary Andrada Collaborative Software Development Laboratory 2565 The Mall Honolulu, Hawaii 96822 (808) 845-9291 rosea@hcc.Hawaii.Edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-16.ps.Z, 19960322 A Quick Guided Tour of Shemacs Julio Polo University of Hawaii 2565 The Mall Honolulu, Hawaii 96822 (808) 956-2405 julio@hawaii.edu ICS/CSDL-TR-95-16 September 27, 1995 1 1 Prerequisites This is a quick guided tour through the main features of Shemacs. It assumes you have already installed Shemacs
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-18.ps.Z, 19960322 FTArm User's Guide (Version 1.2.0) Danu Tjahjono (dat@hawaii.edu) Philip Johnson (johnson@hawaii.edu) Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii at Manoa CSDL-TR-95-18 October 6, 1995 Contents 1 Introduction 3 1.1 Motivation for
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-23.ps.Z, 19960322 Egret: A Framework for Advanced CSCW Applications Philip Johnson Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii Honolulu, Hawaii 96822 (808) 956-3489 e-mail: johnson@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-96-05.ps.Z, 19960322 State as an Organizing Principle for CSCW Architectures Philip Johnson Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii Honolulu, Hawaii 96822 (808) 956-3489 johnson@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-96-07.ps.Z, 19960723 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 22, NO. 7, JULY 1996 1 Timing Analysis of Ada Tasking Programs James C. Corbett
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-17.ps.Z, 19960723 A Method for Timing Analysis of Ada Tasking Programs James C. Corbett Department of Information and Computer Science University of Hawai`i at M anoa Honolulu, HI 96822 (808) 956-6107 corbett@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-96-08.ps.Z, 19960822 Analyzing Partially-Implemented Real-Time Systems George S. Avrunin Department of Mathematics and Statistics University of Massachusetts Amherst, MA 01003-4515 USA +1 413 545 4251 avrunin@math.umass.edu James C. Corbetty Department of Information and Computer Science University of Hawai`i Honolulu, HI
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-09.ps.Z, 19960915 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 22, NO. 3, MARCH 1996 1 Evaluating Deadlock Detection Methods for Concurrent Software James C. Corbett
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-21.ps.Z, 19961111 An Evaluation of Flashmail: a computer-mediated communication tool Jennifer Geis Collaborative Software Development Laboratory Department of Information and Computer Sciences University of Hawaii at Manoa Honolulu, HI 96822 (808) 956-6920 jgeis@uhics.ics.hawaii.edu ICS-TR-95-21 May 28, 1996
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-08.ps.Z, 19961111 Exploring The Effectiveness Of Formal Technical Review Factors With CSRS, A Collaborative Software Review System Danu Tjahjono Department of Information and Computer Sciences University of Hawaii 2565 The Mall Honolulu, HI 96822 dat@uhics.ics.hawaii.edu ICS-TR-95-08 June, 1996
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-97-03.ps.Z, 19970421 CHAPTER 9 INTELLIGENT INTERFACES AS AGENTS DAVID N. CHIN Department of Information and Computer Sciences University of Hawaii at Manoa 2565 The Mall Honolulu, HI 96822 email: Chin@Hawaii.Edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-97-04.ps.Z, 19970926 Genetic Algorithms for Adaptive Planning of Path and Trajectory of a Mobile Robot in 2D Terrains Kazuo Sugihara and John Smith Department of Information and Computer Sciences the University of Hawaii at Manoa Honolulu, HI 96822, U. S. A. sugihara@hawaii.edu and jksmith@uhics.ics.hawaii.edu May 26, 1997
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-95-13.ps.Z, 19971014 Results of CSRS Experiments Danu Tjahjono Department of Information and Computer Sciences University of Hawaii 2565 The Mall Honolulu, HI 96822 dat@uhics.ics.hawaii.edu ICS-TR-95-13 May, 1995 Contents 1 CSRS Experiment (ICS313): Source Listing Employee1 2 1.1 Constant : : : : : : : : : : : : : : : : : :
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-97-10.ps.Z, 19971126 Constructing Compact Models of Concurrent Java Programs James C. Corbett Department of Information and Computer Science University of Hawai`i Honolulu, HI 96822 corbett@hawaii.edu
	ftp://ftp.ics.hawaii.edu/pub/tr/ics-tr-97-11.ps.Z, 19971210 Property Specification Patterns for Finite-State Verification Matthew B. Dwyer Kansas State University Department of Computing and Information Sciences 234 Nichols Hall Manhattan, KS 66506-2302 dwyer@cis.ksu.edu George S. Avrunin University of Massachusetts Department of Mathematics and Statistics Box