The Community for Technology Leaders
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
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
pp. 22-31

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

J. McKendree , MCC Human Interface Lab., Austin, TX, USA
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
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
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
pp. 283-291

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
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
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
pp. 428-437

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
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
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
pp. 532-542

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

S. Sarkar , IBM Corp., Research Triangle Park, NC, USA
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
pp. 578-587
90 ms
(Ver 3.3 (11022016))