The Community for Technology Leaders
Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track (1989)
Kailua-Kona, HI, USA
Jan. 3, 1989 to Jan. 6, 1989
ISBN: 0-8186-1912-0
TABLE OF CONTENTS

InfoProbe-a utility for animation of IC* programs (PDF)

E.J. Cameron , Bellcore, Morristown, NJ, USA
B. Gopinath , Bellcore, Morristown, NJ, USA
P. Metzger , Bellcore, Morristown, NJ, USA
T. Reingold , Bellcore, Morristown, NJ, USA
pp. 126-133

An application of structural modeling and automated reasoning to concurrent program design (PDF)

S. Honiden , Toshiba Corp., Kawasaki, Japan
N. Uchihira , Toshiba Corp., Kawasaki, Japan
K. Matsumoto , Toshiba Corp., Kawasaki, Japan
K. Matsumura , Toshiba Corp., Kawasaki, Japan
M. Arai , Toshiba Corp., Kawasaki, Japan
pp. 134-141

Knowledge-based method and tool handling (PDF)

H.L. Hausen , GMD, St. Augustin, West Germany
H.J. Neusser , GMD, St. Augustin, West Germany
pp. 142-151

Software process and product specifications: a basis for generating customized SE information bases (PDF)

H.D. Rombach , Maryland Univ., College Park, MD, USA
L. Mark , Maryland Univ., College Park, MD, USA
pp. 165-174

Software process modeling: a case study (PDF)

M.I. Kellner , Software Eng. Inst., Carnegie-Mellon Univ., Pittsburgh, PA, USA
G.A. Hansen , Software Eng. Inst., Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 175-188

A cooperative framework for software engineering (PDF)

A. Finkelstein , Dept. of Comput., Imperial Coll. of Sci. & Technol., London, UK
H. Fuks , Dept. of Comput., Imperial Coll. of Sci. & Technol., London, UK
pp. 189-199

Software development: a problem-theoretic analysis and model (PDF)

P.A.S. Veloso , PUC-RJ/Informatica, Rio de Janeiro, Brazil
pp. 200-209

Software quality drivers and indicators (PDF)

P.G. Petersen , ElektronikCentralen, Horsholm, Denmark
O. Andersen , ElektronikCentralen, Horsholm, Denmark
J.H. Heilesen , ElektronikCentralen, Horsholm, Denmark
S. Klim , ElektronikCentralen, Horsholm, Denmark
J. Schmidt , ElektronikCentralen, Horsholm, Denmark
pp. 210-218

Changing data representation in the refinement calculus (PDF)

R.J.R. Back , Dept. of Comput. Sci., Abo Akad., Turku, Finland
pp. 231-242

Formal approach to development of critical computer applications (PDF)

J. Gorski , Inst. of Inf., Tech. Univ. of Gdansk, Poland
pp. 243-251

An abstract axiomatization of pointer types (PDF)

S. Meldal , Dept. of Inf., Bergen Univ., Norway
pp. 252-259

Insertion of fault detection mechanisms in distributed Ada software systems (PDF)

E.K. Heironimus , TRW Fed. Syst. Group, Fairfax, VA, USA
J.G. Tront , TRW Fed. Syst. Group, Fairfax, VA, USA
pp. 260-266

The Mothra tool set (software testing) (PDF)

B.J. Choi , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
R.A. DeMillo , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
E.W. Krauser , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
R.J. Martin , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
A.P. Mathur , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 275-284

On the verification of time-dependent protocols using timed reachability analysis (PDF)

F.J. Lin , Ohio State Univ., Columbus, OH, USA
M.T. Liu , Ohio State Univ., Columbus, OH, USA
pp. 285-294

Correctness verification of concurrent systems (PDF)

T. Szmuc , Inst. of Autom. Control, Acad. of Min. & Metall., Krakow, Poland
pp. 295-304

Trace based verification of parallel programs with shared variables (PDF)

S. Gjessing , Dept. of Inf., Oslo Univ., Norway
E. Munthe-Kaas , Dept. of Inf., Oslo Univ., Norway
pp. 305-311

Software reliability prediction for large and complex telecommunication systems (PDF)

L. Rydstrom , Ellemtel Telecommun. Syst. Lab., Alvsjo, Sweden
O. Viktorsson , Ellemtel Telecommun. Syst. Lab., Alvsjo, Sweden
pp. 312-319

The development of the software product assurance requirements of the European Space Agency (PDF)

R.K. Atkins , ESA, Noordwijk, Netherlands
D. Spence , ESA, Noordwijk, Netherlands
pp. 320-329

A requirements engineering testbed: concept, status and first results (PDF)

W.E. Rzepka , Rome Air Dev. Center, Griffiss AFB, NY, USA
pp. 339-347

Integrating the role of requirements specification into the process of prototyping: the protospec (PDF)

K.G. Heisler , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
W.T. Tsai , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 348-357

A software storming approach to rapid prototyping (PDF)

R.P. Bonasso , Mitre Corp., McLean, VA, USA
R.O. Nugent , Mitre Corp., McLean, VA, USA
P.W. Jordan , Mitre Corp., McLean, VA, USA
R.W. Tucker , Mitre Corp., McLean, VA, USA
K.S. Keller , Mitre Corp., McLean, VA, USA
D. Vogel , Mitre Corp., McLean, VA, USA
pp. 368-376

Enhancing the usability of parallel debuggers (PDF)

S. Utter , Cornell Nat. Supercomput. Facility, New York, NY, USA
pp. 468-469

Tri-Cycle: a prototype methodology for advanced software development (PDF)

D.A. Fern , Gould Inc., Fairfax, VA, USA
S.E. Donaldson , Gould Inc., Fairfax, VA, USA
pp. 377-386

Prototypes from standard user interface management systems (PDF)

T.G. Lewis , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
F. Handloser , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
S. Bose , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
S. Yang , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 397-406

Approaches to user modeling (PDF)

M.J. LaLomia , Dept. of Psychol., South Florida Univ, Tampa, FL, USA
M.D. Coovert , Dept. of Psychol., South Florida Univ, Tampa, FL, USA
pp. 470-476

PK/C++: an object-oriented, logic-based, executable specification language (PDF)

R.B. Terwilliger , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 407-416

Handling timing constraints in rapid prototyping (PDF)

Luqi , Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterery, CA, USA
pp. 417-424

Designing Whisper: a semiautonomous system for database encoding (PDF)

K.A. Butler , Boeing Adv. Technol. Center, Seattle, WA, USA
J. Duncan , Boeing Adv. Technol. Center, Seattle, WA, USA
J. Gaulding , Boeing Adv. Technol. Center, Seattle, WA, USA
pp. 427-428

Human-computer interaction in a medical decision support system (PDF)

D.L. Hudson , California Univ., San Francisco, CA, USA
pp. 429-435

Usage-sensitive menu design with Huffman coding (PDF)

P. Bayman , AT&T Bell Lab., Holmdel, NJ, USA
S. Civanlar , AT&T Bell Lab., Holmdel, NJ, USA
W.B. Whitten , AT&T Bell Lab., Holmdel, NJ, USA
pp. 436-437

The influence of user experience and presentation medium on strategies of viewing algorithms (PDF)

M. Crosby , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
J. Stelovsky , Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA
pp. 438-446

Unix system mental models and Unix system expertise (PDF)

S.M. Doane , Inst. of Cognitive Sci., Colorado Univ., Boulder, CO, USA
pp. 457-467

A program decomposition scheme with applications to software modification and testing (PDF)

J.R. Lyle , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
K.B. Gallagher , Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
pp. 479-485

Denotational program slicing (PDF)

P.A. Hausler , IBM Corp., Gaithersburg, MD, USA
pp. 486-494

Debugging run-time errors (PDF)

S. Renner , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
M.T. Harandi , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 495-503

A program anti-compiler (PDF)

S. Letovsky , Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
pp. 504-512

Non-standard DBMS for support of emerging applications-requirement analysis and architectural concepts (PDF)

T. Harder , Dept. of Comput. Sci., Kaiserslautern Univ., West Germany
pp. 549-558

Object-oriented databases for construction data (PDF)

G.G. Belford , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 559-568

A uniform mechanism to support long fields and nested relations in database management systems (PDF)

J.R. Barnett , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
D.S. Batory , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 569-577

A normal form for sets of not-necessarily normalized relations (PDF)

Tok-Wang Ling , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 578-586

Generating customized software engineering information bases from software process and product specifications (PDF)

L. Mark , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
H.D. Rombach , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 587-595

A methodology and tool for automated derivation of functional dependencies (PDF)

J. Choobineh , Dept. of Bus. Anal. & Res., Texas A&M Univ., College Station, TX, USA
S.S. Venkatraman , Dept. of Bus. Anal. & Res., Texas A&M Univ., College Station, TX, USA
pp. 596-603

Local and global constraints in database integration (PDF)

M.S. Gamal-Eldin , MCS Dept., Clarkson Univ., Potsdam, NY, USA
pp. 604-611

A temporal and spatial locality theory for characterizing very large data bases (PDF)

A. Moulton , Sloan Sch. of Manage., MIT, Cambridge, MA, USA
S.E. Madnick , Sloan Sch. of Manage., MIT, Cambridge, MA, USA
pp. 612-620

A performance comparison of top-down recursive query evaluation strategies on Datalog benchmarks (PDF)

S.W. Dietrich , Dept. of Comput. Sci., Arizona State Univ., Tempe, AZ, USA
pp. 621-629

Performance analysis of MARS logging, checkpointing, and recovery (PDF)

C. Fan , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
M.H. Eich , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 636-642

Forecasting real-time behavior during software design using a CASE environment (PDF)

R.J. Lauber , Inst. for Control Eng. & Process Autom., Stuttgart Univ., West Germany
pp. 645-653

An intelligent assistant for software information checking using a non-monotonic reasoning system (PDF)

J.J. Tsai , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
T. Weigert , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 513-521

An entropy metric for software maintainability (PDF)

N. Chapin , California State Univ., Hayward, CA, USA
pp. 522-523

A multiprocessor execution profiler (PDF)

C. Burdorf , RAND Corp., Santa Monica, CA, USA
pp. 524-532

Design rationale and maintainability (PDF)

J. Conklin , MCC Software Technol. Program, Austin, TX, USA
pp. 533-539

Conceptual views of data structures as a model of output in programming languages (PDF)

T.C.N. Graham , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
J.R. Cordy , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
pp. 1064-1074

The role of technology advocate and transfer mechanism on Ada adoption (PDF)

J. Bayer , Graduate Sch. of Ind. Adm., Carnegie-Mellon Univ., Pittsburgh, PA, USA
N. Melone , Graduate Sch. of Ind. Adm., Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 1075-1080

Group decision support systems (GDSS): present and future (PDF)

J.F. Nunamaker , Dept. Manage, Inf. Syst., Arizona Univ., Tucson, AZ, USA
pp. 6-16

Query optimization in object-oriented databases (PDF)

S.B. Zdonik , Brown Univ., Providence, RI, USA
pp. 19-25

Uniform support for collections of objects in a persistent environment (PDF)

J.L. Keedy , Dept. of Comput. Sci., Newcastle Univ., NSW, Australia
J. Rosenberg , Dept. of Comput. Sci., Newcastle Univ., NSW, Australia
pp. 26-35

Capability based, tightly coupled multiprocessor hardware to support a persistent global virtual memory (PDF)

R.D. Pose , Dept. of Comput. Sci., Monash Univ., Clayton, Vic., Australia
pp. 36-45

Environments: a flexible binding mechanism to support system evolution (PDF)

A. Dearle , Dept. of Comput. Sci., St. Andrews Univ., Fife, UK
pp. 46-55

ISLET: a program/proof editor to support the Vienna Development Method (PDF)

R.B. Terwilliger , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 68-77

A knowledge based tool for the requirements analysis (PDF)

R. Burlon , Tecsiel SpA, Pisa, Italy
B. Cardile , Tecsiel SpA, Pisa, Italy
M. Conti , Tecsiel SpA, Pisa, Italy
F. Pietri , Tecsiel SpA, Pisa, Italy
P. Puncello , Tecsiel SpA, Pisa, Italy
P. Torrigiani , Tecsiel SpA, Pisa, Italy
pp. 78-84

A semantically oriented program synthesis system (PDF)

B.H.C. Cheng , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
S.M. Kaplan , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 85-94

Software measurement and analysis: a case study in collaborative research (PDF)

N.E. Fenton , Centre for Software & Syst. Eng., South Bank Polytech., London, UK
pp. 95-104

Lispflows: specification of a model for functional programs (PDF)

D.L. Coleman , Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
A.L. Baker , Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
J.M. Bieman , Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
pp. 105-114

The kernel of a software development environment for graphic languages (PDF)

S. Mannucci , Tecsiel SpA, Pisa, Italy
B. Mojana , Tecsiel SpA, Pisa, Italy
V. Romano , Tecsiel SpA, Pisa, Italy
M.C. Terzi , Tecsiel SpA, Pisa, Italy
pp. 115-125

Maintaining a well-structured software system (PDF)

M.M. Kim , Comput. Sci. Corp., Beltsville, MD, USA
pp. 540-547

Consistency issues in real-time database systems (PDF)

K.-J. Lin , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 654-661

A layered network for data and voice integration (PDF)

M. Peyravian , Dept. of Electr. & Comput. Eng., Miami Univ., Coral Gables, FL, USA
M.A. Tapia , Dept. of Electr. & Comput. Eng., Miami Univ., Coral Gables, FL, USA
pp. 1081-1088

Neural scheduler for real-time networks (PDF)

T. Ae , Fac. of Eng., Hiroshima Univ., Japan
M. Yamashita , Fac. of Eng., Hiroshima Univ., Japan
K.-I. Nitta , Fac. of Eng., Hiroshima Univ., Japan
pp. 662-666

A concept for distributed control systems (PDF)

M. Glaser , Inst. for Real-Time Computer Syst. & Robotics, Karlsruhe Univ., West Germany
C. Kordecki , Inst. for Real-Time Computer Syst. & Robotics, Karlsruhe Univ., West Germany
U. Rembold , Inst. for Real-Time Computer Syst. & Robotics, Karlsruhe Univ., West Germany
pp. 667-672

A programming environment for distributed realtime applications (PDF)

P. Holleczek , Erlangen Univ., Nuernberg, West Germany
C. Andres , Erlangen Univ., Nuernberg, West Germany
pp. 673-682

Performance of algorithms for scheduling periodic jobs to avoid timing faults (PDF)

J.-Y. Chung , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
J.W.S. Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 683-692

The pinwheel: a real-time scheduling problem (PDF)

R. Holte , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
A. Mok , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
L. Rosier , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
I. Tulchinsky , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
D. Varvel , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 693-702

Message communications in a distributed real-time system with a polled bus (PDF)

K.G. Shin , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
Y. Muthuswamy , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 703-711

Describing real-time systems using PPA and XYZ/E (PDF)

J. Wang , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
M.M. Tanik , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 712-713

Multi-paradigm parallel programming (PDF)

A.J.G. Hey , Dept. of Electron. & Comput. Sci., Southampton Univ., UK
D.J. Pritchard , Dept. of Electron. & Comput. Sci., Southampton Univ., UK
pp. 716-725

Concurr-a problem solving language for parallel systems (PDF)

J.R. Weisbecker , Dept. of Comput. Sci., London Univ., UK
pp. 726-735

Language-design issues in supporting process-oriented computation in persistent environments (PDF)

R. Morrison , St. Andrews Univ., UK
A.L. Brown , St. Andrews Univ., UK
R. Carrick , St. Andrews Univ., UK
R. Connor , St. Andrews Univ., UK
A. Dearle , St. Andrews Univ., UK
M.J. Livesey , St. Andrews Univ., UK
pp. 736-744

An object-method programming language for data parallel computation (PDF)

P.Y. Wang , George Mason Univ., Fairfax, VA, USA
S.B. Seidman , George Mason Univ., Fairfax, VA, USA
M.D. Rice , George Mason Univ., Fairfax, VA, USA
pp. 745-750

Lisp extensions for multiprocessing (PDF)

B. Zorn , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
K. Ho , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
J. Larus , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
L. Semenzato , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
P. Hilfinger , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 761-770

Speculative parallelism in a distributed graph reduction machine (PDF)

A.S. Partridge , Dep. of Electr. Eng. & Comput. Sci., Tasmania Univ., Hobart, Tas., Australia
A.H. Dekker , Dep. of Electr. Eng. & Comput. Sci., Tasmania Univ., Hobart, Tas., Australia
pp. 771-779

Preliminary estimates of parallelism in CONSUL programs (PDF)

D. Baldwin , Dept. of Comput. Sci., Rochester Univ., NY, USA
pp. 780-788

'Synchronized Transitions' on multiprocessors (PDF)

M.R. Greestreet , Dept. of Comput. Sci., Princeton Univ., NJ, USA
K. Li , Dept. of Comput. Sci., Princeton Univ., NJ, USA
pp. 789-797

Dynamo: a model for a distributed multi-media information processing environment (PDF)

K.V.B. Rao , Univ. of Southern California, Los Angeles, CA, USA
A. Gafni , Univ. of Southern California, Los Angeles, CA, USA
G. Raeder , Univ. of Southern California, Los Angeles, CA, USA
pp. 800-809

An evaluation of text access methods (PDF)

E. Bertino , Istituto di Elaborazione dell'Info., CNR, Pisa, Italy
F. Marinaro , Istituto di Elaborazione dell'Info., CNR, Pisa, Italy
pp. 810-819

The use of decomposition in an object-oriented approach to present and represent multimedia documents (PDF)

R. Cordes , Inst. fuer Betriebssysteme und Rechneverbund, Tech. Univ., Braunschweig, West Germany
M. Hofmann , Inst. fuer Betriebssysteme und Rechneverbund, Tech. Univ., Braunschweig, West Germany
H. Langendorfer , Inst. fuer Betriebssysteme und Rechneverbund, Tech. Univ., Braunschweig, West Germany
R. Buck-Emden , Inst. fuer Betriebssysteme und Rechneverbund, Tech. Univ., Braunschweig, West Germany
pp. 820-828

Multimedia communications on a heterogeneous network (PDF)

C.-H. Chow , Bell Commun. Res., Morristown, NJ, USA
D. Nelson , Bell Commun. Res., Morristown, NJ, USA
pp. 829-837

The end-to-end performance of multimedia information services: data analysis and simulation (PDF)

Y. Shibata , Bell Commun. Res., Morristown, NJ, USA
J.H. Irven , Bell Commun. Res., Morristown, NJ, USA
pp. 838-847

Integrating computer-aided software engineering and user interface management systems (PDF)

S. Yang , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
T.G. Lewis , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
C.-C. Hsieh , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 850-859

Graphical support for configuration programming (PDF)

J. Kramer , Dept. of Comput., Imperial Coll., London Univ., UK
J. Magee , Dept. of Comput., Imperial Coll., London Univ., UK
K. Ng , Dept. of Comput., Imperial Coll., London Univ., UK
pp. 860-870

A graphical design environment for distributed real-time systems (PDF)

C. Senft , Tech. Univ. Vienna, Austria
R. Zainlinger , Tech. Univ. Vienna, Austria
pp. 871-880

A knowledge-based design environment for graphical network editors (PDF)

S. Henninger , Colorado Univ., Boulder, CO, USA
A. Ignatowski , Colorado Univ., Boulder, CO, USA
C. Rathke , Colorado Univ., Boulder, CO, USA
D. Redmiles , Colorado Univ., Boulder, CO, USA
pp. 881-891

Graphical specification of algorithm animations with ALADDIN (PDF)

E. Helttula , Dept. of Comput. Sci., Tampere Univ., Finland
A. Hyrskykari , Dept. of Comput. Sci., Tampere Univ., Finland
pp. 892-901

Scheduling operating system processing on small-scale multiprocessors (PDF)

J.W. Wendorf , North American Philips Corp., Briarcliff Manor, NY, USA
R.G. Wendorf , North American Philips Corp., Briarcliff Manor, NY, USA
pp. 904-913

Network performance in a workstation environment (PDF)

R.B. Wallace , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
S. Zhou , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
pp. 914-920

Load sharing based on task resource prediction (PDF)

K.K. Goswami , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
R.K. Iyer , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
M.V. Devarakonda , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 921-927

Oonix: an object-oriented Unix shell (PDF)

E.C. Bueche , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
M.T. Franklin , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
E.R. Holley , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
H.F. Korth , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
G.C. Sheppard , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 928-935

The architecture of Ra: a kernel for Clouds (PDF)

J.M. Bernabeu-Auban , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
P.W. Hutto , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
M.Y.A. Khalidi , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
M. Ahamad , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
W.F. Appelbe , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
P. Dagupta , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
R.J. LeBlanc , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
U. Ramachandran , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 936-945

Transport protocol requirements for distributed multimedia information systems (PDF)

L.H. Ngoh , Dept. of Comput. Sci., Manchester Univ., UK
T.P. Hopkins , Dept. of Comput. Sci., Manchester Univ., UK
pp. 946-956

Software productivity: a framework of study and an approach to reusable components (PDF)

J.F. Nunamaker , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
M. Chen , Dept. of Manage. Inf. Syst., Arizona Univ., Tucson, AZ, USA
pp. 959-968

Understanding software productivity: a comparative empirical review (PDF)

W. Scacchi , Comput. Sci. Dept., Southern California Univ., Los Angeles, CA, USA
pp. 969-977

A layered approach to very large system specification (PDF)

E.H. Sibley , Dept. of Inf. Syst. & Syst. Eng., George Mason Univ., Fairfax, VA, USA
pp. 988-995

Designing the software development environment: a case study (PDF)

D. Sutherland , Inf. Syst. Manage., Maryland Univ., Catonsville, MD, USA
pp. 1004-1015

The impact of verification and validation of reusable components on software productivity (PDF)

D.S. Guindi , Software Eng. Res. Center, Georgia Inst. of Technol., GA, USA
W.B. Ligong , Software Eng. Res. Center, Georgia Inst. of Technol., GA, USA
W.M. McCracken , Software Eng. Res. Center, Georgia Inst. of Technol., GA, USA
S. Rugaber , Software Eng. Res. Center, Georgia Inst. of Technol., GA, USA
pp. 1016-1024

A method for data re-engineering in structured programs (PDF)

A.R. Hevner , Dept. of Inf. Syst., Maryland Univ., College Park, MD, USA
pp. 1025-1034

A user interface design for cataloging and identifying reusable software modules: a semantic network approach (PDF)

J. Gerlach , Coll. of Bus., Colorado Univ., Denver, CO, USA
F.-Y. Kuo , Coll. of Bus., Colorado Univ., Denver, CO, USA
pp. 1035-1040

A task migration algorithm for load balancing in a distributed system (PDF)

J.-C. Ryou , Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
J.S.K. Wong , Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
pp. 1041-1048

An experimental study investigating models for N-version programming (PDF)

J.L. Gersting , Dept. of Comput. Sci., Indiana-Purdue Univ., Indianapolis, IN, USA
pp. 1049-1054

Telescopic replication in hierarchically structured process-control programs (PDF)

I.-R. Chen , Dept. of Comput. Sci., Houston Univ., TX, USA
F.B. Bastani , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 1055-1063
95 ms
(Ver 3.3 (11022016))