CSDL - Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences - Table of Contents

Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences (1991)

Kauai, HI, USA

Jan. 8, 1991 to Jan. 11, 1991

TABLE OF CONTENTS

Learning a new programming language: a model of the planning process (PDF)

J. Scholtz , Dept. of Comput. Sci., Portland State Univ., OR, USA

S. Wiedenbeck

pp. 3-12

UNICOM: a construction/integration model of failures in action planning (PDF)

S.M. Doane , Inst. of Cognitive Sci., Colorado Univ., Boulder, CO, USA

W. Kintsch , Inst. of Cognitive Sci., Colorado Univ., Boulder, CO, USA

P. Polson , Inst. of Cognitive Sci., Colorado Univ., Boulder, CO, USA

pp. 13-21

Discretionary user characteristics (word processing) (PDF)

R. Santhanam , Coll. of Bus., Florida Univ., Miami, FL, USA

S. Wiedenbeck

pp. 22-31

Film techniques applied to the design and use of interfaces (PDF)

J. McKendree , MCC Human Interface Lab., Austin, TX, USA

J. Mateer

pp. 32-41

The effects of examples and principles in instructions for computer software (PDF)

R. Catrambone , Sch. of Psychol., Georgia Inst. of Technol., Atlanta, GA, USA

pp. 42-50

Question analysis and explanation generation (PDF)

E. Sarantinos , Dept. of Comput. Sci., Queen Mary & Westfield Coll., London Univ., UK

P. Johnson , Dept. of Comput. Sci., Queen Mary & Westfield Coll., London Univ., UK

pp. 51-59

Chiron-1: a user interface development system tailored to software environments (PDF)

R.K. Keller , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA

M. Cameron , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA

R.N. Taylor , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA

D.B. Troup , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA

pp. 60-69

Innovation in the user interface design process (PDF)

M.J. Burns , AT&T Bell Labs., Holmdel, NJ, USA

W.B. Whitten , AT&T Bell Labs., Holmdel, NJ, USA

pp. 70-78

Technology to support groupware: the CARAT architecture (PDF)

J.M. Snyder , Arizona Univ., Tucson, AZ, USA

K.J. Lynch , Arizona Univ., Tucson, AZ, USA

pp. 79-88

Graphical user interfaces validation: a problem analysis and a strategy to solution (PDF)

S.W.L. Yip , Dept. of Comput. Sci., Durham Univ., UK

D.J. Robson , Dept. of Comput. Sci., Durham Univ., UK

pp. 91-100

Automated regression testing of graphical user interface based applications (PDF)

J.R. Andreas , Hewlett-Packard Corp., Palo Alto, CA, USA

pp. 101 vol.2

Validation of Motif graphical user interface widget set (PDF)

A. Birjandi , Open Software Foundation, Cambridge, MA, USA

S. Sydorowicz , Open Software Foundation, Cambridge, MA, USA

pp. 102-103

Reducing the validation task by adding conformance at the implementation level (PDF)

E.G. Noik , Dept. of Comput. Sci., Toronto Univ., Ont., Canada

pp. 104-113

Formal specification and verification of graphical user interfaces (PDF)

G.L. Fisher , Div. of Comput. Sci., California Univ., Davis, CA, USA

D.A. Frincke , Div. of Comput. Sci., California Univ., Davis, CA, USA

pp. 114-123

Semi-materialization: a performance analysis (PDF)

M.N. Kamel , Dept. of Admin. Sci., Naval Postgraduate Sch., Monterey, CA, USA

S.B. Davidson

pp. 125-135

The cost of retrievals in what-if databases (PDF)

R.G. Ramirez , Decision & Inf. Syst., Arizona State Univ., Tempe, AZ, USA

U.R. Kulkarni , Decision & Inf. Syst., Arizona State Univ., Tempe, AZ, USA

K.A. Moser , Decision & Inf. Syst., Arizona State Univ., Tempe, AZ, USA

pp. 136-145

Using semantic knowledge of partitioning and allocation of data in distributed databases (PDF)

U.R. Kulkarni , Arizona State Univ., Tempe, AZ, USA

H.K. Jain , Arizona State Univ., Tempe, AZ, USA

pp. 146-154

Gema: a nested relations applications generator (PDF)

J. DuPond , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA

H.J. Hernandez , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA

pp. 155-164

Classification of nested tables under deeply nested algebra (PDF)

H. Kitagawa , Inst. of Inf. Sci. & Electron., Tsukuba Univ., Ibaraki, Japan

T.L. Kunii

N. Ohbo

pp. 165-173

Specification of syntax directed editors for visual languages: a syntax-directed approach (PDF)

F. Arefi , Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA

M.T. Milani , Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA

pp. 176-185

A system for the refinements of algebraic specifications and their efficient executions (PDF)

T. Higashino , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan

K. Taniguchi , Dept. of Inf. & Comput. Sci., Osaka Univ., Japan

pp. 186-195

Runtime control of Ada rendezvous for testing and debugging (PDF)

H.E. Koehnemann , Arizona State Univ., Tempe, AZ, USA

T.E. Lindquist , Arizona State Univ., Tempe, AZ, USA

pp. 196-204

Object-oriented information systems analysis: a framework for object identification (PDF)

J. Iivari , Dept. of Inf. Processing Sci., Oulu Univ., Finland

pp. 205-218

The case for encapsulated inheritance (PDF)

M.L. Nelson , Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA, USA

J.M. Moshell , Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA, USA

A. Orooji , Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA, USA

pp. 219-227

Supporting the specification of logic programs (PDF)

R.E. Davis , EECS Dept., Santa Clara Univ., CA, USA

pp. 228-237

Optimal module clustering in program organization (PDF)

D. Tesch , Coll. of Bus. Admin., Northeast Louisiana Univ., Monroe, LA, USA

G. Klein , Coll. of Bus. Admin., Northeast Louisiana Univ., Monroe, LA, USA

pp. 238-245

Algorithmic software fault localization (PDF)

B. Korel , Dept. of Comput Sci., Wayne State Univ., Detroit, MI, USA

J. Laski , Dept. of Comput Sci., Wayne State Univ., Detroit, MI, USA

pp. 246-252

A comparison of voting algorithms for n-version programming (PDF)

J.L. Gersting , C.S. Dept. IUPUI Indianapolis, IN, USA

R.L. Nist , C.S. Dept. IUPUI Indianapolis, IN, USA

D.B. Roberts , C.S. Dept. IUPUI Indianapolis, IN, USA

R.L. Van Valkenburg , C.S. Dept. IUPUI Indianapolis, IN, USA

pp. 253-262

A configuration model for dynamically reconfigurable distributed systems (PDF)

Jiawang Wei , Gesellschaft fur Math. und Datenverarbeitung, Karlsruhe, Germany

M. Endler , Gesellschaft fur Math. und Datenverarbeitung, Karlsruhe, Germany

pp. 265-274

Using computerized routers to control product flow (PDF)

E.M. Voorhees , Siemens Corp. Res. Inc., Princeton, NJ, USA

pp. 275-282

Automatic generation of control system software for flexible manufacturing systems (PDF)

S. Joshi , Dept. of Ind. & Manage. Syst. Eng., Pennsylvania State Univ., University Park, PA, USA

R.A. Wysk

E.G. Mettala

pp. 283-291

Distributed system infrastructure for a prolific manufacturing enterprise (PDF)

B.L. Hitson , Stanford Univ., CA, USA

pp. 292-301

The design description language of MARPLE: reliability analysis during system design (PDF)

M. Mulazzani , Inst. fur Tech. Inf., Tech. Univ. Vienna, Austria

pp. 302-311

Hypertext abstractions for CADD: issues and possibilities (PDF)

Ai-Mei Chang , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA

C.W. Holsapple

A.B. Whinston

pp. 312-320

Handling incompleteness in reasoning: application to situational analysis and real time reactive systems (PDF)

C. Wild , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA

H. Xiao , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA

pp. 321-330

A real time process control system for IC testing (PDF)

J. Kondo , Northwest IC Div., Hewlett-Packard, Corvallis, OR, USA

S. Bose , Northwest IC Div., Hewlett-Packard, Corvallis, OR, USA

D. Adduci , Northwest IC Div., Hewlett-Packard, Corvallis, OR, USA

pp. 331-338

Software architecture for a cell controller (PDF)

S. Paidy , Dept. of Ind. & Manuf. Eng., Rochester Inst. of Technol., NY, USA

R. Reeve , Dept. of Ind. & Manuf. Eng., Rochester Inst. of Technol., NY, USA

pp. 339-349

Software pipelining of loops by pipelining strongly connected components (PDF)

Z. Jovanovic , Dept. of Comput. Sci., Belgrade Univ., Yugoslavia

pp. 351-365

Loop-carried dependence and the general URPR software pipelining approach (unrolling, pipelining and rerolling) (PDF)

Bogong Su , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China

Jing Wang , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China

pp. 366-372

Multicomputer interconnection network based on a star graph (PDF)

J. Misic , Comput. Syst. Design Lab., Boris Kidric Inst. of Nucl. Sci., Belgrade, Yugoslavia

pp. 373-381

C*-Linda: a programming environment with multiple data-parallel modules and parallel I/O (PDF)

P.J. Hatcher , Dept. of Comput. Sci., New Hampshire Univ., Durham, NH, USA

M.J. Quinn

pp. 382-389

A concurrent program restructuring system for scientific calculations (PDF)

T. Kimura , Keio Univ., Yokohama, Japan

T. Boku , Keio Univ., Yokohama, Japan

T. Kudoh , Keio Univ., Yokohama, Japan

H. Amano , Keio Univ., Yokohama, Japan

pp. 390-399

A critical path approach for testing distributed real-time systems (PDF)

H.F. Wedde , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA

B. Korel , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA

D.M. Huizinga , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA

pp. 400-407

Detecting data races from sequential traces (PDF)

D.P. Helmbold , Board of Studies in Comput. & Inf. Sci., California Univ., Santa Cruz, CA, USA

C.E. McDowell , Board of Studies in Comput. & Inf. Sci., California Univ., Santa Cruz, CA, USA

Jian-Zhong Wang , Board of Studies in Comput. & Inf. Sci., California Univ., Santa Cruz, CA, USA

pp. 408-417

Governing distributed systems: from protocols to laws (PDF)

N.H. Minsky , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA

pp. 418-427

Hybrid incremental alias algorithms (PDF)

T.J. Marlowe , Dept. of Math. & Comput. Sci., Seton Hall Univ., South Orange, NJ, USA

B.G. Ryder

pp. 428-437

Hypertasking: automatic array and loop partitioning on the iPSC (PDF)

M. Baber

pp. 438-447

Scheduling task graphs containing branches on parallel systems (PDF)

H. El-Rewini , Dept. of Math. & Comput. Sci., Nebraska Univ., Omaha, NE, USA

H.H. Ali , Dept. of Math. & Comput. Sci., Nebraska Univ., Omaha, NE, USA

pp. 448-457

Schedule-driven loop unrolling for parallel processors (PDF)

H. El-Rewini , Dept. of Math. & Comput. Sci., Nebraska Univ., Omaha, NE, USA

T. Lewis

pp. 458-467

QUICK: exploring the middle ground in user interface design tools (PDF)

S. Douglas , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA

E. Doerry , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA

D. Novick , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA

pp. 468-477

Beyond models and metaphors: visual formalisms in user interface design (PDF)

B.A. Nardi , Human-Comput. Interaction Dept., Hewlett-Packard Labs., Palo Alto, CA, USA

C.L. Zarmer , Human-Comput. Interaction Dept., Hewlett-Packard Labs., Palo Alto, CA, USA

pp. 478-493

A structured history for command recall (PDF)

J.Y. Uejio , California Univ., Davis, CA, USA

M.M. Blattner , California Univ., Davis, CA, USA

E.E. Schultz , California Univ., Davis, CA, USA

pp. 494-507

Transaction mechanisms for software environment databases (PDF)

S. Sarkar , IBM Corp., Research Triangle Park, NC, USA

V. Venugopal

pp. 511-518

Building knowledge-based tools for requirements analysis: a pragmatic approach (PDF)

S.A. Raghavan , CIS Dept., Bentley Coll., Waltham, MA, USA

S. Badlani , CIS Dept., Bentley Coll., Waltham, MA, USA

pp. 519-531

Integrated CASE support for box structure systems development: a case study (PDF)

A.R. Hevner , Inf. Syst. Dept., Coll. of Bus. & Manage., Maryland Univ., College Park, MD, USA

J.A. Wilkey , Inf. Syst. Dept., Coll. of Bus. & Manage., Maryland Univ., College Park, MD, USA

S.A. Becker

pp. 532-542

Requirements of object-oriented databases for tool integration in IPSEs (PDF)

V. Venugopal , Motorola Inc., Tempe, AZ, USA

S. Sarkar

pp. 543-552

A language-based approach to building CSCW systems (PDF)

S. Sarkar , IBM Corp., Research Triangle Park, NC, USA

V. Venugopal

pp. 553-567

Database dynamics: why and how (PDF)

J.R. Warren , Dept. of Inf. Syst., Maryland Univ., Baltimore, MD, USA

J.W. Stott , Dept. of Inf. Syst., Maryland Univ., Baltimore, MD, USA

pp. 568-577

Using a CASE based repository for systems integration (PDF)

M. Chen , Dept. of Decision Sci., Sch. of Bus. Admin., George Mason Univ., Fairfax, VA, USA

E.H. Sibley

pp. 578-587