Information and Computer Information and Computer Science DepartmentScience Department

Research ProfileResearch Profile

Information and Computer Information and Computer Science DepartmentScience Department

Research ProfileResearch Profile

Wasfi G. Al-Khatib

Information and Computer Science Department

King Fahd University of Petroleum & Minerals

Wasfi G. Al-Khatib

Information and Computer Science Department

King Fahd University of Petroleum & Minerals

Information and Computer Science FacultyInformation and Computer Science FacultyInformation and Computer Science FacultyInformation and Computer Science Faculty

25 Professorial Rank faculty members• 1 Full Professor

• 5 Associate Professors

• 19 Assistant Professors

2 PhD. Holders• 1 Instructor

• 1 Lecturer

25 Professorial Rank faculty members• 1 Full Professor

• 5 Associate Professors

• 19 Assistant Professors

2 PhD. Holders• 1 Instructor

• 1 Lecturer

ICS Research AreasICS Research AreasICS Research AreasICS Research Areas

Computer Vision, Image Audio and Video Processing and Arabization.

Artificial Intelligence: Theorem Proving, Software and hardware Verification, machine learning, pattern recognition, Uncertainty and knowledge Reasoning

Computer Networks: Network design, Performance and Optimization, Mobile and Distributed Computing Systems, High-Speed Networks, Sensor Networks, Active Networks.

Operating Systems: OS for Mobile devices, Distributed Systems, Multi-Agent Systems, Multimedia Systems, Computer Security.

Software Engineering: Object-oriented Software Engineering, Software Design, Software Measurements

Computer Science Education and eLearning. Computer Algorithms: Parallel Computing, Computational

Geometry, Randomized Algorithms, Grid Computing, Web-mining, data mining.

Database Systems: Database Design, Query Optimization, XML Databases, Multimedia Databases

Computer Vision, Image Audio and Video Processing and Arabization.

Artificial Intelligence: Theorem Proving, Software and hardware Verification, machine learning, pattern recognition, Uncertainty and knowledge Reasoning

Computer Networks: Network design, Performance and Optimization, Mobile and Distributed Computing Systems, High-Speed Networks, Sensor Networks, Active Networks.

Operating Systems: OS for Mobile devices, Distributed Systems, Multi-Agent Systems, Multimedia Systems, Computer Security.

Software Engineering: Object-oriented Software Engineering, Software Design, Software Measurements

Computer Science Education and eLearning. Computer Algorithms: Parallel Computing, Computational

Geometry, Randomized Algorithms, Grid Computing, Web-mining, data mining.

Database Systems: Database Design, Query Optimization, XML Databases, Multimedia Databases

Computer Vision, Image, Audio, and Video Computer Vision, Image, Audio, and Video Processing and ArabizationProcessing and ArabizationComputer Vision, Image, Audio, and Video Computer Vision, Image, Audio, and Video Processing and ArabizationProcessing and Arabization

Muhammad Sarfraz Moustafa Elshafei (From Systems Engineering Dept.) Sabri Mehmoud Mohammed Balah Husni Al-Muhtaseb Wasfi Al-Khatib

Muhammad Sarfraz Moustafa Elshafei (From Systems Engineering Dept.) Sabri Mehmoud Mohammed Balah Husni Al-Muhtaseb Wasfi Al-Khatib

ICS Research Projects: Computer Vision, ICS Research Projects: Computer Vision, Image, Audio, and Video ProcessingImage, Audio, and Video ProcessingICS Research Projects: Computer Vision, ICS Research Projects: Computer Vision, Image, Audio, and Video ProcessingImage, Audio, and Video Processing

Towards the Further Study of Designing with NURBS & ANURBS: The CAD/CAM/CAE Tools, KFUPM/SABIC, 2002-2004.

Automatic Text Recognition: A Need in Arabization, KFUPM, 2001-2005

Automatic Font Generation: A step ahead in Arabization, KFUPM, 2000-2002

Automatic Classification of music and speech in digitized audio.

Towards the Further Study of Designing with NURBS & ANURBS: The CAD/CAM/CAE Tools, KFUPM/SABIC, 2002-2004.

Automatic Text Recognition: A Need in Arabization, KFUPM, 2001-2005

Automatic Font Generation: A step ahead in Arabization, KFUPM, 2000-2002

Automatic Classification of music and speech in digitized audio.

Recognition of License PlatesRecognition of License PlatesRecognition of License PlatesRecognition of License Plates

Objectives• Identification of car number plates in

complex background.

• Plate extraction from poor images with low contrast, glare affected intensity profiles and motion blur.

• Character Segmentation from plates at high tilt or image skew.

• Recognition under a rule base pertinent to Saudi Arabian number plate licensing standards.

• Establishment of a standard number plate database that doesn’t exist for Saudi Arabia (Arabic plates) at the moment.

• Development of novel and promoted techniques in the domain of Image Processing, Computer Vision and Machine Learning.

Objectives• Identification of car number plates in

complex background.

• Plate extraction from poor images with low contrast, glare affected intensity profiles and motion blur.

• Character Segmentation from plates at high tilt or image skew.

• Recognition under a rule base pertinent to Saudi Arabian number plate licensing standards.

• Establishment of a standard number plate database that doesn’t exist for Saudi Arabia (Arabic plates) at the moment.

• Development of novel and promoted techniques in the domain of Image Processing, Computer Vision and Machine Learning.

Proposed and Implemented ApproachProposed and Implemented Approach Proposed and Implemented ApproachProposed and Implemented Approach

Approach

• Mainly involves three phases: Extraction, Segmentation and Recognition

Achievements• Contrast Adjustment using Histogram Stretching

• Local feature extraction based on prevalent image edge profiles and break lights.

• Plate extraction using modified Fuzzy Vector/Euclidean edge detection based techniques.

• Character segmentation using a bi-cluster Fuzzy C-means algorithms

• Recognition of segmented character bitmaps using PCA.

Approach

• Mainly involves three phases: Extraction, Segmentation and Recognition

Achievements• Contrast Adjustment using Histogram Stretching

• Local feature extraction based on prevalent image edge profiles and break lights.

• Plate extraction using modified Fuzzy Vector/Euclidean edge detection based techniques.

• Character segmentation using a bi-cluster Fuzzy C-means algorithms

• Recognition of segmented character bitmaps using PCA.

987532

1

4 6

Association Matrix for all Labels (in circle), derived by a bi-cluster Fuzzy C-Means Alg.

Cluster 1

Cluster 2

Regions

Development possibilities with IntelDevelopment possibilities with IntelDevelopment possibilities with IntelDevelopment possibilities with Intel

A practical License Plate Recognition (LPR) System requires high quality Image Grabbing Devices for operations that are, otherwise, very time consuming under software simulators.

An LPR system in practice is a part of an Intelligent Transport System.• Supports numerous PC clusters for real-time data link.

• Complex image processing tasks are performed in parallel using multiple computers.

A number of such operations that are built over hardware in real time systems are• Frame Averaging

• Image Differencing

• Color level conversions

• Edge and Intensity Adjustment operations.

• Segmentation and Labeling

Significant work has been done in the recognition of US, EU, Japanese, Korean and Chinese License plates. A practical License Plate Recognition (LPR) System is needed NOT just for the local need of the Kingdom but also at a global level which can include various other Arab countries in the neighbor.

The project will be useful for various applications and can be used to enforce speed limits on expressways/roads, monitor traffic flows at traffic signals, record parking statistics at lots, car theft monitoring, Border Crossing, etc.

A practical License Plate Recognition (LPR) System requires high quality Image Grabbing Devices for operations that are, otherwise, very time consuming under software simulators.

An LPR system in practice is a part of an Intelligent Transport System.• Supports numerous PC clusters for real-time data link.

• Complex image processing tasks are performed in parallel using multiple computers.

A number of such operations that are built over hardware in real time systems are• Frame Averaging

• Image Differencing

• Color level conversions

• Edge and Intensity Adjustment operations.

• Segmentation and Labeling

Significant work has been done in the recognition of US, EU, Japanese, Korean and Chinese License plates. A practical License Plate Recognition (LPR) System is needed NOT just for the local need of the Kingdom but also at a global level which can include various other Arab countries in the neighbor.

The project will be useful for various applications and can be used to enforce speed limits on expressways/roads, monitor traffic flows at traffic signals, record parking statistics at lots, car theft monitoring, Border Crossing, etc.

Arabization ProjectsArabization ProjectsArabization ProjectsArabization Projects

Arabic Text-to-Speech (ATTS)

Two types of speech units were used independently: The first consists of 375 diphones of Arabic sounds, and the other has 178 allophones which cover Arabic and English sounds. The project developed extensive Arabic linguistic tools including: Arabic pronunciation rules, and tables of irregularly pronounced Arabic words, and allophone/diphone selection rules. A parametric model was also built to synthesize the speech and to give the user control over the pitch rate, stress, and speech tempo.

Arabic Text-to-Speech (ATTS)

Two types of speech units were used independently: The first consists of 375 diphones of Arabic sounds, and the other has 178 allophones which cover Arabic and English sounds. The project developed extensive Arabic linguistic tools including: Arabic pronunciation rules, and tables of irregularly pronounced Arabic words, and allophone/diphone selection rules. A parametric model was also built to synthesize the speech and to give the user control over the pitch rate, stress, and speech tempo.

Arabization ProjectsArabization ProjectsArabization ProjectsArabization Projects

Automatic Generation of the Arabic Diacritical Marks

We formulated the problem of generating Arabic diacritized text from unvoweled text using Hidden Markov Models (HMM) approach. The word sequence of unvoweled Arabic text is considered an observation sequence from an HMM, where the hidden states are the possible diacritized expressions of the words. The optimal sequence of diacritized words (or states) are then obtained efficiently using a Viterbi like Algorithm. The first phase of this project has already achieved 94.5% letter accuracy.

Automatic Generation of the Arabic Diacritical Marks

We formulated the problem of generating Arabic diacritized text from unvoweled text using Hidden Markov Models (HMM) approach. The word sequence of unvoweled Arabic text is considered an observation sequence from an HMM, where the hidden states are the possible diacritized expressions of the words. The optimal sequence of diacritized words (or states) are then obtained efficiently using a Viterbi like Algorithm. The first phase of this project has already achieved 94.5% letter accuracy.

Arabization ProjectsArabization ProjectsArabization ProjectsArabization Projects

Arabic Speech Recognition System• The project aims at building sufficient know how and a state-

of-the-art research base for the development of the next-generation speech recognition techniques for the Arabic language.

• This project uses Carnegie Mellon University Sphinx-II, Sphinx-III and Sphinx-IV ASR engines and tools as a base for building a state-of-the-art large-vocabulary speaker- independent continuous Arabic ASR systems.

• The project involves building a large Arabic speech corpus, an Arabic phonetic dictionary, training Arabic triphone parametric models, and development of extensive tools for modeling Arabic natural language.

• The project is executed jointly with the Center of Speech and Phonological Science at King Abdulaziz City of Science and Technology.

• Target application: Automatic TV/Radio news transcription.

Arabic Speech Recognition System• The project aims at building sufficient know how and a state-

of-the-art research base for the development of the next-generation speech recognition techniques for the Arabic language.

• This project uses Carnegie Mellon University Sphinx-II, Sphinx-III and Sphinx-IV ASR engines and tools as a base for building a state-of-the-art large-vocabulary speaker- independent continuous Arabic ASR systems.

• The project involves building a large Arabic speech corpus, an Arabic phonetic dictionary, training Arabic triphone parametric models, and development of extensive tools for modeling Arabic natural language.

• The project is executed jointly with the Center of Speech and Phonological Science at King Abdulaziz City of Science and Technology.

• Target application: Automatic TV/Radio news transcription.

Arabization ProjectsArabization ProjectsArabization ProjectsArabization Projects

Neural Network based Speech recognition.

The proposed project aims at investigating various structures for ANN/HMM models for phoneme recognition or next generation Arabic Speech recognition. Carnegie Mellon Sphinx-4 will be used as our testing platform.

Neural Network based Speech recognition.

The proposed project aims at investigating various structures for ANN/HMM models for phoneme recognition or next generation Arabic Speech recognition. Carnegie Mellon Sphinx-4 will be used as our testing platform.

Automatic Classification of Speech Automatic Classification of Speech and Musicand MusicAutomatic Classification of Speech Automatic Classification of Speech and Musicand Music Music reduction/removal from documentaries Speech Segments Extraction

• Automatic speech recognition

• Indexing and retrieval

• Speaker recognition

Improving audio coding/compression

Music reduction/removal from documentaries Speech Segments Extraction

• Automatic speech recognition

• Indexing and retrieval

• Speaker recognition

Improving audio coding/compression

FeatureSelection

Classifier

Feature Extraction

Process

Classification Process

Automatic Classification of Speech and Automatic Classification of Speech and Music: MethodologyMusic: MethodologyAutomatic Classification of Speech and Automatic Classification of Speech and Music: MethodologyMusic: Methodology Newly Proposed Features

• RMS of Lowpass Signal• Mean of Discrete Wavelet Transform (DWT)• Variance of Discrete Wavelet Transform (DWT)• Range of Zero Crossings• Variance of Mel Frequency Cepstral Coefficients (MFCC)

Previously Used Features• Spectral Flux• Percentage of Low Energy Frames• Linear Predictive Coefficients (LPC)

Contribution of extracted features studied using Fuzzy C-Means Clustering Classification Frameworks

• Neural Networks• Multilayer Perceptron (MLP)• Radial Basis Function (RBF)

• Statistical Models• Hidden Markov Model

Newly Proposed Features• RMS of Lowpass Signal• Mean of Discrete Wavelet Transform (DWT)• Variance of Discrete Wavelet Transform (DWT)• Range of Zero Crossings• Variance of Mel Frequency Cepstral Coefficients (MFCC)

Previously Used Features• Spectral Flux• Percentage of Low Energy Frames• Linear Predictive Coefficients (LPC)

Contribution of extracted features studied using Fuzzy C-Means Clustering Classification Frameworks

• Neural Networks• Multilayer Perceptron (MLP)• Radial Basis Function (RBF)

• Statistical Models• Hidden Markov Model

Automatic Classification of Speech and Automatic Classification of Speech and Music: Prototype SystemMusic: Prototype SystemAutomatic Classification of Speech and Automatic Classification of Speech and Music: Prototype SystemMusic: Prototype System

Artificial IntelligenceArtificial IntelligenceArtificial IntelligenceArtificial Intelligence

Madala Rama K. Krishna Rao Kanaan Faisal Emad El-Sebakhy Tarek El-Bassuny El-Sayed El-Alfy

Madala Rama K. Krishna Rao Kanaan Faisal Emad El-Sebakhy Tarek El-Bassuny El-Sayed El-Alfy

ICS Research Projects: Artificial ICS Research Projects: Artificial IntelligenceIntelligenceICS Research Projects: Artificial ICS Research Projects: Artificial IntelligenceIntelligence

Learning Prolog programs: theory and applications in data mining.

Critical Assessment of Key Analytical Methods for Sanding Prediction. 2005-2006.

Develop Fuzzy Logic Models to Generate Permeability Traces in Non-Cored Wells. 2005-2006.

Development of Artificial Intelligence System for Prediction and Quality Control of PVT Properties. 2005-2006.

Multi-Agent Based Ubiquitous Approach for Personalized Information Systems.

Learning Prolog programs: theory and applications in data mining.

Critical Assessment of Key Analytical Methods for Sanding Prediction. 2005-2006.

Develop Fuzzy Logic Models to Generate Permeability Traces in Non-Cored Wells. 2005-2006.

Development of Artificial Intelligence System for Prediction and Quality Control of PVT Properties. 2005-2006.

Multi-Agent Based Ubiquitous Approach for Personalized Information Systems.

Statistical Approaches:5. Discriminant Analyses6. Logistic Regression7. K-Nearest Neighbor

Computer Science Approaches:1. Support Vector Machines 2. Probabilistic Neural Network (NN) 3. Radial Basis Functions Network4. Multilayer Perceptron NN

Functional networks are a generalization of neural networks. They are capeable of capturing & representing complex input/output relationships.

0 1 2 3 4 5 6 7 80

1

2

3

4

5

6

7

8

FEATURE 1

FEAT

URE

2

2 3 4 5 6 7 8 9 10-1

0

1

2

3

4

5

6

x1

x 2

DecisionRegion 2

DecisionRegion 1

DecisionBoundary

FUNCTIONAL NETWORKS AS A NEW FUNCTIONAL NETWORKS AS A NEW FRAMEWORK FOR PATTERN RECOGNITIONFRAMEWORK FOR PATTERN RECOGNITION

The response is:

In functional networks, we learn functions (not parameters) by approximate them by linearly independent family:

1

wh, 1, 2,..., , eresq

s si sii

g x a x s m

The parameters can be learned using optimization methods.

1, , , , , ,x x qx qxe e e e

1, , , ,qx x

1,sin ,cos , ,sin ,cosx x qx qx

Functional Networks ClassifierFunctional Networks Classifier Learning AlgorithmFunctional Networks ClassifierFunctional Networks Classifier Learning Algorithm

sia

We assume that the probability can be written as:ik , ,ik k i kp g x where are unknown, but unrestricted functions to be learned from the data, and p(.) must satisfy the two probability conditions, and is unknowns. For example, p(.) can be a Probit or Sigmoidal or CDF or Mulinomial logistic functions.

,k i kg x k

11; if ; for 1,..., -1.i ik

j jy j j c

c c

We use Constrained Least Squares, or Iterative Least Squares, or Maximum Likelihood

Simulation and Real-World Applications of Functional Simulation and Real-World Applications of Functional Networks: A Comparative StudyNetworks: A Comparative Study

Simulation and Real-World Applications of Functional Simulation and Real-World Applications of Functional Networks: A Comparative StudyNetworks: A Comparative Study

The real Databases under study are taken from:

Machine learning repository database at UC Irvine: ftp://ftp.ics.uci.edu/pub/machine-learning-databases

Thalassemias Data:

p=4, c=3

Functional Networks: Internal and External Validation Using Functional Networks: Internal and External Validation Using p=4 and c=3p=4 and c=3

Functional Networks: Internal and External Validation Using Functional Networks: Internal and External Validation Using p=4 and c=3p=4 and c=3

Develop Fuzzy Logic Models to Generate Develop Fuzzy Logic Models to Generate Permeability Traces in Non-Cored WellsPermeability Traces in Non-Cored WellsDevelop Fuzzy Logic Models to Generate Develop Fuzzy Logic Models to Generate Permeability Traces in Non-Cored WellsPermeability Traces in Non-Cored Wells

Carbonate rocks pose an extreme challenge for mapping rock properties, especially porosity and permeability, due to their variable and complex pore structure

Fuzzy Logic asserts that the reservoir consists of several litho-types, each having characteristic distributions for permeability and electrical log values. Fuzzy Logic attempts to uncover the relationship between these distributions.

Objective: Develop expertise in fuzzy logic permeability modeling that uses conventional open-hole logs

Carbonate rocks pose an extreme challenge for mapping rock properties, especially porosity and permeability, due to their variable and complex pore structure

Fuzzy Logic asserts that the reservoir consists of several litho-types, each having characteristic distributions for permeability and electrical log values. Fuzzy Logic attempts to uncover the relationship between these distributions.

Objective: Develop expertise in fuzzy logic permeability modeling that uses conventional open-hole logs

SHALE VOLUME0 1

POROSITY1 0

GAS WATER1 0

CMR.AMP_DIST

0

50

100

150

200

DEPT

HXFE

ET

CKHLMD0.01 1000

KCOATESTIMUR/COATES0.01 1000

CKHLMD0.01 1000

KSDRSDR MODEL0.01 1000

CKHLMD0.01 1000

KRGPZRGPZ MODEL0.01 1000

CKHLMD0.01 1000

KFLFUZZY LOGIC0.01 1000

CKHLMD0.01 1000

KGAGENETIC ALGO0.01 1000

The Fuzzy Mathematics of Litho-Facies Prediction

2 2( ) / 2

( )2

xeP x

The normal distribution is given by:(1)

P(x) is the probability density that an observation x is measured in the data-set described by a mean m and standard deviation s.

In statistics the area under the curve described by the normal distribution represents the probability of a variable x falling into a range, say between x1

and x2 .

The curve itself represents the relative probability of variable x occurring in the distribution. That is to say, the mean value is more likely to occur than

values 1 or 2 standard deviations from it .

This curve is used to estimate the relative probability or “fuzzy possibility” that a data value belongs to a particular data set. If a litho-facies type has a porosity distribution with a mean m and standard deviation s the fuzzy possibility that a well log porosity value x is measured in this litho-facies type can be estimated using Equation 1. The mean and standard deviation are simply derived from the calibrating or conditioning data set, usually core data.

Permeability Prediction in the Ula Field

0.01

0.1

1

10

100

1000

10000

0 0.05 0.1 0.15 0.2 0.25 0.3 0.35 0.4

Porosity (-)

Perm

eabi

lity

(mD)

m=1.0m=1.4m=1.8m=2.2m=2.6

d =100 micronsa =8/3(a)

Permeability Prediction Permeability Prediction From NMR DataFrom NMR Data Permeability Prediction Permeability Prediction From NMR DataFrom NMR Data

Permeability prediction by fuzzy logic allows better choice of perforating intervals and can be applied to model building to map permeability, although it is still reliant on a good core permeability database.

The RGPZ and GAFL models work exceptionally well as a permeability predictor on core and log data, performing better overall than the SDR and Coates models.

Permeability prediction by fuzzy logic allows better choice of perforating intervals and can be applied to model building to map permeability, although it is still reliant on a good core permeability database.

The RGPZ and GAFL models work exceptionally well as a permeability predictor on core and log data, performing better overall than the SDR and Coates models.

Computer NetworksComputer NetworksComputer NetworksComputer Networks

Mohammad Al-Suwaiyel Farag Azzedin El-Sayed El-Alfy Ishtiaq Chaudhry Khaled Salah Muhammad Buhari Naser Darwish

Mohammad Al-Suwaiyel Farag Azzedin El-Sayed El-Alfy Ishtiaq Chaudhry Khaled Salah Muhammad Buhari Naser Darwish

ICS Research Projects: Computer ICS Research Projects: Computer NetworksNetworksICS Research Projects: Computer ICS Research Projects: Computer NetworksNetworks

Analytical, Simulation, and Experimental Investigation of the Performance of Popular Interrupt Handling Schemes for Gigabit-Network Hosts, KFUPM, 2005-2007.

Deploying voice and videoconferencing over IP Networks, KFUPM, 2005-2006.

Fuzzy logic based trust modeling. Trust modeling for Peer-to-Peer systems: Issues and approaches. Applications of Genetic Algorithms to MPLS-Based Network

Design. KFUPM July 2005-August 2005. Performance Evaluation and Enhancement of TCP over Wireless. Implementation of Multihoming and Multistreaming features to

Fast TCP. Performance analysis of SCTP over wireless networks.

Analytical, Simulation, and Experimental Investigation of the Performance of Popular Interrupt Handling Schemes for Gigabit-Network Hosts, KFUPM, 2005-2007.

Deploying voice and videoconferencing over IP Networks, KFUPM, 2005-2006.

Fuzzy logic based trust modeling. Trust modeling for Peer-to-Peer systems: Issues and approaches. Applications of Genetic Algorithms to MPLS-Based Network

Design. KFUPM July 2005-August 2005. Performance Evaluation and Enhancement of TCP over Wireless. Implementation of Multihoming and Multistreaming features to

Fast TCP. Performance analysis of SCTP over wireless networks.

Trust Modeling and Its Applications for Peer-Trust Modeling and Its Applications for Peer-to-Peer Computingto-Peer ComputingTrust Modeling and Its Applications for Peer-Trust Modeling and Its Applications for Peer-to-Peer Computingto-Peer Computing What is peer-to-

peer computing? What is trust? Why modeling

trust? Objectives:

• Increase the overall work done by the resources

• Decrease the risk associated with resource sharing

• Enable resource accountability

What is peer-to-peer computing?

What is trust? Why modeling

trust? Objectives:

• Increase the overall work done by the resources

• Decrease the risk associated with resource sharing

• Enable resource accountability

paradigmnode ownership

Node manage-ment

Control policies

discovery mechanisms

peer-to-peer computing

locallocalnonecentralized or distributed

Cluster computing

global (single ownership)

global global job scheduling

Grid computing

localglobal manag-ement under local policies

single controlling policy

centralized or distributed

public computing networks

localglobal management under local policies

multiple controlling policies

distributed

The Overall Trust Model The Overall Trust Model The Overall Trust Model The Overall Trust Model

SourceNCD

RD CD

TargetNCD

TA

RD CD

Reco

mm

end

atio

n

Directrelationship

TA

TATATA

NetworkComputing

Domain

Utility of The Trust ModelUtility of The Trust ModelUtility of The Trust ModelUtility of The Trust Model

Integrating trust into resource management systems (RMSs)• The idea is to make trust cognizant resource

allocations

Integrating trust into computing utility environments

Introducing the notion of trusted regions

Integrating trust into resource management systems (RMSs)• The idea is to make trust cognizant resource

allocations

Integrating trust into computing utility environments

Introducing the notion of trusted regions

Friendly Active Network SystemFriendly Active Network SystemFriendly Active Network SystemFriendly Active Network System

Objective: To introduce active networks in different areas • Improper website blocking

• Access controls

• Congestion Control

Active Network system with capabilities to handle both capsule-based and out-of-band architecture based on applications.

Objective: To introduce active networks in different areas • Improper website blocking

• Access controls

• Congestion Control

Active Network system with capabilities to handle both capsule-based and out-of-band architecture based on applications.

Real-time and SimulationReal-time and Simulation

Access control using expert system, artificial neural networks and parallel rules have been tested on both active and non-active platforms.

Real-time platform• Language used: Java.

• Clustering of PCs using PVM.

• Heterogeneous platforms used.

Processing on the fly was tested by linking the C code of PVM to handle MATLAB applications.

A 16-node Active Network system with both ergodic and non-ergodic capabilities have been tested on NS Simulator.

Access control using expert system, artificial neural networks and parallel rules have been tested on both active and non-active platforms.

Real-time platform• Language used: Java.

• Clustering of PCs using PVM.

• Heterogeneous platforms used.

Processing on the fly was tested by linking the C code of PVM to handle MATLAB applications.

A 16-node Active Network system with both ergodic and non-ergodic capabilities have been tested on NS Simulator.

Planned Future WorkPlanned Future WorkPlanned Future WorkPlanned Future Work

In general, the access lists are fixed for a network and so its easy to parallelize them and then apply it using active networks approach.

Future work requires parallelize the rules on-the-fly and allocated job to the respective routers using active networks.

To induce routing decisions using active networks. One scenario is to make Link-state protocols stabilize faster.

In general, the access lists are fixed for a network and so its easy to parallelize them and then apply it using active networks approach.

Future work requires parallelize the rules on-the-fly and allocated job to the respective routers using active networks.

To induce routing decisions using active networks. One scenario is to make Link-state protocols stabilize faster.

Operating SystemsOperating SystemsOperating SystemsOperating Systems

Farag Azzedin Khaled Salah Tarek El-Bassuny

Farag Azzedin Khaled Salah Tarek El-Bassuny

ICS Research Projects: Operating SystemsICS Research Projects: Operating SystemsICS Research Projects: Operating SystemsICS Research Projects: Operating Systems

Natural Language Voice Interface for Controlling Audio-Video equipment

Multi-agent based Electronic Commerce as an integration technology for the next generation Web

Natural Language Voice Interface for Controlling Audio-Video equipment

Multi-agent based Electronic Commerce as an integration technology for the next generation Web

Agentfying the E-Commerce Web PortalsAgentfying the E-Commerce Web PortalsAgentfying the E-Commerce Web PortalsAgentfying the E-Commerce Web Portals

SMA 2SMA 2

CIA

CIA

CIA

CIA

System Kernel1. Routing2. Creating PAs

communities3. Customers

Modeling4. Sharing the

customers Models5. Advertising and

recommending newly subscribed services or added information

6. Security tasks

PA 1PA 1

PA 2PA 2

PA nPA n

Portal Agents represent distributed Web portals that provide different services and information.

SMA 1SMA 1

SMA 2SMA 2

SMA nSMA n

SMA1SMA1

SMA nSMA n

SMA 2SMA 2

SMA nSMA n

SMA 1SMA 1

Service Mining Agents represent the information or services presented by the URLs of the Web portal.

Individual PCs

Natural Language Interface The AgenTV

MASCommand

interpretation&

responsegeneration

Speech-to-text

Device control

User-interfaceSpeech Device

Experimental environment

Lights3

On Off SoundJump

ColorJump

BrightnessJump

ContrastJump

More Less Add Remove

DVD5

Input100

Action8

Program1

Television7

Channel2 (TV=4)

Adjustment6

VCR5

Power3

Sound3

Picture5

Color3

Brightness3

Contrast3

Remove Add11

Start time10

End time

Time/Date9

Programlist

ChannelJump

Forward Rewind Stop Pause Record Play

Actuator

Menu

Window2

LightsJump

Speechinput

Textinput

Software EngineeringSoftware EngineeringSoftware EngineeringSoftware Engineering

Jarallah Al-Ghamdi Mohammad Al-Shayeb Mahmoud Elish Abdallah Al-Sukairi

Jarallah Al-Ghamdi Mohammad Al-Shayeb Mahmoud Elish Abdallah Al-Sukairi

ICS Research Projects: Software ICS Research Projects: Software EngineeringEngineeringICS Research Projects: Software ICS Research Projects: Software EngineeringEngineering

Investigating Design Quality Characteristics for Refactoring and Refactoring To Patterns Using Software Metrics

Measuring Architectural Stability in Object Oriented Systems

Investigating Design Quality Characteristics for Refactoring and Refactoring To Patterns Using Software Metrics

Measuring Architectural Stability in Object Oriented Systems

Software Engineering research projectSoftware Engineering research projectSoftware Engineering research projectSoftware Engineering research project

Project: Investigating Design Quality Characteristics for Refactoring and Refactoring To Patterns Using Software Metrics

Objective: to confirm or invalidate the claims that cost and time put into refactoring are worthwhile.

In this research we will investigate: • An approach to detect the need to refactor early in the

software process.

• Two refactoring approaches: refactoring to produce design patterns, and refactoring that produces code without design patterns.

Using software metrics, we will quantitatively investigate whether those approaches really improve software quality or not

Project: Investigating Design Quality Characteristics for Refactoring and Refactoring To Patterns Using Software Metrics

Objective: to confirm or invalidate the claims that cost and time put into refactoring are worthwhile.

In this research we will investigate: • An approach to detect the need to refactor early in the

software process.

• Two refactoring approaches: refactoring to produce design patterns, and refactoring that produces code without design patterns.

Using software metrics, we will quantitatively investigate whether those approaches really improve software quality or not

An example of a quality modelAn example of a quality modelAn example of a quality modelAn example of a quality model

Maintainability

Reliability

Portability

Usability

Number of procedure parameters

Cyclomatic Complexity

Program size in Lines of Code

Number of Error Messages

Length of User Manual

External attribute Internal attribute

Computer Science Education and Computer Science Education and eLearningeLearningComputer Science Education and Computer Science Education and eLearningeLearning

Madala Rama K. Krishna Rao Kanaan Faisal Junaidu Sahalu Muhammad Shafique El-Sayed El-Alfy Wasfi Al-Khatib

Madala Rama K. Krishna Rao Kanaan Faisal Junaidu Sahalu Muhammad Shafique El-Sayed El-Alfy Wasfi Al-Khatib

ICS Research Projects: Computer Science ICS Research Projects: Computer Science Education and eLearningEducation and eLearningICS Research Projects: Computer Science ICS Research Projects: Computer Science Education and eLearningEducation and eLearning

Building Computer-Adaptive Testing Using Reinforcement Learning. KFUPM, 2005-2006.

Critical thinking skills in computer science curriculum. Technology-Based Education in KFUPM

Building Computer-Adaptive Testing Using Reinforcement Learning. KFUPM, 2005-2006.

Critical thinking skills in computer science curriculum. Technology-Based Education in KFUPM

Database SystemsDatabase SystemsDatabase SystemsDatabase Systems

Salahadin Mohammed Muhammad Shafique Ejaz Ahmed Wasfi Al-Khatib

Salahadin Mohammed Muhammad Shafique Ejaz Ahmed Wasfi Al-Khatib

ICS Research Projects: Database SystemsICS Research Projects: Database SystemsICS Research Projects: Database SystemsICS Research Projects: Database Systems

Integrating XML documents: KFUPM 2005-2006. Query optimization in XML databases.

Integrating XML documents: KFUPM 2005-2006. Query optimization in XML databases.

Computer AlgorithmsComputer AlgorithmsComputer AlgorithmsComputer Algorithms

Mohammad Al-Suwaiyel Ebrahim Malalla Junaidu Sahalu

Mohammad Al-Suwaiyel Ebrahim Malalla Junaidu Sahalu

ICS Research Projects: Computer ICS Research Projects: Computer AlgorithmsAlgorithmsICS Research Projects: Computer ICS Research Projects: Computer AlgorithmsAlgorithms Two-way linear probing with reassignments. Limit laws for sums of functions of subgraphs of

random graphs.

Two-way linear probing with reassignments. Limit laws for sums of functions of subgraphs of

random graphs.

Information and Computer Information and Computer Science Faculty Research Science Faculty Research

ProfileProfile

Information and Computer Information and Computer Science Faculty Research Science Faculty Research

ProfileProfile

Dr. Muhammad Sarfraz, ProfessorDr. Muhammad Sarfraz, ProfessorDr. Muhammad Sarfraz, ProfessorDr. Muhammad Sarfraz, Professor

Research Interests• Computer Graphics, Pattern Recognition, Geometric Modeling.

Recent Projects• Towards the Further Study of Designing with NURBS & ANURBS: The

CAD/CAM/CAE Tools, KFUPM/SABIC, 2002-2004.• Automatic Text Recognition: A Need in Arabization, KFUPM, 2001-2005• Automatic Font Generation: A step ahead in Arabization, KFUPM, 2000-

2002 Recent Publications

• Sarfraz, M, (2005), Computer Aided Intelligent Recognition Techniques and Applications, ISBN: 0-470-09414-1, John Wiley and Sons.

• Sarfraz, M, (2004), Geometric Modeling: Techniques, Applications, Systems and Tools, Kluwer Academic Publishers, ISBN: 1-4020-1817-7.

• Habib, Z., Sarfraz, M., and Sakai, M. (2005), Rational Cubic Spline Interpolation with Shape Control, International Journal of Computers & Graphics, Elsevier Science, Vol. 29(4), 594-605.

Research Interests• Computer Graphics, Pattern Recognition, Geometric Modeling.

Recent Projects• Towards the Further Study of Designing with NURBS & ANURBS: The

CAD/CAM/CAE Tools, KFUPM/SABIC, 2002-2004.• Automatic Text Recognition: A Need in Arabization, KFUPM, 2001-2005• Automatic Font Generation: A step ahead in Arabization, KFUPM, 2000-

2002 Recent Publications

• Sarfraz, M, (2005), Computer Aided Intelligent Recognition Techniques and Applications, ISBN: 0-470-09414-1, John Wiley and Sons.

• Sarfraz, M, (2004), Geometric Modeling: Techniques, Applications, Systems and Tools, Kluwer Academic Publishers, ISBN: 1-4020-1817-7.

• Habib, Z., Sarfraz, M., and Sakai, M. (2005), Rational Cubic Spline Interpolation with Shape Control, International Journal of Computers & Graphics, Elsevier Science, Vol. 29(4), 594-605.

Dr. M.R.K. Krishna Rao, Associate Dr. M.R.K. Krishna Rao, Associate ProfessorProfessorDr. M.R.K. Krishna Rao, Associate Dr. M.R.K. Krishna Rao, Associate ProfessorProfessor Research Interests

• Theorem proving, software and hardware verification, learning theory, data mining.

Recent Projects• Learning Prolog programs: theory and applications in data mining.• Critical thinking skills in computer science curriculum.

Recent Publications• M.R.K. Krishna Rao, S. Junaidu, T. Maghrabi, M. Shafique, M. Ahmad and

K. Faisal (2005), Principles of curriculum design and revision: a case study in implementing computing curricula CC2001, Proc. of the ACM SIGCSE conf ITiCSE’2005.

• M.R.K. Krishna Rao (2005), Input-termination of logic programs, Proc. of LOPSTR'2005, Lecture Notes in Artificial Intelligence, Springer-Verlag.

• M.R.K. Krishna Rao (2004), Inductive Inference of Term Rewriting Systems from Positive Data, Proc. of Algorithmic Learning Theory, ALT'2004, Lecture Notes in Artificial Intelligence 3244, pp. 69-82, Springer-Verlag.

• M.R.K. Krishna Rao (2004), Learnability of Simply-Moded Logic Programs from Entailment, Proc. of Asian Computing Science Conference, ASIAN'2004, Lecture Notes in Computer Science 3321, pp.128-141, Springer-Verlag.

Research Interests• Theorem proving, software and hardware verification, learning theory, data

mining. Recent Projects

• Learning Prolog programs: theory and applications in data mining.• Critical thinking skills in computer science curriculum.

Recent Publications• M.R.K. Krishna Rao, S. Junaidu, T. Maghrabi, M. Shafique, M. Ahmad and

K. Faisal (2005), Principles of curriculum design and revision: a case study in implementing computing curricula CC2001, Proc. of the ACM SIGCSE conf ITiCSE’2005.

• M.R.K. Krishna Rao (2005), Input-termination of logic programs, Proc. of LOPSTR'2005, Lecture Notes in Artificial Intelligence, Springer-Verlag.

• M.R.K. Krishna Rao (2004), Inductive Inference of Term Rewriting Systems from Positive Data, Proc. of Algorithmic Learning Theory, ALT'2004, Lecture Notes in Artificial Intelligence 3244, pp. 69-82, Springer-Verlag.

• M.R.K. Krishna Rao (2004), Learnability of Simply-Moded Logic Programs from Entailment, Proc. of Asian Computing Science Conference, ASIAN'2004, Lecture Notes in Computer Science 3321, pp.128-141, Springer-Verlag.

Dr. Mohammad Al-Suwaiyel, Associate Dr. Mohammad Al-Suwaiyel, Associate ProfessorProfessorDr. Mohammad Al-Suwaiyel, Associate Dr. Mohammad Al-Suwaiyel, Associate ProfessorProfessor Research Interests

• Algorithms, Parallel Computing, Computational Geometry, Interconnection Networks.

Recent Publications• M. H. Alsuwaiyel, Algorithms: Design Techniques and Analysis,

World Scientific Publishers, English Edition (1999), Chinese Edition (2003).

• M. Gavrilova and M. H. Alsuwaiyel, “Computing the Euclidean Distance Transform”, Journal of Supercomputing, 25(2), June 2003, 177-185.

• M. Gavrilova and M. H. Alsuwaiyel, “Two Algorithms For Computing The Euclidean Distance Transform,'' International Journal of Image and Graphics, Vol. 1, No. 4 (2002) 635-645.

• M. H. Alsuwaiyel, “An Improved Parallel Algorithm for a Geometric Matching Problem with Applications,'' Journal of Parallel Algorithms and Applications, Vol 27(6), 2001, 861--865.

• M. H. Alsuwaiyel, “An optimal parallel algorithm for the multi-selection problem,'' Parallel Computing, Vol 27(6), 2001, pp 861-865.

Research Interests• Algorithms, Parallel Computing, Computational Geometry,

Interconnection Networks. Recent Publications

• M. H. Alsuwaiyel, Algorithms: Design Techniques and Analysis, World Scientific Publishers, English Edition (1999), Chinese Edition (2003).

• M. Gavrilova and M. H. Alsuwaiyel, “Computing the Euclidean Distance Transform”, Journal of Supercomputing, 25(2), June 2003, 177-185.

• M. Gavrilova and M. H. Alsuwaiyel, “Two Algorithms For Computing The Euclidean Distance Transform,'' International Journal of Image and Graphics, Vol. 1, No. 4 (2002) 635-645.

• M. H. Alsuwaiyel, “An Improved Parallel Algorithm for a Geometric Matching Problem with Applications,'' Journal of Parallel Algorithms and Applications, Vol 27(6), 2001, 861--865.

• M. H. Alsuwaiyel, “An optimal parallel algorithm for the multi-selection problem,'' Parallel Computing, Vol 27(6), 2001, pp 861-865.

Dr. Ebrahim Malalla, Assistant ProfessorDr. Ebrahim Malalla, Assistant ProfessorDr. Ebrahim Malalla, Assistant ProfessorDr. Ebrahim Malalla, Assistant Professor

Research Interests• Probabilistic analysis of algorithms, randomized algorithms,

and random data structures such as trees, graphs, and hash tables.

Research Projects• Two-way linear probing with reassignments.

• Limit laws for sums of functions of subgraphs of random graphs.

Recent Publications• K. Dalal, L. Devroye, E. Malalla and E. McLeish, "Two-way

Chaining with Reassignment," SIAM Journal of Computing, 2005.

Research Interests• Probabilistic analysis of algorithms, randomized algorithms,

and random data structures such as trees, graphs, and hash tables.

Research Projects• Two-way linear probing with reassignments.

• Limit laws for sums of functions of subgraphs of random graphs.

Recent Publications• K. Dalal, L. Devroye, E. Malalla and E. McLeish, "Two-way

Chaining with Reassignment," SIAM Journal of Computing, 2005.

Dr. El-Sayed El-Alfy, Assistant ProfessorDr. El-Sayed El-Alfy, Assistant ProfessorDr. El-Sayed El-Alfy, Assistant ProfessorDr. El-Sayed El-Alfy, Assistant Professor

Research Interests• Network design, performance and optimization, Mobile and

distributed computing systems, and applications of soft computing in network-related problems

Recent Projects• Building Computer-Adaptive Testing Using Reinforcement Learning.

KFUPM, 2005-2006. • Applications of Genetic Algorithms to MPLS-Based Network

Design. KFUPM July 2005-Augest 2005.• Performance Evaluation and Enhancement of TCP over Wireless.

Recent Publications• E. El-Alfy, “A General Look at Building Applications for Mobile

Devices,” IEEE Distributed Systems Online, Sep. 2005.• E. El-Alfy, Y. Yao and H. Heffes, “Adaptive resource allocation with

prioritized handoff in cellular mobile networks under QoS provisioning,” IEEE VTS 54th Vehicular Technology Conference, VTC 2001, vol. 4, pp. 2113 – 2117, Oct. 2001.

• E. El-Alfy, Y. Yao and H. Heffes, “A model-based Q-learning scheme for wireless channel allocation with prioritized handoff,” IEEE Global Telecommunications Conference, GLOBECOM '01, vol. 6, pp. 3668 – 3672, Nov. 2001.

Research Interests• Network design, performance and optimization, Mobile and

distributed computing systems, and applications of soft computing in network-related problems

Recent Projects• Building Computer-Adaptive Testing Using Reinforcement Learning.

KFUPM, 2005-2006. • Applications of Genetic Algorithms to MPLS-Based Network

Design. KFUPM July 2005-Augest 2005.• Performance Evaluation and Enhancement of TCP over Wireless.

Recent Publications• E. El-Alfy, “A General Look at Building Applications for Mobile

Devices,” IEEE Distributed Systems Online, Sep. 2005.• E. El-Alfy, Y. Yao and H. Heffes, “Adaptive resource allocation with

prioritized handoff in cellular mobile networks under QoS provisioning,” IEEE VTS 54th Vehicular Technology Conference, VTC 2001, vol. 4, pp. 2113 – 2117, Oct. 2001.

• E. El-Alfy, Y. Yao and H. Heffes, “A model-based Q-learning scheme for wireless channel allocation with prioritized handoff,” IEEE Global Telecommunications Conference, GLOBECOM '01, vol. 6, pp. 3668 – 3672, Nov. 2001.

Research Interests• Artificial Intelligence, Machine Learning, Functional Networks, • Bioinformatics, Pattern Recognition, Uncertainty and knowledge Reasoning,

Simulation, Non-Linear Optimization, and Statistics.• Soft Computing and Intelligence Systems and its applications in Petroleum

Engineering, Web-Mining, Security, and E-Commerce. Industrial Experience

• Two years experience as a system analyst programmer for Micro Array Technology, Science and Technology ,Corning Incorporated, NY, USA.

• Two years experience as a software engineering and research Scientist at AUTODESK INC., California, USA.

Recent Projects• “Critical Assessment of Key Analytical Methods for Sanding Prediction”. 2005-

2006.• “Develop Fuzzy Logic Models to Generate Permeability Traces in Non-Cored

Wells”. 2005-2006.• “Development of Artificial Intelligence System for Prediction and Quality Control

of PVT Properties”. 2005-2006. Publications

• Emad A. El-Sebakhy, “Functional networks training algorithm for statistical pattern recognition”; IEEE Computers and Communications, 2004, Volume 1,  28:92 - 97.

• Emad A. El-Sebakhy, “A Fast and Efficient Algorithm for Multi-class Support Vector Machines Classifier”, ICICS2004: 28-30 November. IEEE Computer Society: 397-412.

• Emad A. El-Sebakhy, “The Maximum Likelihood Functional Networks as a Novel Approach for Pattern Classification Problems”, Journal of Neurocomputing, 2005, (In press).

Research Interests• Artificial Intelligence, Machine Learning, Functional Networks, • Bioinformatics, Pattern Recognition, Uncertainty and knowledge Reasoning,

Simulation, Non-Linear Optimization, and Statistics.• Soft Computing and Intelligence Systems and its applications in Petroleum

Engineering, Web-Mining, Security, and E-Commerce. Industrial Experience

• Two years experience as a system analyst programmer for Micro Array Technology, Science and Technology ,Corning Incorporated, NY, USA.

• Two years experience as a software engineering and research Scientist at AUTODESK INC., California, USA.

Recent Projects• “Critical Assessment of Key Analytical Methods for Sanding Prediction”. 2005-

2006.• “Develop Fuzzy Logic Models to Generate Permeability Traces in Non-Cored

Wells”. 2005-2006.• “Development of Artificial Intelligence System for Prediction and Quality Control

of PVT Properties”. 2005-2006. Publications

• Emad A. El-Sebakhy, “Functional networks training algorithm for statistical pattern recognition”; IEEE Computers and Communications, 2004, Volume 1,  28:92 - 97.

• Emad A. El-Sebakhy, “A Fast and Efficient Algorithm for Multi-class Support Vector Machines Classifier”, ICICS2004: 28-30 November. IEEE Computer Society: 397-412.

• Emad A. El-Sebakhy, “The Maximum Likelihood Functional Networks as a Novel Approach for Pattern Classification Problems”, Journal of Neurocomputing, 2005, (In press).

Dr. Emad El-Sebakhy, Assistant ProfessorDr. Emad El-Sebakhy, Assistant ProfessorDr. Emad El-Sebakhy, Assistant ProfessorDr. Emad El-Sebakhy, Assistant Professor

Dr. Farag Azzedin, Assistant ProfessorDr. Farag Azzedin, Assistant ProfessorDr. Farag Azzedin, Assistant ProfessorDr. Farag Azzedin, Assistant Professor

Research Interests• Trust Modeling for Peer-to-Peer based computing systems.• Grid computing and next generation middleware architectures. • Resource management algorithms, dissemination, and discovery. • Computer security in the context of Grid computing.

Recent Projects• Fuzzy logic based trust modeling.• Trust modeling for Peer-to-Peer systems: Issues and approaches .

Recent Publications• F. Azzedin, M. Maheswaran, and N. Arnason ``A Synchronous Co-

allocation Mechanism for Grid Computing Systems,'' Cluster Computing, The Journal of Networks, Software Tools and Applications, Vol. 7, No. 1, Jan. 2004, pp. 39-49.

• F. Azzedin and M. Maheswaran, ``Trust Brokering System and Its Application to Resource Management in Public-Resource Grids,'' 2004 International Parallel and Distributed Processing Symposium (IPDPS 2004), April 2004.

• F. Azzedin and M. Maheswaran, ``Integrating Trust into Grid Resource Management Systems,'' 2002 International Conference on Parallel Processing (ICPP 2002), Aug. 2002, pp. 47-54.

Research Interests• Trust Modeling for Peer-to-Peer based computing systems.• Grid computing and next generation middleware architectures. • Resource management algorithms, dissemination, and discovery. • Computer security in the context of Grid computing.

Recent Projects• Fuzzy logic based trust modeling.• Trust modeling for Peer-to-Peer systems: Issues and approaches .

Recent Publications• F. Azzedin, M. Maheswaran, and N. Arnason ``A Synchronous Co-

allocation Mechanism for Grid Computing Systems,'' Cluster Computing, The Journal of Networks, Software Tools and Applications, Vol. 7, No. 1, Jan. 2004, pp. 39-49.

• F. Azzedin and M. Maheswaran, ``Trust Brokering System and Its Application to Resource Management in Public-Resource Grids,'' 2004 International Parallel and Distributed Processing Symposium (IPDPS 2004), April 2004.

• F. Azzedin and M. Maheswaran, ``Integrating Trust into Grid Resource Management Systems,'' 2002 International Conference on Parallel Processing (ICPP 2002), Aug. 2002, pp. 47-54.

Dr. Ishtiaq Chaudhry, Assistant ProfessorDr. Ishtiaq Chaudhry, Assistant ProfessorDr. Ishtiaq Chaudhry, Assistant ProfessorDr. Ishtiaq Chaudhry, Assistant Professor

Research Interests• Performance analysis of network protocols, Operating system for

mobile devices.

Recent Projects• Implementation of Multihoming and Multistreaming features to Fast

TCP.

• Performance analysis of SCTP over wireless networks.

Recent Publications• A. Ishtiaq, Y. Okabe and M. Kanazawa “Management of Parallel

UBR Flows over TCP in Congested ATM Networks,” Elsevier Science Journal on Computer Communications 27 (2004) pp. 801-808.

• A. Ishtiaq, Y. Okabe and M. Kanazawa “Improving Performance of SCTP over Broadband High Latency Networks,” Proceedings of IEEE Conference on Local Computer Networks, Bonn, Germany, October 20-24, 2003.

Research Interests• Performance analysis of network protocols, Operating system for

mobile devices.

Recent Projects• Implementation of Multihoming and Multistreaming features to Fast

TCP.

• Performance analysis of SCTP over wireless networks.

Recent Publications• A. Ishtiaq, Y. Okabe and M. Kanazawa “Management of Parallel

UBR Flows over TCP in Congested ATM Networks,” Elsevier Science Journal on Computer Communications 27 (2004) pp. 801-808.

• A. Ishtiaq, Y. Okabe and M. Kanazawa “Improving Performance of SCTP over Broadband High Latency Networks,” Proceedings of IEEE Conference on Local Computer Networks, Bonn, Germany, October 20-24, 2003.

Dr. Junaidu Sahalu, Assistant ProfessorDr. Junaidu Sahalu, Assistant ProfessorDr. Junaidu Sahalu, Assistant ProfessorDr. Junaidu Sahalu, Assistant Professor

Research Interests• Parallel Computing, Programming Languages,Computer Science

Education, Electronic Learning. Recent Projects

• Technology-Based Education in KFUPM (Completed May 2004).• Development of a Strategic Plan for KFUPM (Completed June

2005). Co Investigator. Recent Publications

• M.R.K. Krishna Rao, S. Junaidu, T. Maghrabi, M. Shafique, M. Ahmad and K. Faisal (2005), Principles of curriculum design and revision: a case study in implementing computing curricula CC2001, Proc. of the ACM Special Interest Group on Computer Science Education Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'2005).

• S. Junaidu and J. Al-Ghamdi, Comparative Analysis of F2F and Online Course Offerings: KFUPM Experience. International Journal of Instructional Technology and Distance Learning (IJITDL), April 2004.

• S. Junaidu and PW Trinder, Parallelising Large Irregular Programs, Journal of Information Scicences, 140 (2002) 229-240.

Research Interests• Parallel Computing, Programming Languages,Computer Science

Education, Electronic Learning. Recent Projects

• Technology-Based Education in KFUPM (Completed May 2004).• Development of a Strategic Plan for KFUPM (Completed June

2005). Co Investigator. Recent Publications

• M.R.K. Krishna Rao, S. Junaidu, T. Maghrabi, M. Shafique, M. Ahmad and K. Faisal (2005), Principles of curriculum design and revision: a case study in implementing computing curricula CC2001, Proc. of the ACM Special Interest Group on Computer Science Education Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'2005).

• S. Junaidu and J. Al-Ghamdi, Comparative Analysis of F2F and Online Course Offerings: KFUPM Experience. International Journal of Instructional Technology and Distance Learning (IJITDL), April 2004.

• S. Junaidu and PW Trinder, Parallelising Large Irregular Programs, Journal of Information Scicences, 140 (2002) 229-240.

Dr. Khaled Salah, Asst. ProfessorDr. Khaled Salah, Asst. ProfessorDr. Khaled Salah, Asst. ProfessorDr. Khaled Salah, Asst. Professor

Research Interests• High-speed computer networks, operating systems, security, and

distributed systems. Performance analysis and design of computer networks and distributed systems using queueing theory and simulation.

Recent Projects• Analytical, Simulation, and Experimental Investigation of the Performance of Popular

Interrupt Handling Schemes for Gigabit-Network Hosts, KFUPM, 2005-2007. • Deploying voice and videoconferencing over IP Networks, KFUPM, 2005-2006.

Recent Publications• K. Salah and K. El-Badawi, “Analysis and Simulation of Interrupt Overhead

Impact on OS Throughput in High-Speed Networks”, International Journal of Communication Systems, Wiley Publication, vol. 18, no. 5, June 2005, pp. 501-526

• K. Salah and K. El-Badawi, “Modeling and Analysis of Application Throughput in Gigabit Networks “, International Journal of Computers and Their Applications, ISCA Publication, vol. 12, no. 1, March 2005, pp. 44-55

• K. Salah, “An Analytical Model for Evaluating Interrupt-Driven System Performance of Gigabit Ethernet Hosts with Finite Buffer”, Proceeding of 10th IEEE Symposium on Computers and Communications, IEEE ISCC 2005, Cartagena, Spain, June 27-30, 2005, pp. 983-988

Research Interests• High-speed computer networks, operating systems, security, and

distributed systems. Performance analysis and design of computer networks and distributed systems using queueing theory and simulation.

Recent Projects• Analytical, Simulation, and Experimental Investigation of the Performance of Popular

Interrupt Handling Schemes for Gigabit-Network Hosts, KFUPM, 2005-2007. • Deploying voice and videoconferencing over IP Networks, KFUPM, 2005-2006.

Recent Publications• K. Salah and K. El-Badawi, “Analysis and Simulation of Interrupt Overhead

Impact on OS Throughput in High-Speed Networks”, International Journal of Communication Systems, Wiley Publication, vol. 18, no. 5, June 2005, pp. 501-526

• K. Salah and K. El-Badawi, “Modeling and Analysis of Application Throughput in Gigabit Networks “, International Journal of Computers and Their Applications, ISCA Publication, vol. 12, no. 1, March 2005, pp. 44-55

• K. Salah, “An Analytical Model for Evaluating Interrupt-Driven System Performance of Gigabit Ethernet Hosts with Finite Buffer”, Proceeding of 10th IEEE Symposium on Computers and Communications, IEEE ISCC 2005, Cartagena, Spain, June 27-30, 2005, pp. 983-988

Dr. Mohammad Alshayeb, Assist. ProfessorDr. Mohammad Alshayeb, Assist. ProfessorDr. Mohammad Alshayeb, Assist. ProfessorDr. Mohammad Alshayeb, Assist. Professor

Research Interests

• Object-oriented software engineering, software design, software measurement,, design patterns, and software quality improvement.

Recent Projects

• Investigating Design Quality Characteristics for Refactoring and Refactoring To Patterns Using Software Metrics, 2005

Industrial Experience• Senior research associate, Information Technology and Systems

Center (a NASA research center) Publications

• Alshayeb, M. and Wei Li, “An Empirical Study of System Design Instability Metric and Design Evolution in an Agile Software Process,” Journal of Systems and Software, Vol. 74, issue 3, pp. 269-274, February 2005.

• Alshayeb, M. and Wei Li, “An Empirical Validation of Object-Oriented Metrics in Two Iterative Processes,” IEEE Transactions on Software Engineering, Vol. 29, No. 11, pp. 1043-1049 , November 2003.

Research Interests

• Object-oriented software engineering, software design, software measurement,, design patterns, and software quality improvement.

Recent Projects

• Investigating Design Quality Characteristics for Refactoring and Refactoring To Patterns Using Software Metrics, 2005

Industrial Experience• Senior research associate, Information Technology and Systems

Center (a NASA research center) Publications

• Alshayeb, M. and Wei Li, “An Empirical Study of System Design Instability Metric and Design Evolution in an Agile Software Process,” Journal of Systems and Software, Vol. 74, issue 3, pp. 269-274, February 2005.

• Alshayeb, M. and Wei Li, “An Empirical Validation of Object-Oriented Metrics in Two Iterative Processes,” IEEE Transactions on Software Engineering, Vol. 29, No. 11, pp. 1043-1049 , November 2003.

Dr. Salahadin Mohammed, Assistant professorDr. Salahadin Mohammed, Assistant professorDr. Salahadin Mohammed, Assistant professorDr. Salahadin Mohammed, Assistant professor

Research Interests

• Physical database design, Query optimization, and XML databases . Recent Projects

• Integrating XML documents:, KFUPM 2005-2006• Query optimization in XML databases

Recent Publications

• Salahadin Mohammed, Bala Srinivasan, Optimizing physical design of multidimensional file for join queries, IASTED 2005 conference in Austria.

• Joe Plzhou, Salahadin Mohammed, Incremental arbiter learning method, Proceeding of Frontiers in Artificial Intelligence and applications- Seventh Scandinavian Conference in Artificial Intelligence, Denmark, February 2001

• Salahadin Mohammed, Evan Harris, Roa Katagiri, Optimal Clustering of Relations to Improve Sorting and Partitioning of Joins. The Computer Journal, 2001

• Salahadin Mohammed, Evan Harris, Roa Katagiri, Optimal Range Query Retrieval, ACSW Conference Canberra, Australia, Jan. 2000.

Research Interests

• Physical database design, Query optimization, and XML databases . Recent Projects

• Integrating XML documents:, KFUPM 2005-2006• Query optimization in XML databases

Recent Publications

• Salahadin Mohammed, Bala Srinivasan, Optimizing physical design of multidimensional file for join queries, IASTED 2005 conference in Austria.

• Joe Plzhou, Salahadin Mohammed, Incremental arbiter learning method, Proceeding of Frontiers in Artificial Intelligence and applications- Seventh Scandinavian Conference in Artificial Intelligence, Denmark, February 2001

• Salahadin Mohammed, Evan Harris, Roa Katagiri, Optimal Clustering of Relations to Improve Sorting and Partitioning of Joins. The Computer Journal, 2001

• Salahadin Mohammed, Evan Harris, Roa Katagiri, Optimal Range Query Retrieval, ACSW Conference Canberra, Australia, Jan. 2000.

Dr. Tarek El-Bassuny, Assistant ProfessorDr. Tarek El-Bassuny, Assistant ProfessorDr. Tarek El-Bassuny, Assistant ProfessorDr. Tarek El-Bassuny, Assistant Professor

Research Interests• Operating Systems, Multi-Agent Systems, Artificial Intelligence, and Personalized Web

services. Recent Projects

• Multi-Agent Based Ubiquitous Approach for Personalized Information Systems supported by KFUPM under the JF-2005/10.

• Natural Language Voice Interface for Controlling Audio-Video equipment's, supported by the Japanese Ministry of International Trading, 2000.

• Multi-agent based Electronic Commerce as an integration technology for the next generation Web supported by Fukuoka Prefecture government, 2001.

Recent Publications• Tarek Helmy, Satoshi Amamiya, Tsunenori Mine, Makoto Amamiya, "A New

Approach of the Collaborative User Interface Agents", Proceedings of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'03), pp. 147-153, October 13-17, 2003.

• Tarek H. El-Basuny, “A Ubiquitous Approach for Next Generation Information Retrieval System”, Proceedings of the IEEE (ICICS 2004), Dhahran, Saudi Arabia, 28-30 November 2004, pp. 501-513.

• Tarek Helmy, “Multi-agent based Electronic Commerce System”, Proceedings of the 1st IEEE International Computer Engineering Conference New Technologies for the Information Society, Egypt, 27-30 December 2004, pp. 791-796.

• Tarek Helmy, ”Collaborative Multi-Agent-Based Framework for Web Portals Management”, International Journal of Information Technology, ISSN 0218-7957, Vol. 12 No. 1, 2005.

Research Interests• Operating Systems, Multi-Agent Systems, Artificial Intelligence, and Personalized Web

services. Recent Projects

• Multi-Agent Based Ubiquitous Approach for Personalized Information Systems supported by KFUPM under the JF-2005/10.

• Natural Language Voice Interface for Controlling Audio-Video equipment's, supported by the Japanese Ministry of International Trading, 2000.

• Multi-agent based Electronic Commerce as an integration technology for the next generation Web supported by Fukuoka Prefecture government, 2001.

Recent Publications• Tarek Helmy, Satoshi Amamiya, Tsunenori Mine, Makoto Amamiya, "A New

Approach of the Collaborative User Interface Agents", Proceedings of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'03), pp. 147-153, October 13-17, 2003.

• Tarek H. El-Basuny, “A Ubiquitous Approach for Next Generation Information Retrieval System”, Proceedings of the IEEE (ICICS 2004), Dhahran, Saudi Arabia, 28-30 November 2004, pp. 501-513.

• Tarek Helmy, “Multi-agent based Electronic Commerce System”, Proceedings of the 1st IEEE International Computer Engineering Conference New Technologies for the Information Society, Egypt, 27-30 December 2004, pp. 791-796.

• Tarek Helmy, ”Collaborative Multi-Agent-Based Framework for Web Portals Management”, International Journal of Information Technology, ISSN 0218-7957, Vol. 12 No. 1, 2005.

Dr. Wasfi Al-Khatib, Assistant ProfessorDr. Wasfi Al-Khatib, Assistant ProfessorDr. Wasfi Al-Khatib, Assistant ProfessorDr. Wasfi Al-Khatib, Assistant Professor

Research Interests• multimedia information systems, video data modeling, speech and audio

analysis, artificial intelligence, and Distance/eLearning. Recent Projects

• Automatic Classification of music and speech in digitized audio, KFUPM 2005.

• Parallel Video Data Query Processing, Research Challenge Award, Wright State University, 2001-2002

Recent Publications• M. Kashif Saeed Khan, Wasfi G. Al-Khatib, and Muhammad Moinuddin,

“Automatic Classification of Speech and Music Using Neural Networks”, Second ACM International Workshop on Multimedia Databases (ACM-MMDB 2004), Arlington, VA, USA, 2004.

• W. Al-Khatib ``eLearning: Opportunities, Challenges, and Future'', Proceedings of the International Workshop on Frontiers of Information Technology, Islamabad, Pakistan, December 2003.

• W. Aref, W.J. McIver Jr., W.G. Al-Khatib, A. Ghafoor, and B.P. Berra, “Indexing Techniques for Video Database Management Systems”, Chapter in the Encyclopedia of Software Engineering, 2:1842 -1856, December 2001.

Research Interests• multimedia information systems, video data modeling, speech and audio

analysis, artificial intelligence, and Distance/eLearning. Recent Projects

• Automatic Classification of music and speech in digitized audio, KFUPM 2005.

• Parallel Video Data Query Processing, Research Challenge Award, Wright State University, 2001-2002

Recent Publications• M. Kashif Saeed Khan, Wasfi G. Al-Khatib, and Muhammad Moinuddin,

“Automatic Classification of Speech and Music Using Neural Networks”, Second ACM International Workshop on Multimedia Databases (ACM-MMDB 2004), Arlington, VA, USA, 2004.

• W. Al-Khatib ``eLearning: Opportunities, Challenges, and Future'', Proceedings of the International Workshop on Frontiers of Information Technology, Islamabad, Pakistan, December 2003.

• W. Aref, W.J. McIver Jr., W.G. Al-Khatib, A. Ghafoor, and B.P. Berra, “Indexing Techniques for Video Database Management Systems”, Chapter in the Encyclopedia of Software Engineering, 2:1842 -1856, December 2001.

Dr. Muhammad Buhari, LecturerDr. Muhammad Buhari, LecturerDr. Muhammad Buhari, LecturerDr. Muhammad Buhari, Lecturer

Research Interests• Computer network performance and evaluation.• IPv6.

Recent Publications• MI Buhari, M. H. Habaebi and B. M. Ali, “A New Congestion

Control Algorithm for Active Networks”, Pertanika Journal of Science and Technology (Universiti Putra Malaysia), Vol. 13, No. 2, (July) 2005.

• M.I. Buhari, M.H. Habaebi, B.M. Ali (2005), “Artificial Neural System for Packet Filtering”, Journal of Computer Science 1(2): 259-269, 2005.

• H.M. Saleem, M.I. S. Buhari (2005), “Performance Comparison of IPv6 versus IPv4 in Multimedia Oriented E-learning System”, Brunei International Conference on Engineering and Technology [BICET 2005] 15 - 18 August 2005.

Research Interests• Computer network performance and evaluation.• IPv6.

Recent Publications• MI Buhari, M. H. Habaebi and B. M. Ali, “A New Congestion

Control Algorithm for Active Networks”, Pertanika Journal of Science and Technology (Universiti Putra Malaysia), Vol. 13, No. 2, (July) 2005.

• M.I. Buhari, M.H. Habaebi, B.M. Ali (2005), “Artificial Neural System for Packet Filtering”, Journal of Computer Science 1(2): 259-269, 2005.

• H.M. Saleem, M.I. S. Buhari (2005), “Performance Comparison of IPv6 versus IPv4 in Multimedia Oriented E-learning System”, Brunei International Conference on Engineering and Technology [BICET 2005] 15 - 18 August 2005.