Accepted Papers


    Stream A: Theory. Theory of Data and Logic. Information and Coding Theory. Algorithms. Theory of Computation. 

  • Algorithms for L(2,1)-labelings of Recursive Graph Families, by John G. Del Greco and Chandra N. Sekharan K105 
  • Practical Heuristic Models for Solving the 15-Puzzle, by Attia El-Sheikh K113
  • Two-Stage Code Generation for Parameterized Processor Architectures, by Peter Bachmann K114
  • Performance Evaluation of Different Secret Key Agreement Protocols Based on Noizy Channels, by V.Korjik, V.Yakovlev, V.Sinjuk K117
  • Improving Search Space in a Narrowing Calculus, by Mohamed Hamada K122
  • Qualitative Theory Using Information Relevance in Uncertain Reasoning, by M. Chachoua and D. Pacholczuk K126
  • Checking Nonmonotonic Knowledge-Bases, by Eric Gregoire K128
  • Types of Independence for Imprecise Reliability), by Lev V. Utkin and Vladimir S. Utkin K151
  • A Logical Approach to Knowledge in Imperfect Information Multi-Agent Systems, by Ahti Pietarinen K159
  • Computing the Disjunctive Closed World Assumption, by Kewen Wang and Lizhu Zhou K163
  • Shortest Point-Visible Paths on Polyhedral Surfaces, by Ramtin Khosravi, Mohammad Ghodsi and Mana Taghdiri K170
  • Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets, by Raymond Devillers and Hanna Klaudel  K172
  • Evolution of Recurrent Cascade Correlation Networks with Distributed Collaborative Species, by N.A. Ghada and
    A.S. Mohmed  K191
  • A New Video Coding Scheme Based on the H.263 Standard and Entropy Constrained Vector Quantization, by M. El-Saban, S. Abdel Azeem, and M. Rashwan K194
  • Using Demodulation in Semantic Tree Theorem Provers, by Ali Alanjawi K207

    Stream B: Distribution and Parallelism. Distributed Computing and Communications. Concurrency and Parallelism. Cluster Computing. 

  • A Concurrent Programming Model Using Single-Assignment, Single-Writer, Multiple-Reader Variables, by Matthew Huntbach  K111
  • Conditions for the State Transfer on Virtual Synchronous Systems, by L.M. P.Cabanas, J.P. Mestras K116 
  • Complexity Hierarchies on Circuits under Restricted Uniformities, by Chuzo Iwamoto K118
  • Overview of Weak Sequential Consistency Models for Distributed Shared Memory, by Z. Huang, C. Sun, S. Cranefield and M. Purvis K166
  • On the Design and Implementation of Reliable Point-to-Point Asynchronous Message Passing System, by A.S. Bavan and E. Illingworth  K178
  • Accelerating Queries in Multilevel Secure Database Systems, by Ramzi Haraty and Roula Fany K201
  • Design Trade off on Shared Memory Clustered Massively Parallel Processing Systems, by H.S. Shahhoseini and M. Naderi K208
  • On the Benefits of Rewrite Logic as a Semantics for Algebraic Petri Nets in Computing Siphons and Traps, by Nasreddine Aoumeur, Kamel Barkaoui, and Gunter Saake K209


    Stream C: Systems and Development. Database Systems. Software Engineering and CASE Methodologies. Expert Systems. 

  • Double Feedback in Requirements Specification, by Petr Kroha K124
  • Modeling for Managerial Decision-Making Based-on UML Diagrams, by Qijia Tian, Jian Ma, and Zhohgzhi Shi K138
  • Simulation-Based Modelling in Cache Design Performance Analysis, by Hassan Diab and Hassan Tabbara K140
  • Mathematical Models for Complex Evaluation of Information Systems Operation Quality, by Andrey Kostogryzov K149
  • Tested Elements Reduction for Improving Structural Program Testing and the Coverage Measurements, by J.-C. Lin and P.-L. Yeh K160
  • Bayesian Multinet Classifiers, by Petri Kontkanen, Petri Myllymaki, Henry Tirri, Kimmo Valtonen K162
  • Use of Principal Component Analysis and Fuzzy Clustering for Knowledge Discovery from Process Operational Data), by Y.M. Sebzalli and X.Z. Wang K181
  • A New OCR System Similar to ASR System, by Mohsin Rashwan K188
  • Towards a Three-Level Methodology for Developing Cooperative Information Systems, by Nasreddine Aoumeur et al. K193
  • A Parameter Based Combined Classifier For Invariant Face Recognition, by A. S. Tolba K199

     

    Stream D: Data and Knowledge Engineering. AI Methodologies. User Interfaces. Data Mining. Approximate Reasoning. 

  • Credit Classification: A Comparison of Logit Models and Decision Trees, by Philip Joos, Koen Vanhoof, Hubert Ooghe & Nathalie Sierens K120
  • Using Inductive Learning Techniques for Knowledge Discovery in Relational Data, by Ivo Marinchev K141
  • Multiple Model Based Computation:Theory and Practice, by Jianchao Yao K144
  • How to Validate KBS in the Early Stages of Development, by Almudena Sierra-Alonso K147
  • Sequential Cover Rule Induction with PA3, by de Almeida and Bento K161
  • Cost Analysis of Serpentine Tape Data Placement Techniques in Support of Continuous Media Display, by A. E. Dashti, C. Shahabi & R. Zimmermann K164
  • Wavelet Multi-Layer Perceptron Neural Network for Time-Series Prediction, by Kok Keong Teo, Lipo Wang and Zhiping Lin K167
  • Configuration and Reconfiguration of Industrial Products Using ConBaCon, by U. John and U. Geske K173
  • Developing Applications with XML Documents, Document Transformations and Software Components, by J.L. Sierra, B. Fernandez-Manjon, A. Fernandez-Valmayor, A. Navarro K180
  • Using Rough Sets in Distance Education, by Aileen Liang et al K185
  • The Ring Structure: Qualitative Representations in Large Spatial Databases, by B.A. El-Geresy and Alia Abdelmoty K198


    Stream E: Networking and Internet. Information Exploration on the World Wide Web. Mobile Computing. 

  • Congestion Control in Multipoint-to-Point LAN Interconnection over ATM Networks, by S. Habrah, H. Hassanein and H. AboElfotoh K109
  • WDBQL:A Web-Based Query Language for Remote Relational and Object-Oriented Databases, by C. Sallaberry and E. Andonoff K125
  • Mathematical Models for Complex Evaluation of Information Systems Operation Quality, by Andrey Kostogryzov K149
  • Knowledge Acquisition Using Virtual Spaces, by Ake Malmberg K169
  • Theoretical and Practical Aspects of Multi-Installment Distribution for Processing Multiple Divisible Loads on Bus Networks, by Gerassimos Barlas and Bharadwaj Veeravalli K171
  • Distributed Management of Media-dedicated Repositories, by Andre Luis V. Coelho et al  K182
  • An Advanced Reliable Multicast in Mobile Networks, by Byung-Won On, Haesun Shin, Miae Choi, and Myong-Soon Park K183
  • Performance Evaluation of TCP/IP over EDGE, by H. P. Tan, A. Lo and W. K. G. Seah K189
  • ATM Switch Design using Distribute-Merge Network, by D. Abu-Saymeh, Ghulam M. Chaudhry and I.G. Akram K196