🚀 go-pugleaf

*****************************************************************************
			   ICCI'96

      8th INTERNATIONAL CONFERENCE OF COMPUTING AND INFORMATION
              (in Cooperation IEEE Computer Society)

		      June 19 - 22, 1996

		    University of Waterloo

		    Waterloo, Ontario Canada


*****************************************************************************

Steering Committee: Paul Bailes, The Univerity of Queensland, Australia
                    Waldemar W. Koczkodaj, Laurentian University, Canada (Chair)
                    David Krumme, Tufts University, USA 

*****************************************************************************

General Chair: Frank Tompa, University of Waterloo, Canada

Organizing Committee Chair: Bart Domzy, Trent University, Canada

Local Arrangements Chair: Farhad Mavaddat, University of Waterloo, Canada

Public Relations Chair: Richard Hurley, Trent University, Canada

Program Committee Chair: S.Q. Zheng, Louisiana State University, USA

******************************************************************************


ICCI'96 will be an international forum for presentation of new results in
research, development, and applications in computing and information. The
organizers expect both practitioners and theorists to attend.  In past
conferences, ICCI has attracted participants from over 40 different countries.

Accepted papers will available in postscript form in a Special Issue of the
CD-ROM Journal of Computing and Information (JCI): an issue devoted to the
Proceedings of ICCI'96.  The proceedings will also be available via WWW Site 
and Anonymous FTP.  To view the proceedings for ICCI94 and ICCI95, please see
http://phoenix.trentu.ca/jci

Also note that the Organizers of this conference advocate the use of electronic
mail for communications.  It makes distances between researchers in different
countries small and allows them to exchange information more conveniently,
rapidly, and without incurring high costs.  Hard-copy mail will only be used
to send letters pertaining to acceptance and in those rare cases where email
communication is not available.  Please insure that your email address is
present, current and correct in all correspondence.

The conference will be organized in 6 streams:

Stream A: Data Theory and Logic, Information and Coding Theory
	  Theory of Programming, Algorithms, Theory of Computation
 Chair: Derick Wood, The Hong Kong University of Science & Technology, Hong Kong

Stream B: Distributed Computing and Communications
 Chair: Andrew Vernon, Southern Bell Center, USA

Stream C: Concurrency and Parallelism
 Chair: Afonso Ferreira, CNRS - LIP, France

Stream D: Database Theory, Database Systems, AI Methodologies, Expert Systems,
          and Knowledge Engineering
 Chair: Yiyu Yao, Lakehead Univeristy, Canada

Stream E: Software/Data Engineering and CASE Methodology
 Chair: Michal Iglewski, Universite du Quebec a Hull, Canada

Stream F: Environmental Applications of Computer Science
 Chair: David A. Swayne, University of Guelph, Canada

Program Committee:
=================

Chair: S.Q. Zheng, Louisiana State, USA

M.A. Nait Abdullah, University of Western Ontario, Canada
James Abello, AT&T Bell Labs, USA
Noureddine Belkhatir, LGI-IMAG, France
Francesco Bergadano, Universita di Torino, Italy
Mohamed Bettaz, Universite de Constantine, Algerie
Jim Bezdek, University of West Florida, USA
Laurence Boxer, Niagara University, USA
Doris L. Carver, Louisiana State University, USA
John Case, University of Delaware, USA
Sean Chen, University of Illinois at Chicago, USA
Bin Cong, South Dakota State University, USA
Sajal K. Das, University of North Texas, USA
Ajoy Kumar Datta, Unviersity of Nevada, Las Vegas, USA
Willibald A. Doeringer, Palatinate State College, Germany
Ding-Zhu Du, University of Minnesota, USA
Patrick Dymond, York University, Canada
Ahmed A. El-Amawy, Louisiana State University, USA
John Grant, Towson State University, USA
Jerzy W. Grzymala-Busse, University of Kansas, USA
Irene Guessarian, Paris 6 University, France
Janelle Harms, University of Alberta, Canada
Lane A. Hemaspaandra, University of Rochester, USA
Jan Hext, Macquarie University, Australia
Shing-Tsaan Huang, National Tsing-Hua University, Taiwan
Tao Jiang, University of Washington, USA
Adam Kowalczyk, Telstra Research Laboratories, Australia
Mohan J. Kumar, Curtin University of Technology, Australia
Hiroaki Kunieda, Tokyo Institute of Technology, Japan
Ming Li, University of Waterloo, Canada
T. Y. Lin, San Jose State University, USA
Ahmed Louri, University of Arizona at Tucson, USA
Muralidhar Medidi, Northern Arizona University, USA
Walcelio L. Melo, University of Maryland, USA
Raja Neogi, Tektronix Inc., USA
Maria E. Orlowska, The University of Queensland, Australia
Santosh Pande, Ohio University, USA
George A. Papadopoulos, University of Cyprus, Cyprus
Panos Pardalos, University of Florida at Gainesville, USA
Viktor K. Prasanna, University of Southern California, USA
Kleanthis Psarris, The University of Texas at San Antonio, USA
Andrew Rau-Chaplin, Technical University of Nova Scotia, Canada
Robert G. Reynolds, Wayne State University, USA
Jose Rolim, Universite de Geneve, Switzerland
Teodor Rus, University of Iowa, USA
Sartaj Sahni, University of Florida, USA
Assaf Schuster, Technion IIT, Israel
Sunil M. Shende, University of Nebraska-Lincoln, USA
Guttorm Sindre, Norwegian University of Science and Technology, Norway
Roman Slowinski, Poznan University of Technology, Poland
Pradip K. Srimani, Colorado State University, USA
Marek A. Suchenek, Cal State Dominguez Hills, USA
Vaidy Sunderam, Emory University, USA
Rodney Topor, Griffith University, Australia
George Tourlakis, York University, Canada
Denis Trystram, LMC - IMAG, France
Stephane Ubeda, TSI - LIP, France
Stanislaw Waligorski, Warsaw University, Poland
W. Dana Wasson, University of New Brunswick, Canada
Laurie Webster, NASA/Johnson Space Center, USA
E. A. Yfantis, University of Nevada, Las Vegas, USA
Wojciech Ziarko, University of Regina, Canada
Albert Y. Zomaya, The University of Western Australia, Australia

=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=

University of Waterloo
----------------------
The University of Waterloo is located in Waterloo, Ontario, Canada, about
75 minutes' drive west of Toronto, or 2 hours northwest of Buffalo.  UW was
founded in 1957 and has grown to be among the dozen largest universities
in Canada.  It has a total enrolment of about 26,000 students including
16,000 full-time undergraduates.  Waterloo is best known for its teaching
and research in computer science and some fields of engineering, but there
are high-quality programs in all major fields of study.  The university is
a Canadian leader in research, and prides itself on close co-operation with
industry not only through the student "co-op" programme but through research
contracts and technology transfer. 

=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=

Registration Fees are as follows (per paper in Canadian Funds):
       Category 1: Regular Author
                   -> $300 + 7% GST = $307
                   -> Late: $340 + 7% = $363.80
       Category 2: IEEE Author (need IEEE Membership number)
                   -> $270 + 7% GST = $274.46 
                   -> Late: $306 + 7% = $327.42
       Category 3: Student Author (provided only one author)
                   -> $150 + 7% GST = $160.50
                   -> Late: $170 + 7% = $181.90
       Category 4: Non-authors
                   -> $150 + 7% = $160.50
       Category 5: Student Non-authors
                   -> $100+ 7% = $107.00

Notes: - Late fees apply to payments postmarked after June 1, 1996
       - ICCI is not responsible for Hotel or Residence arrangements.  Please
         do not include payment for accommodation with registration fees.
       - Everyone must pay the GST (Goods and Services Tax) but participants
         from outside Canada can reclaim this upon departure from Canada (when
         they get back to their homes). Forms will be available.
       - Only Categories 1, 2, 3 receive CD-ROM Proceedings as part of
         their fees (2 CDs per published paper)
       - Additional copies of the Proceedings can be purchased for $30 (Cdn)
         plus taxes
       - Payment is acceptable in either Canadian or US funds (to determine
         US funds, simply multiply the total amount by 0.765)
       - Credit Card payment is possible PRIOR to the Conference. For more 
         information, send email to rhurley@trentu.ca

Please make your cheque or money order payable to the ICCI Conference, and 
mail it together with your name, paper number (if applicable), phone
number, and complete address (including your e-mail address) to:

Dr. R. T. Hurley, ICCI'96
Computer Studies Program
Trent University
Peterborough, ON, Canada
K9J 8H6


=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=

                        ICCI'96 Program

Thursday, June 20, 1996
-----------------------
0845 - 0900     Opening Remarks

0900 - 1000     Invited Talk
                "Computer Software - Protecting an Asset"
                George M. Taulbee - Bell, Seltzer, Park & Gibson,
                                    Charlotte and Raleigh, NC, USA
1000 - 1020     BREAK

1020 - 1200     Presentations

                Session A1          

                A-100  Keqin Li -- An Efficient Job Scheduling Algorithm in 
                       Partitionable Mesh Collected Systems
                A-106  Zoran Ivkovic, Ramnath Sarnath, Sivaprakasam Sunder
                       Fully Dynamic Algorithms for Permutation Graph Colouring
                A-116  Robert McCloskey -- An O(n2) Time Algorithm for Deciding 
                       Whether a Regular Language is a Code
                A-117  Wei-Ming Lin -- Fast Random Number Generating Algorithms 
                       for Predetermined Probability Distribution Functions

                Session B1

                B-103  Chengzhen Sun and Piyush Maheshwari -- A Single Phase 
                       Protocol for the Total and Causal Ordering of Group 
                       Operations in Distributed Systems
                B-108  Deborah Frincke and Darrell Aucutt -- Hummingbird:  
                       Hierarchical Management of Misuse Reports
                B-115  Laurent Amanton and Mohamed Naimi -- Total and Causal 
                       Ordering Implementation in Distributed Computations
                B-131  Kia Makki and Sam West -- Cost-Effective Dynamic Task
                       Distribution Algorithm in a Distributed Heterogeneous 
                       Computing Environment
                
                Session C1

                C-102  M. Bettaz, A. Chaoui, K. Barkaoui -- On Finding 
                       Structural Deadlocks in ECATNets Using a Logic of 
                       Concurrency
                C-104  Y. Gao, T. A. Marsland -- Multithreaded Pruned Tree 
                       Search in Distributed Systems
                C-113  Shaharuddin Salleh, Albert Y. Zomaya, Bahrom Sanugi, 
                       Hishamuddin Jamaluddin -- A Self-Organizing Map 
                       Clustering Method for Multiprocessor Scheduling
                C-114  Ahmed El-Amawy and Satinder Sethi -- Distributed 
                       Fault-Tolerant Routing Algorithms for Pancake and 
                       Bubblesort Graph Networks

1200 - 1300     LUNCH

1300 - 1450     Presentations

                Session A2  

                A-108  Guido Proietti -- The MOF+-Tree: a Space Efficient 
                       Representation of Images Containing Multiple Overlapping 
                       Features
                A-125  Amir H. Banihashemi and Amir K. Khandani -- An Inequality
                       on the Coding Gain of Densest Lattice Packings in 
                       Successive Dimensions
                A-126  Amir H. Banihashemi and Amir K.  Khandani -- On the 
                       Decoding Complexity of Lattices

                Session D1  

                D-103  Grigoris Antoniou -- Restriction and Expansion Concepts 
                       for Default Logic
                D-104  Grigoris Antoniou -- A Note on the Use of Lemmas in 
                       Default Logics
                D-105  Zoltan Istenes and Pierre Tchounikine -- Zola: a Language
                       to Operationalize Conceptual Models of Reasoning
                D-134  Seung Jin Lim and Yiu-Kai Ng -- Rule and Data Allocation 
                       in Distributed Deductive Database Systems

                Session E1

                E-105  D. Jutla, P. Bodorik, E. Olmstead -- An Application Frame
                       Work for Modelling Cache Based Virtual Memory Systems
                E-108  M. J. V. Silva and C. R. Carlson -- Developing Active
                       Object-Oriented Database Applications
                E-110  Nikolas Vidakis and Chris Stary -- Algorithmic Support 
                       for Model Integration in TADEUS
                E-117  Noureddine Belkhatir and Reidar Conradi -- SCOOP: A Model
                       for Cooperative Transactions in Software Process 
                       Environments
                E-121  V. Ribaud and A. Plantec -- Data Management: From EXPRESS
                       Schemata To User Interface

1450 - 1505     BREAK

1505 - 1655     Presentations

                Session B2 

                B-110  Shakil Akhtar -- Introduction to a New Multichannel LAN
                       - the Chi-Pan Net
                B-111  Young Wook Keum and Sung Chun Kim -- Design and Analysis 
                       of the Fault-Tolerant Fast Interconnected Banyan 
                       Switching Fabric (IBSF)
                B-121  Shi-Jinn Horng -- Finding Generalized Fibonacci Cubes in 
                       Faulty Hypercubes
                B-122  Wei-Ming Lin, Mehdi Arabshahi, Qingbo Cheng -- Wormhole 
                       Routing with Header-Regenerating and Back-Route 
                       Capability
                B-130  Tien-Yu Huang -- Performance Analysis of Switching 
                       Capacity in Multistage Interconnection Networks

                Session D2          

                D-110  L.H. Yeo, P. Steele, J. Han -- Linear Orderability of 
                       Transactions in Mobile Environment with Heterogeneous 
                       Databases
                D-114  King-Lup Liu, Rongquen Chen, Weiyi Meng -- Distributed
                       Processing of Aggregate Queries in a Multidatabase System
                D-115  Curtis L. Gittens and Sylvia L. Osborn -- Removing Path
                       Expressions from Object-Oriented Database Queries
                D-116  Michael Bernardo and Farshad Fotouhi -- Evaluation of 
                       Best Access Plans for Cyclic Queries in Object-Oriented 
                       Databases
                D-118  Brahma Dathan and Sarnath Ramnath -- Managing Very Large
                       Transaction Files

                Session C2

                C-101  Keqin Li -- Massively Parallel Computation on Molecular 
                       Computers 
                C-107  Shi-Jinn Horng, Horng-Ren Tsai, Shung-Shing Lee, 
                       Shun-Shan Tsai, Tzong-Wann Kao -- A Constant Time 
                       Parallel Hierarchical Clustering Algorithm on Processor 
                       Arrays with a Reconfigurable Bus System
                C-108  Shi-Jinn Horng, Yu-Hua Lee, Tzong-Wann Kao -- O(1)-Time
                       Algorithms for Computing the Chessboard Distance 
                       Transform and the Medial Axis Transform on RAP 1
                C-110  Dongju Li, Kazuhito Ito, Hiroaki Kunieda -- Memory 
                       Sharing Processor Array (MSPA) and its Design Methodology

Friday, June 21, 1996
---------------------

0900 - 1000     Keynote Address
                "Application Development in the Internet Era"
                Rob Veitch, Sybase, Inc,  Waterloo, ON, Canada

1000 - 1020     BREAK

1020 - 1200     Presentations

                Session B3 

                B-102  JongWoo Lee and YooKun Cho -- A Dynamic Shared Memory
                       Allocator for Reducing False Sharing In M Multiprocessors
                B-117  Sukumar Ghosh, Arobinda Gupta, Sriram V. Pemmaraju -- A
                       Fault-Containing Self-Stabilizing Spanning Tree Algorithm
                B-125  Wilson C. H. Cheng and Xiaohua Jia -- Towards an 
                       Optimized and Transparent Environment for Fault-Tolerant 
                       Replicated Services
                B-123  Ming Li -- The Time Characteristic of Cyclic Service in 
                       Profibus

                Session D3        

                D-119  Mariana Kant -- Simulation using Neuronal Nets
                D-121  Jingde Cheng -- The Fundamental Role of Entailment in 
                       Knowledge Representation and Reasoning
                D-126  Isabelle Bichindaritz -- Temporal Abstraction and 
                       Reasoning for Case-based Reasoning
                D-139  Zbigniew M. Bzymek -- Knowledge based Virtual Models of
                       Manufacturing Process

                Session C3

                C-105  Michael Oudshoorn and Hendra Widjaja -- Visualisation of
                       Concurrent and Object-Oriented Programs
                C-112  Thilo Kielmann -- Programming Heterogeneous Workstation 
                       Clusters Based on Coordination
                C-117  Elena Trichina -- An Application of Program 
                       Transformation to Parallel Programming in the Assertive 
                       Paradigm
         
1200 - 1300     LUNCH

1300 - 1450     Presentations

                Session B4

                B-106  Siu-Fung Tong, Eugeniusz Eberbach, T. Pietrzykowski --
                       An Approach to Macro Data Flow, Object-Oriented Parallel
                       Programming
                B-104  Jim Alves-Foss -- Specifying Trusted Distributed System
                       Components
                B-120  Mourad Zellouf, Regis Aubry, Patrick Prevot -- 
                       Collaborative Development of Courseware Project at 
                       Distance
                B-119  Brahma Dathan and Sarnath Ramnath -- On Rollback-Free 
                       Recovery in Distributed Systems

                Session F        

                F-101  R. Denzer -- A general Meta Information System for the
                       Environmental Domain
                F-102  D. D. Cowan and C. I. Mayfield -- A Design Exercise for 
                       a World Wide Web Based Graduate Course in Environmental 
                       Information Systems
                F-103  John MacNeil and L. Barrie -- Clustering of Atmospheric 
                       Trajectories 
                F-104  Bruce MacDonald -- Agriculture Decision Support on the 
                       WWW: Potential and Problems

                Session E2

                E-102  Deborah A. Frincke and Andrew Tompkins -- Using Symbolic
                       Execution to Detect Undesirable Program States
                E-106  Jurgen Lampe -- An Extensible Translator-Generator for 
                       Use in Branch Software Construction
                E-107  Rene Schott and Jean-Claude Spehner -- Efficient 
                       Generation of Commutation Classes
                E-109 Stephane Some, Rachida Dssouli, Jean Vaucher -- Toward an
                       Automation of Requirements Engineering using Scenarios
                E-125  A. Obaid and A. Karmouch -- Specification of a Multimedia
                       Document Transfer Protocol

1450 - 1505     BREAK

1505 - 1655     Presentations

                Session A3

                A-118  Chi-Hsiang Yeh -- New Efficient Majority Circuits for 
                       the Computation of Some Basic Arithmetic Functions
                A-119  W. Douglas Maurer -- A Minimization Theorem for 
                       Verification Conditions
                A-120  Daniel J. Rosenkrantz, Giri K. Tayi, S.S. Ravi -- 
                       Inspection Problems Arising in the Transportation of 
                       Hazardous Materials
                A-123  John Case, Dayanand S. Rajan, Anil M. Shende -- Rotation
                       in Lattice Computers

                Session D4       

                D-111  J.M. Morrissey, W.T. Bealor, S. Kamat -- A Comparative 
                       Evaluation of Dynamic Heuristics for Cost Minimization.
                D-117  R.C. Good, G.V. Cormack, C.L.A. Clarke,, D.J. Taylor -- 
                       A Robust Storage System Architecture
                D-120  Sudharsan Iyengar -- Segmented Stack: A Data Structure 
                       for Pruning Search
                D-130  M. Nappi, G. Polese, G. Tortora -- An Image Indexing 
                       Technique based on Contractive Functions.

                Session E3

                E-115  Young Kwang Nam -- Automatic Generation of C program Code
                       from Data Flow Diagrams
                E-119  Tahar Khammaci -- A CASE Tool to Assisting Intelligently 
                       Software Development Process
                E-120  Marjan Mernik, Nikolaj Korbar, Vijem Zumer -- 
                       Object-Oriented Evaluation Paradigm in Attribute 
                       Grammar-Based System LISA Programs
                E-124  Anthony Berglas -- Representing Defaults in Non-Waterfall
                       CASE Tools
                E-126  Kamran Sartipi -- An Analysis of Hardware/Software 
                       Co-Design Architectures using SAAM 
      
Saturday, June 22, 1996
-----------------------

0900 - 1100     Presentations

                Session A4   

                A-112  Lane Hemaspaandra, Mohammed Zaki, Marius Zimand -- 
                       Polynomial-time Semi-Rankable Sets
                A-114  Ali R. Boroujerdi and Bernard M.E. Moret -- Persistent 
                       Linked Structures at Constant Worst-Case Cost
                A-122  Thomas E. O'Neil -- A Complement-Based Algorithm for 3CNF
                       Satisfiability

                Session D5 

                D-122  Kwok-wa Lam, Victor C. S. Lee, Sheung-lun Hung -- An 
                       Augmented Priority Ceiling Protocol for Hard Real-Time 
                       Database o Systems
                D-125  Kazem Lellahi, Nicolas Spyratos, M'bayang Thiam -- Object
                       Functional Dependencies and the Semantics of Class 
                       Extensions
                D-129  Shin-Mu Tseng, Y.H. Chin, Wei-Pang Yang -- On Using 
                       Savepoint for Scheduling Transactions with Values in 
                       Real-Time Database Systems
                D-136  Kir Makki and Niki Pissinou -- Detection and Resolution 
                       of Deadlocks in Distributed Database Systems

                Session E4

                E-111  Young Park and Khaled Khalil -- Retrieving Reusable 
                       Components based on Semantic Properties
                E-114  Q. Zhuang -- Program Reuse via Kind-Bounded Polymorphism
                E-123  Hee Beng Kuan Tan and Tok Wang Ling -- Enhancing Reuse of
                       Functional Component Designs for Data-Intensive Business 
                E-128  Ahmed Ghali and M.F. Daemi -- Entropic Information 
                       Content of 2D-Images
=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=
If you are interested in attending, please fill out the following registration
form and return it by email to rhurley@trentu.ca with subject "ICCI96 Email
Registration".  More information will be sent to you after you respond.

                        ***********************
                        EMAIL REGISTRATION FORM
                        ***********************

PLEASE REPLY BY Jun. 1/96

Please answer our questions and send them to your EMAIL CONTACT with subject 
Paper# - REGISTRATION FORM. Please answer all the questions!
   - Delete blank lines and lines beginning with `+++'.
   - Add response lines following each line beginning with `***',
	  using `NOT SURE' or whatever if necessary.

-------------------------------------------
----  DELETE EVERYTHING ABOVE THIS LINE...RETURN TO rhurley@trentu.ca
*** Name and Mailing Address
+++ (maximum 8 lines each with no more than 50 chars)

*** Electronic Address

*** FAX

*** Telephone Number

*** Other special considerations
+++ wheelchair, visually challenged, ...

*** planned arrival date and time

*** planned departure date and time

*** Will attend the Wine and Cheese

*** Will attend the Banquet

*** Do you have any food restrictions (vegetarian, allergies, etc)

*** Registration Fee Category (No Proceedings)
+++    Category 4: Non-author - $150 Cdn plus 7% GST
+++                             which includes meals but not accomodations
+++    Category 5: Student Non-authors - $100 Cdn plus 7% GST
+++                             which includes meals but not accomodations

=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=


For further information, please contact:

Richard Hurley
Public Relations Chair
Computer Studies Program
Trent University
Peterborough, ON, Canada
K9J 7B8

Phone:  (705) 748-1542
Fax:    (705) 748-1625
Email: rhurley@trentu.ca