The Community for Technology Leaders
Proceedings Fourteenth Annual International Computer Software and Applications Conference (1990)
Chicago, IL, USA
Oct. 31, 1990 to Nov. 2, 1990
ISBN: 0-8186-2054-4
TABLE OF CONTENTS

Methods of comparing test data adequacy criteria (PDF)

S.N. Weiss , Hunter Coll., City Univ. of New York, NY, USA
pp. 1-6

Predictability measures for software reliability models (PDF)

Y.K. Malaiya , Dept. of Comput. Sci., Colorado State Univ., Ft. Collins, CO, USA
N. Karunanithi , Dept. of Comput. Sci., Colorado State Univ., Ft. Collins, CO, USA
pp. 7-12

The hyper-geometric distribution software reliability growth model (HGDM): precise formulation and applicability (PDF)

R. Jacoby , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
Y. Tohma , Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
pp. 13-19

Performance analysis of the make and load building algorithms (PDF)

A. Hac , AT&T Bell Lab., Naperville, IL, USA
pp. 20-25

Improving exception handling with object-oriented programming (PDF)

C. Dony , Equipe mixte Rank-Xerox France, Paris, France
pp. 36-42

An application of object-oriented design for communication control systems (PDF)

K. Kajihara , NTT Software Lab., Tokyo, Japan
S. Yamazaki , NTT Software Lab., Tokyo, Japan
T. Yamashita , NTT Software Lab., Tokyo, Japan
M. Ito , NTT Software Lab., Tokyo, Japan
pp. 43-51

An approach to introduce the reflection to C++ (PDF)

Chen Ping , Dept. of Comput. Sci., Xidian Univ., Shaanxi, China
Cai Xiyao , Dept. of Comput. Sci., Xidian Univ., Shaanxi, China
Jin Yimin , Dept. of Comput. Sci., Xidian Univ., Shaanxi, China
pp. 52-56

DEMOM-A description based media object data model (PDF)

B. Holtkamp , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
V.Y. Lum , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
N.C. Rowe , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
pp. 57-63

A process modeling language for large process control systems (PDF)

Ming-Jie Chen , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Chyan-Goei Chung , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 70-75

An object oriented approach to automating patient medical records (PDF)

D.C. Dimitroff , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
I.F. Chang , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 82-87

Cognitive building blocks of a database expert system (PDF)

D.L. Harris , AT&T Network Syst., Lisle, IL, USA
pp. 88-91

Mathematical transformation of Petri-nets for development of parallel/distributed programs (PDF)

Y.E. Papelis , Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa City, IA, USA
T.L. Casavant , Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa City, IA, USA
pp. 92-98

A software approach to multiprocessor address trace generation (PDF)

M. Azimi , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
C. Erickson , Dept. of Electr. Eng., Michigan State Univ., East Lansing, MI, USA
pp. 99-105

An implementation of software tools for replay and partial replay of Concurrent-C programs (PDF)

J. Lee , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsin Chu, Taiwan
Kuo Hua Wang , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsin Chu, Taiwan
Ching-Roung Chou , Inst. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsin Chu, Taiwan
pp. 106-111

Distributed software testing with specification (PDF)

C.K. Chang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
C.-C. Song , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
R.-F. Wang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 112-117

Dynamic query range for multikey searching (PDF)

X.-H. Sun , Dept. Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 118-123

Performance of multiversion concurrency control algorithms in maintaining temporal consistency (PDF)

X. Song , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
J.W.S. Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 132-139

Designing a dynamic integrity constraint checker with nonmonotonic logic (PDF)

S. Ramanna , Kansas State Univ., Manhattan, KS, USA
J.F. Peters , Kansas State Univ., Manhattan, KS, USA
E.A. Unger , Kansas State Univ., Manhattan, KS, USA
pp. 140-145

ICICLE: Intelligent code inspection in a C language environment (PDF)

V. Sembugamoorthy , Bellcore, Piscataway, NJ, USA
L. Brothers , Bellcore, Piscataway, NJ, USA
pp. 146-154

Rule base inspection using algorithmic approach for data-access oriented knowledge-based systems (PDF)

Fang-Yie Leu , Dept. of Electron. Eng., Nat. Taiwan Inst. of Technol., Taiwan
Chien-Chiao Yang , Dept. of Electron. Eng., Nat. Taiwan Inst. of Technol., Taiwan
pp. 155-160

An integrated expert system framework for software quality assurance (PDF)

S.S. Yau , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 161-166

A proposed parallel software testing paradigm (PDF)

J.L. Walker , Charles River Analytics Inc., Cambridge, MA, USA
pp. 167-172

An expert system to convert knowledge-based geological engineering systems into Fortran (PDF)

J.J. Cress , Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
R.W. Wilkerson , Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
pp. 184-189

Neural network application to container number recognition (PDF)

H.C. Lui , Inst. of Syst. Sci., Nat. Univ. of Singapore, Kent Ridge, Singapore
C.M. Lee , Inst. of Syst. Sci., Nat. Univ. of Singapore, Kent Ridge, Singapore
Fang Gao , Inst. of Syst. Sci., Nat. Univ. of Singapore, Kent Ridge, Singapore
pp. 190-195

High performance massively parallel abstract data type components (PDF)

I.-L. Yen , Dept. of Comput. Sci., Houston Univ., TX, USA
F. Bastani , Dept. of Comput. Sci., Houston Univ., TX, USA
T. Al-Marzooq , Dept. of Comput. Sci., Houston Univ., TX, USA
E. Leiss , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 196-201

Application-level software self-balancing (PDF)

Chung-Ta King , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
Tzong-Huei Shiau , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
Chin-Piao Chan , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 202-207

Management of heterogeneous parallelism on shared memory multiprocessors (PDF)

A.B. Tayyab , Dept. of Electr. & Comput. Eng., Iowa Univ., IA, USA
J.G. Kuhl , Dept. of Electr. & Comput. Eng., Iowa Univ., IA, USA
pp. 208-213

Processing the transitive-closure logic rules on shared-nothing multiprocessor systems (PDF)

G.Z. Qadah , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 214-220

The conceptual design of OSEA: an object-oriented semantic data model (PDF)

P.L. Tan , Dept. of Comput. Sci., La Trobe Univ., Bundoora, Vic., Australia
T.S. Dillon , Dept. of Comput. Sci., La Trobe Univ., Bundoora, Vic., Australia
pp. 221-230

A graphical interface for an object-oriented query language (PDF)

H. Lam , Dept. of Electr. Eng. & Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
H.M. Chen , Dept. of Electr. Eng. & Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
F.S. Ty , Dept. of Electr. Eng. & Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
J. Qiu , Dept. of Electr. Eng. & Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
S.Y.W. Su , Dept. of Electr. Eng. & Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 231-237

A bi-level object-oriented data model for GIS applications (PDF)

A. Choi , Sch. of Comput. Sci., Simon Fraser Univ., Burnaby, BC, Canada
W.S. Luk , Sch. of Comput. Sci., Simon Fraser Univ., Burnaby, BC, Canada
pp. 238-244

Supporting queries in the O-Raid object-oriented database system (PDF)

J.G. Mullen , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
J. Srinivasan , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
P. Dewan , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
B. Bhargava , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 245-250

The software engineering of extensible database systems (PDF)

D.S. Batory , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 252

FormPlus: a form authoring toolkit (PDF)

T.-J. Fan , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
R.S. Machlin , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
C.P. Wang , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
I.F. Chang , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 255-260

Temporal predicate transition nets and their applications (PDF)

X. He , Dept. of Comput. Sci., North Dakota State Univ., Fargo, ND, USA
pp. 261-266

On transforming Petri net model to Moore machine (PDF)

C.K. Chang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
H. Huang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 267-272

Distributed communication software specification based on the action superposition mechanism (PDF)

K. Hayashi , ATR Commun. Syst. Res. Lab., Kyoto, Japan
T. Nishizono , ATR Commun. Syst. Res. Lab., Kyoto, Japan
T. Takenaka , ATR Commun. Syst. Res. Lab., Kyoto, Japan
pp. 273-281

Concurrent transaction execution in multidatabase systems (PDF)

K. Barker , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
M.T. Ozsu , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 282-288

A hybrid approach to mutual exclusion for distributed systems (PDF)

Y.-I. Chang , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
M. Singhal , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
M.T. Liu , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 289-294

Twin-page storage management for rapid transaction-undo recovery (PDF)

K.-L. Wu , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 295-300

Case studies in software reuse (PDF)

A.J. Incorvaia , Digital Equipment Corp., Maynard, MA, USA
pp. 301-306

Modeling of software reusable component approach and its case study (PDF)

K. Matsumura , Toshiba Corp., Kawasaki, Japan
A. Yamashiro , Toshiba Corp., Kawasaki, Japan
T. Tanaka , Toshiba Corp., Kawasaki, Japan
I. Takahashi , Toshiba Corp., Kawasaki, Japan
pp. 307-313

A program transformation approach to automating software re-engineering (PDF)

S. Burson , Reasoning Syst. Inc., Palo Alto, CA, USA
G.B. Kotik , Reasoning Syst. Inc., Palo Alto, CA, USA
L.Z. Markosian , Reasoning Syst. Inc., Palo Alto, CA, USA
pp. 314-322

Productivity improvement with evolutionary development (PDF)

A. von Mayrhauser , Illinois Inst. of Technol., Chicago, IL, USA
B. Hirsh , Illinois Inst. of Technol., Chicago, IL, USA
pp. 323-329

A new plane-sweep algorithm based on spatial data structure for overlapped rectangles in 2-D plane (PDF)

Pei-Yung Hsiao , Nat. Chiao Tung Univ., Hsinchu, Taiwan
Chia-Chun Tsai , Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 347-352

A new 3D-border algorithm by neighbor finding (PDF)

Shi-Nine Yang , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
Tsong-Wuu Lin , Inst. of Comput. Sci., Nat. Tsing Hua Univ., Hsinchu, Taiwan
pp. 353-358

A semi-adaptive DCT compression method that uses minimal space (PDF)

R. Nerheim , Dept. of Comput., DePaul Univ., Chicago, IL, USA
pp. 359-362

A gridless multilayer channel router (PDF)

R. Yazdani , Dept. of Comput. Sci., Southern Illinois Univ., Carbondale, IL, USA
M.R. Zargham , Dept. of Comput. Sci., Southern Illinois Univ., Carbondale, IL, USA
pp. 363-368

Benchmarking two types of restricted transitive closure algorithms (PDF)

A.A. Toptsis , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
C.T. Yu , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
P.C. Nelson , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 375-381

Compiling linear recursive Prolog programs with list structure into procedural language (PDF)

Y.K. Nam , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
L.J. Henschen , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 391-398

The status and future of interface technology (PDF)

S.M. Walter , Rome Air Dev. Center, Griffiss AFB, NY, USA
pp. 399-402

Measuring software size by distinct lines (PDF)

D.J. Lubinsky , AT&T Bell Lab., Holmdel, NJ, USA
pp. 403-407

The lines of code metric as a predictor of program faults: a critical analysis (PDF)

T.M. Khoshgoftaar , Dept. of Comput. Sci., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 408-413

Extending software complexity metrics to concurrent programs (PDF)

F. de Paoli , Dipartimento di Elettronica, Politecnico di Milano, Italy
S. Morasca , Dipartimento di Elettronica, Politecnico di Milano, Italy
pp. 414-419

The analysis of infeasible concurrent paths of concurrent Ada programs (PDF)

Ren-Dar Yang , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Chyan-Goei Chung , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 424-429

An Ada interface for massively parallel systems (PDF)

E.K. Park , Dept. of Comput. Sci., US Naval Acad., Annapolis, MD, USA
pp. 430-435

Distributed management of replicated and partitioned files under DRAGON SLAYER (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
W.G. Brown , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
S. Chen , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 436-441

An efficient model of dynamic task scheduling for distributed systems (PDF)

A. Ghafoor , Syracuse Univ., NY, USA
I. Ahmad , Syracuse Univ., NY, USA
pp. 442-447

Forms interfaces and their view supportability properties (PDF)

C.R. Carlson , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
H. Seung , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
W. Ji , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
pp. 448-452

A graphical knowledge level approach for user-database interaction (PDF)

K.P. Tan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
H.C. Chan , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
K.L. Siau , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 453-458

Intelligent database retrieval by visual reasoning (PDF)

S.-K. Chang , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
Y. Deng , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 459-464

Hybrid relations for database schema evolution (PDF)

J. Takahashi , IBM Tokyo Res. Lab., Tokyo, Japan
pp. 465-470

VIPEG: a generator of environments for software maintenance (PDF)

W. Khorshid , Dept. of Oper. Res. & Inf. Syst., Eastern Michigan Univ., Ypsilanti, MI, USA
pp. 471-476

A tool specification language for software maintenance (PDF)

S.-S. Liu , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
K.R. Johmann , Dept. of Comput. & Inf. Sci., Florida Univ., Gainesville, FL, USA
pp. 477-482

FOREST: a systematic testing environment based on standardized formal description techniques (PDF)

K. Katsuyama , Mitsubishi Electr. Corp., Kanagawa, Japan
T. Nakakawaji , Mitsubishi Electr. Corp., Kanagawa, Japan
F. Sato , Mitsubishi Electr. Corp., Kanagawa, Japan
T. Mizuno , Mitsubishi Electr. Corp., Kanagawa, Japan
pp. 483-490

A methodology for formal specification and implementation of Ada packages (PDF)

N. Madhav , Stanford Univ., CA, USA
W. Mann , Stanford Univ., CA, USA
pp. 491-496

Major technical issues in medical informatics computer technology systems and applications (PDF)

I.F. Chang , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 498-499

Integration-a multi-faceted challenge (hospital systems) (PDF)

W.-T. Cheng , Memorial Sloan-Kettering Cancer Center, New York, NY, USA
pp. 501-502

Modeling execution time of multi-stage N-version fault-tolerant software (PDF)

M.A. Vouk , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
A.M. Paradkar , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
D.F. McAllister , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 505-511

On real-time software testing and debugging (PDF)

J.J.P. Tsai , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
K.-Y. Fang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Y.-D. Bi , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 512-518

A unified hardware/software fault detection experiment in a 5ESS system (PDF)

K.W. Hwang , AT&T Bell Lab., Naperville, IL, USA
A.A. Kapauan , AT&T Bell Lab., Naperville, IL, USA
W.N. Toy , AT&T Bell Lab., Naperville, IL, USA
pp. 519-523

Rollback recovery in real-time systems with dynamic constraints (PDF)

S.J. Upadhyaya , Dept. of Electr. & Comput. Eng., State Univ. of New York, Buffalo, NY, USA
pp. 524-529

VIPS: a visual debugger for list structures (PDF)

T. Shimomura , NTT Software Lab., Tokyo, Japan
S. Isoda , NTT Software Lab., Tokyo, Japan
pp. 530-537

Expert workstation for information systems development (PDF)

W. Cabot , NTT Software Lab., Tokyo, Japan
G. Knafl , NTT Software Lab., Tokyo, Japan
pp. 538-546

PPK: a method for recording and analyzing software design processes (PDF)

T. Nakajima , Mitsubishi Electr. Corp., Kanagawa, Japan
N. Tamura , Mitsubishi Electr. Corp., Kanagawa, Japan
K. Uehara , Mitsubishi Electr. Corp., Kanagawa, Japan
pp. 555-563

Condition-based software testing strategies (PDF)

K.C. Tai , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 564-569

Path expression in data flow program testing (PDF)

J. Laski , Dept. of Comput. Sci. & Eng., Oakland Univ., Rochester, MI, USA
pp. 570-576

A testing methodology framework (PDF)

J. Collofello , Dept. of Comput. Sci., Arizona State Univ., Tempe, AZ, USA
pp. 577-586

Heuristic algorithms for path determination in a semantic network (PDF)

S.Y.W. Su , Florida Univ., Gainesville, FL, USA
S. Puranik , Florida Univ., Gainesville, FL, USA
H. Lam , Florida Univ., Gainesville, FL, USA
pp. 587-592

Redundancy detection in logic programs is undecidable (PDF)

Z. Zhou , Dept. of Electr. & Comput. Eng., Massachusetts Univ., Amherst, MA, USA
pp. 593-598

Intelligent query mechanism for expert systems (PDF)

W.Z. Shao , Nat. Univ. of Singapore, Kent Ridge, Singapore
H.S. Soon , Nat. Univ. of Singapore, Kent Ridge, Singapore
pp. 599-604

MCFS: a multiple criteria reasoning fuzzy expert systems building tool (PDF)

A. Kamel , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 605-610

Architecture and functionality of a specification environment for distributed software (PDF)

B. Kramer , Dept. of Comput. Sci., US Naval Postgrad. Sch., Monterey, CA, USA
pp. 617-622

An inversion capability for the PRESTIGE workbench: some basic issues (PDF)

B. Ratcliff , Dept. of Comput. Sci. & Appl. Math., Aston Univ., Birmingham, UK
pp. 623-628

A set and mapping-based detection and solution method for structure clash between program input and output data (PDF)

M. Hashimoto , ATR Commun. Syst. Res. Lab., Kyoto, Japan
K. Okamoto , ATR Commun. Syst. Res. Lab., Kyoto, Japan
pp. 629-638

A Petri net-based distributed debugger (PDF)

A.-C. Liu , Dept. of Inf. Eng., Feng Chia Univ., Taichung, Taiwan
pp. 639-646

A model-object based expert system for real-time intelligent control of chemical processes (PDF)

M.R. Basila , Dept. of Chem. Eng., Illinois Inst. of Technol., Chicago, IL, USA
G. Stefanek , Dept. of Chem. Eng., Illinois Inst. of Technol., Chicago, IL, USA
A. Cinar , Dept. of Chem. Eng., Illinois Inst. of Technol., Chicago, IL, USA
pp. 652-657

Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks (PDF)

J.-N. Chen , Grad. Sch. of Resource Manage., Nat. Defence Manage. Coll., Taipei, Taiwan
P. Chen , Grad. Sch. of Resource Manage., Nat. Defence Manage. Coll., Taipei, Taiwan
pp. 658-664

A connectionist approach to multiple-view based 3-D object recognition (PDF)

W.-C. Lin , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
F.-Y. Liao , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
C.-K. Tsao , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
T. Lingutla , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 665-670

Knowledge-driven distributed information systems (PDF)

M.P. Papazoglou , Dept. of Comput. Sci., Australian Nat. Univ., Canberra, ACT, Australia
pp. 671-679

Real-time scheduling of multiple segment tasks (PDF)

K. Ho , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
J.H. Rice , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
J. Srivastava , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 680-686

Executing jobs with deadline constraints in a privately owned workstation environment (PDF)

M.W. Mutka , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 687-692

Implementing real-time systems using performance polymorphism (PDF)

K.B. Kenny , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
K.-J. Lin , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 693-698

Methods for distributed join processing using a voice-data protocol (PDF)

K. Scott , North Dakota State Univ., Fargo, ND, USA
W. Perrizo , North Dakota State Univ., Fargo, ND, USA
pp. 699-704

Transformation technique of algebraic specification (PDF)

Liqun Jin , Dept. of Comput. Sci., Fudan Univ., Shanghai, China
Jiahua Qian , Dept. of Comput. Sci., Fudan Univ., Shanghai, China
pp. 705-710

EASE: an embedded algebraic specification environment (PDF)

Jianhua Qian , Dept. of Comput. Sci., Fudan Univ., Shanghai, China
Yong Zheng , Dept. of Comput. Sci., Fudan Univ., Shanghai, China
Liqun Jin , Dept. of Comput. Sci., Fudan Univ., Shanghai, China
Jinhua Zhang , Dept. of Comput. Sci., Fudan Univ., Shanghai, China
pp. 711-716

Introducing formality into the software development process: experience with a software project course (PDF)

R.A. Nicholl , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
pp. 717-726

Modeling and enacting software processes: an analysis (PDF)

J. Lonchamp , CRIN, Vandoeuvre les Nancy, France
K. Benali , CRIN, Vandoeuvre les Nancy, France
C. Godart , CRIN, Vandoeuvre les Nancy, France
J.C. Derniame , CRIN, Vandoeuvre les Nancy, France
pp. 727-736
89 ms
(Ver 3.3 (11022016))