Information and Computer Science Department Research Profile
description
Transcript of Information and Computer Science Department Research Profile
Information and Computer Information and Computer Science DepartmentScience Department
Research ProfileResearch Profile
Information and Computer Information and Computer Science DepartmentScience Department
Research ProfileResearch Profile
Dr. Wasfi Al-Khatib
Information and Computer Science Department
King Fahd University of Petroleum & Minerals
Dr. Wasfi 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
ICS Research Projects: ICS Research Projects: Computer Vision, Computer Vision, Image, Audio, and Video ProcessingImage, Audio, and Video ProcessingICS Research Projects: ICS Research Projects: Computer Vision, 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
ICS Research Projects: ICS Research Projects: Artificial Artificial IntelligenceIntelligenceICS Research Projects: ICS Research Projects: Artificial 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
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.
ICS Research Projects: ICS Research Projects: Computer Computer NetworksNetworksICS Research Projects: ICS Research Projects: Computer 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
paradigm node ownership
Node manage-ment
Control policies
discovery mechanisms
peer-to-peer computing
local local none centralized or distributed
Cluster computing
global (single ownership)
global global job scheduling
Grid computing
local global manag-ement under local policies
single controlling policy
centralized or distributed
public computing networks
local global 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.
ICS Research Projects: ICS Research Projects: Operating SystemsOperating SystemsICS Research Projects: ICS Research Projects: Operating SystemsOperating 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
ICS Research Projects: ICS Research Projects: Software Software EngineeringEngineeringICS Research Projects: ICS Research Projects: Software 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
ICS Research Projects: ICS Research Projects: Computer Science Computer Science Education and eLearningEducation and eLearningICS Research Projects: ICS Research Projects: Computer Science 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
ICS Research Projects: ICS Research Projects: Database SystemsDatabase SystemsICS Research Projects: ICS Research Projects: Database SystemsDatabase Systems
Integrating XML documents: KFUPM 2005-2006. Query optimization in XML databases.
Integrating XML documents: KFUPM 2005-2006. Query optimization in XML databases.
ICS Research Projects: ICS Research Projects: Computer Computer AlgorithmsAlgorithmsICS Research Projects: ICS Research Projects: Computer 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.