Tentative Schedule


SUMMARY

• Monday, June 25: Workshop on "Software for the Arabic language"
• Tuesday, June 26: Tutorials
• Wednesday, June 27: Conference papers | Special Session
• Thursday, June 28: Conference papers
• Friday, June 29: Conference papers | Organizational meetings (ACS, AICCSA)
• Saturday, June 30: Tourist trip (if sufficient interest)

Monday June 25, 2001

2:00 - 5:30 PM	Workshop: "Software for the Arabic language"
^

Tuesday June 26, 2001

8:00 AM - 9:30 PM	Tutorials
^

Wednesday June 27, 2001

8:00 AM	Registration Opens
8:30-9:00 AM	Welcome Ceremonies / Introductions
9:00-10:00 AM	Keynote Speaker: Bashar Nuseibeh, Open University, UK Title: If Software is the Solution, What is the Problem?          The Case for Requirements Engineering Chair: P. Flener, Uppsala University, Sweden
10:00 - 10:30 AM	Coffee Break
10:30 AM - 12:00 noon	Track 1 SEF1: Software Metrics Chair: K. Saleh, American University of Sharjah, UAE Measuring the Coupling of Procedural Programs J. Al-Ghamdi(1), M. Shafique(1), S. Al-Nasser(2), T. Al-Zubaidi(3) (1)King Fahd University of Petroleum and Minerals, Saudi Arabia (2)Saudi Aramco, Saudi Arabia (3)Algosiabi Information Systems, Saudi Arabia A Measure for Component Interaction Test Coverage A. Williams, R. Probert University of Ottawa, Canada Formalizing Full Function Points Using Room H. Diab, M. Frappier, R. St-Denis University of Sherbrooke, Canada	Track 2 AIF1: Genetic Programming Chair: H. El-Bakry, Mansoura University, Egypt Highlights on the Evolutionary Engineering Approach: The EE-Method A. Lehireche, A. Rahmoun, A. Gafour University Djilali Liabs of Sidi Bel-Abbs, Algeria A Generic Functional Genetic Algorithm J. Hawkins, A. Abdallah South Bank University, U.K. A Genetic-Based Neuro-Fuzzy Generator: NEFGEN A. Rahmoun, S. Berrani University of Djilali Liabs of Sidi Bel-Abbas, Algeria	Track 3 DCF1: Analysis of Distributed Systems Chair: A. Zomaya, University of Western Australia, Australia Scalability Analysis and Domain Decomposition of Large Eddy Simulations of Ship Wakes A. Osman, H. Ammar, A. Smirnov, S. Shi, I. Celik West Virginia University, U.S.A. Implementation of DDARC: Software Architecture for Debugging Distributed Programs S. Rai(1), D. Sampath(2), N.S. Srivathsa(3) (1)DDORG, India (2)Nanyang Technological University, Singapore (3)Sun MicroSystems, India Performance Analysis of Extended Vector-Scalar Operations Using Reconfigurable Computing I. Damaj, H. Diab American University of Beirut, Lebanon
12:00 noon - 1:30 PM	Lunch
1:30 - 3:00 PM	SEF4: Object Based Software Engineering Chair: K. Barkaoui, CNAM, France CorbaViews: Distributing Objects with Views H. Mili, H. Mcheick, J. Dargham, S. Sadou Universit du Qubec Montral, Canada Enhancing Schedulability: A Real-Time Object Slicing Approach M. Kimour(1), M. Bendelloul(2), Z. Bouras(1) (1)University of Annaba, Algeria (2)University of Quebec, Canada Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic M. Bettaz Philadelphia University, Jordan	AIF2: Applications of Artificial Intelligence Chair: A. Rahmoun, University of Djilali Liabs of Sidi Bel-Abbas, Algeria Genetic optimisation of Variable Structure PID control systems. O. Ismail, W. Bedwani Arab Academy for Science and Technology, Egypt. FBLLB: A Fuzzy-Based Traffic Policing Mechanism for ATM Networks M. Salamah, H. Lababidi Eastern Mediterranean University, Turkey DB-TUTOR : An Intelligent Tutoring System Using a Troublemaker Companion T. Bouhadada , M. Laskri University of Annaba, Algeria	DCF2: Techniques of Distributed Systems Chair: D. Sampath, Nanyang Technological University, Singapore On a Parallel Extended Euclidean Algorithm S.M. Sedjelmaci Universit Paris Nord. Institut Galile, France A Functional View of Computer Graphics A. Abdallah(2), T. Theoharis(1) (1)University of Athens, Greece (2)South Bank University, U.K. A Survey and a Taxonomy of Approaches for Testing Parallel and Distributed Programs M. Al-Ladan Beirut Arab University, Lebanon
3:00 - 3:30 PM	Coffee Break
3:30 - 5:00 PM	SEF3: Software Engineering Management Chair: Abdelhamid El Iraki, School of Mineral Industry, Morocco Towards a New Approach on Software Process Evolution M. Ahmed-Nacer USTHB University, Algeria Facilitating Group Formation and Role Allocation in Software Engineering Groups G. Dafoulas, L. Macaulay UMIST, U.K. A Service Oriented Standardised System for Virtual Private Networks H. Antonopoulou(2), N. Bogonikolos(2), K. Giotopoulos(1,2), S. Likothanassis(1) A. Tsakalidis(1), B. Vassiliadis(1,2) (1) Computer Technology Institute, Greece (2) ZEUS Consulting S.A., Greece	AIF5: Pattern Recognition Chair: G. Papadimitriou, Aristotle University, Greece Hand-Written Indian Numerals Recognition System Using Template Matching Approaches F. Al-Omari Yarmouk University, Jordan Principal Component Analysis of Multispectral Image Using Neural Network S. Chitroub, A. Houacine, B. Sansal University of Sciences and Technology Houari Boumediene, Algeria Combination of Vector Quantization and Hidden Markov Models for Arabic Speech Recognition H. Bahi, M. Sellami University of Annaba, Algeria	DCF3: Synthesis of Distributed Systems Chair: A. Abdallah, South Bank University, U.K. Distributed Mutual Exclusion Token-Permission Based on Prioritized Groups A. Housni, M. Trehel Universite de Franche Comte, France Perceived Consistency A. El Saddik, G. On, M. Zink, C. Griwodz, M. Liepert Darmstadt University of Technology, Germany A New Forwarding Policy for Load Balancing in Communication Networks M. Heusse ENST de Bretagne, France
5:00 - 5:30 PM	Coffee Break
5:30 - 6:50 PM	SES4: Software Engineering Management Chair: V. Cortellessa, West Virginia University, USA Toward a Comprehensive Framework for Software Process Modeling Evolution O. Eljabiri, F. Deek New Jersey Institute of Technology, U.S.A. Distributed Object Computing and its Application in Electronic Commerce Systems K. Saleh(1), C. Demarais(2), R. Koppler(2) (1)American University of Sharjah, U.A.E. (2)University of Ottawa, Canada CSPRSG's Strength Measures Based on the Classes of Transformation H.M. Hamid, I. Osman Sudan University of Science & Technology, Sudan GOMSE: A Group Oriented Modeling and Simulation Environment B. Belattar(1), A. Korichi(2) (1)University of Batna, Algeria (2)Centre universitaire de Ouargla, Algeria	AIS1: Pattern Recognition Chair: A. Abbas, Balamand University, Lebanon Segments Matching Using a Neural Network Approach O. Djekoune, K. Achour, H. Zoubiri Advanced Technologies Development Center, Algeria Arabic Handwritten Text Recognition S.S. Saloum Izhevsk State Technical University, Russia A Neural Network Approach for the Segmentation of Handwritten Arabic Text A. Hamid, R. Haraty Lebanese American University, Lebanon Human Face Detection Using Fast Co-operative Modular Neural Nets H.M. El-Bakry Mansoura University, Egypt	DBS1: Database Structures Chair: Y.W. Teh, University of Malaya, Malaysia A Three-tier Architecture for Ubiquitous Data Access S. Helal, J. Hammer, J. Zhang, A. Khushraj University of Florida, U.S.A. Transformation Rules from Semi-Structured XML Documents to Database Model Y. Badr(1), F. Laforest(1), A. Flory(1), M. Sayah(2) (1)LISI-INSA de Lyon, France (2)Lebanese University, Lebanon The Cost Model for XML Documents in Relational Database Systems J. Kim , W. Lee W, K. Lee Ewha Womans University, Korea A Distance-Based Approach for Database Re-Engineering A. Barbar, M. Collard University of Nice, France
08:00 - 09:00 PM	Special Session: Teaching Science and Computer Science in Arabic, Before it is too late A. Mili, West Virginia University, USA
^

Thursday June 28, 2001

8:00 AM	Registration Desk Opens
08:30 - 09:30 AM	Keynote Speaker: Salim Hariri, University of Arizona, USA Title: Next Generation Internet Technology and Services:          Challenges and Research Opportunities Chair: M. Bettaz, Philadelphia University, Jordan
09:30 - 10:30 AM	Coffee Break
10:30 - 12:00 PM	Track 1 SEF2: Software Testing Chair: R. Probert, University of Ottawa, Canada A Knowledge Base for Program Debugging A. Tubaishat Jordan University of Science and Technology, Jordan An Integrated Testing Technique for Component-Based Software S. Beydeda, V. Gruhn University of Dortmund, Germany Some Parameters for Timed System Testability S. Salva, H. Fouchal University of Reims Champagne-Ardenne, France	Track 2 WEF1: Web Applications Management Chair: Y. Monsef, Lebanese University, Lebanon Automated Detection of Internet Usage Policy Violation S. Al-Khayatt, R. Neale Sheffield Hallam University, U.K. Connectionist Approach for Website Visitors Behaviors Mining Kh. Benabdeslem(1,2), Y. Bennani(1), E. Janvier(2) (1)University of Paris 13, France (2)NumSight, Suisse Improving Web Database Access Using Decision Diagrams D. Popel, N. Al Hakeem University of Wollongong, U.A.E.	Track 3 DBF1: Data Engineering Chair: L. Brunie, INSA de Lyon, France Generating Implicit Association Rules from Textual Data Ch.C. Latiri, S. BenYahia Facult des Sciences de Tunis, Tunisia Discovery of Fuzzy Sequential Patterns for Fuzzy Partitions in Quantitative Attributes R.S. Chen, G.H. Tzeng, C.C. Chen, Y.C. Hu National Chiao Tung University, Taiwan Adaptive Query Processing in E-Commerce Environment Y.W. Teh, A.B. Zaitun, S.P. Lee University of Malaya, Malaysia
12:00 Noon - 1:00 PM	Lunch
1:00 - 2:30 PM	SES1: Programming Languages Chair: G. Dafoulas, UMIST, U.K. On the Interaction of Programming By Contract and Liskov Substitution Principle W. AL-Ahmad Amman University, Jordan The Arabic Object-Oriented Programming Language Al-Risalh M. Amin Umm Al-Qura University, Suadia Arabia Seamless Integration of Control Flow and Data Flow in a Visual Language H. Randriamparany, B. Ibrahim University of Geneva, Switzerland Taxonomy of Process Modeling Languages K.Z. Zamli, P.A. Lee University of Newcastle Upon Tyne, UK Uml-L:An Uml Based Design Description Language H. Hamed(1), A. Salem(2) (1)DePaul University, U.S.A. (2)Ain Shams University, Egypt	AIF4: Problem Solving Chair: C. George, United Nations University, Macau Constraint-Based Timetabling - A Case Study A. Abbas(1), E.P.K. Tsang(2) (1)University of Balamand, Lebanon (2)University of Essex, U.K. An Intelligent Approach for Solving the Airlines Crew Rostering Problem W. El Moudani(1,2), F. Mora-Camino(1,2), C. A. N. Cosenza(3) (1)LAAS du CNRS, Toulouse, France (2)Air Transport Deparment, ENAC/DGAC, France (3)COPPE/UFRJ Centro de tecnologia, Brazil	DBF2: Multimedia Databases Chair: S. Helal, University of Florida, USA A Hyper-Spaced Data Model for Content and Semantic-Based Medical Image Retrieval R. Chbeir, Y. Amghar, A. Flory, L. Brunie LISI-INSA de Lyon, France Modeling Data Repository and Formalizing Content-Based Queries for Image Database S. Atnafu(1), L. Brunie(1), H. Kosch(2) (1)INSA de Lyon, France (2)University Klagenfurt, Austria
2:30 - 3:00 PM	Coffee Break
3:00 - 4:40 PM	SES2: Software Engineering Techniques Chair: N. Debnath, Winona State University, USA Interactive Electronic Technical Manual Object Model (IETMOM) D. Ghobashy, H. Ammar West Virginia University, U.S.A. A Reuse Based Approach for Requirements Engineering O. Rouds(1), M. Fredj(2) (1) Ecole Mohammadia d'Ingenieurs, Morocco (2) LSR-IMAG, France An Environment for Formal Lingware Engineering B. Gargouri, M. Jmaiel, A.B. Hamadou LARIS Laboratory, Tunisia Building UML-Based Use Case Sub-Tool for Component-Based Software Development F.E. Eassa, O.A. Abulnaja King Abdulaziz University, Saudi Arabia Automatic Signature Files Update In Antivirus Software Using Active Packets M.I. Buhari, M. Akbar, S.B. Junaidu, H.M. Saleem King Fahd University of Petroleum and Minerals, Saudi Arabia	WES1: Web Engineering Chair: A. Tubaishat, Jordan University of Science and Technology, Jordan Bargaining in E-Commerce: A Special Negotiation Scheme R. Mourtada(1), F. Szidarovszky(2) (1)SPRINT, U.S.A. (2)University of Arizona, U.S.A. Evaluation and Validation Tests of Multimedia ISO9004 Arabic Prototype Y. Monsef Lebanese University, Lebanon A New Digital Report for Disseminating Meeting Outcomes M. Aparicio(1), C.J. Costa(2) (1)Lusocredito, Portugal (2)ISCTE, Portugal CBR-Based Collaborative Interface Agents: Architectural Issues M. Malek(1), R. Kanawati(2) (1)LAPI-EISTI, France (2)LIPN-CNRS, University of Paris 13, France Creation of a Personal Space with HyWebMap I. Saleh, N. Bouhai, F. Papy University paris 8, France	DCS1: Distributed Computing Chair: A. El Saddik, Darmstadt University of Technology, Germany On Designing a Systolic Network for the Resolution of Linear Systems Using the "Gauss-Seidal" Method F.Z. Hadjam, A. Rahmoun University of Djillali Liabes, Algeria. Location Management Schemes in Mobile Computing: A Survey R. Subrata, A. Zomaya University of Western Australia, Australia An Enviroment Physically Distributed in Java D. LOPES, Z. Abdelouahab Federal University of Maranhao, Brazil
4:40 - 5:00 PM	Coffee Break
5:00 - 6:40 PM	SES3: Software Testing and Reliability Chair: H. Fouchal, University of Reims, France Methods and Metrics for Selective Regression Testing R. Bahsoon(1,2), N. Mansour(2) (1) University College London, U.K. (2) Lebanese American University, Lebanon A Unified Symbolic Execution System C. Koutsikas(1), N. Malevris(2) (1)National Technical University of Athens, Greece (2)Athens University of Economics and Business, Greece Prediction of Software Reliability: A Comparison between Regression and Neural Network Non-Parametric Models S. Aljahdali(1), D. Rine(1), A. Sheta(2) (1)George Mason University, U.S.A. (2)Electronics Research Institute, Egypt CORBA-Based E-Commerce Application Testing Architecture R.L. Probert, W. Li University of Ottawa, Canada An Analysis of Software Engineering Metrics in OO Environment N. Debnath(1), R. Lee(2), H. Abachi(3) (1)Winona State University, U.S.A. (2)Central Michigan University, U.S.A. (3)Monash University, Australia	AIS2: Neural Nets Chair: B. Prasad, Georgia Southwestern State University, USA Neural Speech Synthesis System for Arabic Language Using CELP Algorithm S. Ben Sassi, R. Braham, A. Belghith Ecole Nationale des Sciences de l'Informatique, Tunisia Restoration Method Using a Neural Network Model N. Zenati, K. Achour Center of Advanced Technologies, Algeria Generation of the Sense of a Sentence in Arabic Language with a Connectionist Approach K. Meftouh, M. Laskri University Badji Mokhtar of Annaba, Algeria Toward a Model of Agents Society: A Descriptive Approach H. Belleili, M. Sellami University of Annaba, Algeria	DBS2: Database Processing Chair: O. Abulnaja, King Abdulaziz University, Saudi Arabia A Case Study with Relational Database Metrics C. Calero, M. Piattini, M. Genero University of Castilla-La Mancha, Spain Spatial Data Warehouses and Exploration Techniques: Overview and Application to Incendiary Domain H.B. Zghal(1), S. Faz(2), H. Ben Ghzala(1) (1)Ecole National des Sciences Informatique, Tunisia (2)Institut National des Sciences Appliques et de Technologie, Tunisia Data Mining using Classification Techniques in Query Processing Strategies Y.W. Teh, A.B. Zaitun, S.P. Lee University of Malaya, Malaysia Spatial Decision Tree K. Zeitouni, N. Chelghoum University of Versailles St Quentin, France Static and Dynamic Reverse Engineering of Relational Database Applications: A form-Driven Methodology M. Malki(1), A. Flory(2), M.K. Rahmouni(3) (1)University of Djillali Liabes, Algeria (2)LISI Insa-Lyon, France (3)University of Esenia, Algeria
^

Friday June 29, 2001

8:00 AM	Registration Desk Opens
08:30 - 09:30 AM	Keynote Speaker: Mohammed Fayad, University of Nebraska, USA Title: Building an Information Economy in the Middle East Chair: N. Nada, George Mason University, USA.
09:30 - 10:00 AM	Coffee Break
10:00 AM - 12:00 noon	Track 1 SEF5: Software Engineering Techniques Chair: S. Yacoub, Hewlett Packard Labs, USA A Reuse Description Formalism Z. Houhamdi(1), S. Ghoul(2) (1)University of Biskra, Algeria (2)University of Philadelphia, Jordan An Execution Model for the Seamless Integration of Control Flow and Data Flow B. Ibrahim, H. Randriamparany University of Geneva, Switzerland Modeling Resources in a UML-Based Simulative Environment H. Ammar, V. Cortellessa, A. Ibrahim West Virginia University, U.S.A. Automatic Verification of Concurrent Object Properties R. El-Baida, J. Bahsoun Institut de Recherche en Informatique de Toulouse, France	Track 2 AIF3: Machine Learning Chair: M. Laskri, University Badji Mokhtar of Annaba, Algeria Absorbing Stochastic Estimator Learning Algorithms with High Accuracy and Rapid Convergence G.I. Papadimitriou, A.S. Pomportsis, S. Kiritsi, E. Talahoupi Aristotle University, Greece Neural Expert System with Two Engines of Rough Set M. Yahia(1), R. Mahmod(2) (1)University of Khartoum, Sudan (2)University of Putra Malaysia, Malaysia A Planning System for Blocks-World Domain B. Prasad Georgia Southwestern State University, U.S.A.	Track 3 WEF2: Web Applications Design Chair: A. Sheta, Electronics Research Institute, Egypt A security analysis for label switching routers by M. Al-Ibrahim(1), M. Savsar(2), W. Adi(3) (1) University of Wollongong, Australia (2) Kuwait University, Kuwait (3) Technical University of Braunschweig, Germany Democratic Data Fusion for Information Retrieval Mediators Y. Tzitzikas University of Crete, Greece Keep it Small and Smart A. El Saddik(1), R. Steinmetz(1,2) (1) Darmstadt University of Technology, Germany (2) German National Research Center for Information Technology, Germany
12:00 noon	Closing
12:30 - 1:30 PM	Lunch
1:30 - 3:00 PM	Organizational Meetings (ACS, AICCSA)
3:00 - 3:30 PM	Coffee Break
3:30 - 6:00 PM	Organizational Meetings (ACS, AICCSA) - Continued. Follow Up Meetings.
^

Saturday June 30, 2001

Common Tourist Trip (if sufficient interest)

^