• Design and Performance Evaluation of a High Speed Transport Protocol 

      El Derini, M. N. [محمد نزيه الدويني]; Guirgis, R. M. ( Qatar University , 1994 , Article)
      Transport protocols that were designed for network today are not adequate for high speed networks of the future due to the increase in network bandwidth relative to the speeds of the processor components. As a result, 100 ...
    • Disign and Implementation of a System for Visual Programming 

      Maghrabi, Saud M.A. [سعود محمد عبد الله مغربي] ( Qatar University , 1999 , Article)
      The aim of the project of this paper is to design and implement a system for visual programming, based on data flow graphs. Data flow is applicative and based on transformations on data flowing through a graph. The system ...
    • Modelling and simulation of flexible assembly systems A petri net approach 

      Banaszak, Zbigniew [اربكنيف بناشك]; Abdul-Hussin, Mowfak H. ( Qatar University , 1995 , Article)
      This paper presents an approach towards constructing a class of Placc/TYansition nets for modelling, simulation and control of processes occurring in the Flexible Assembly Systems. Its objective lies in the formal statement ...
    • The Models of a General Component of a Distributed Computing Systems Based On Stochastic Petri Nets 

      Serhan, Sami [سامي سرحان]; Al-Qadi, Ziad ( Qatar University , 1994 , Article)
      In this paper we propose models of a distributed computing system (DCS) based on general stochastic Petri nets (GSPN). We also propose the means to decrease the number of states. We indicate that the complexity of DCS ...
    • On Symboloic Reasoning and Direct Inference Principle 

      Jaam, Jihad Mohamad ( Qatar University , 2004 , Article)
      This paper discusses an approach using the M-valued symbolic logic with syllogistic reasoning and direct inference principle (reasoning from statistical information to conclusions about individuals), to manipu¬late statistical ...
    • On the Classical Multicolor Ramsey Number R(3,3,3) 

      Jaam, Jihad Mohamad; Hasanh, Ahmad Mojahed ( Qatar University , 2004 , Article)
      In this paper, we are interested in the problem of evaluation of the classical multicolor Ramsey number i?(3,3,3). We first convert it successfully into a system of clauses of 3-literals each, i.e., a 3-SAT instance. We ...
    • Partial Connection : A New Approach To Improving The Bandwidth Of Banyan Networks 

      Nasar, Hamed Nassar, Hamed [حامد نصر] ( Qatar University , 1995 , Article)
      Banyan networks have been proposed as interconnection networks for large multiprocessors, those containing hundreds or even thousands of processors. Their attractiveness is attributed to two features : low manufacturing ...
    • Path planner for a mobile shape-changeable intelligent bobot in A 3-dimenxional environment 

      Abou Ali, M. G.; Awad, I. A.; El-Derini, M. N.; Abo El-Ela, E. H.; أبو علي, محمد جابر; عوض, إبراهيم عبد السلام; الدريني, محمد نزيه; أبو العلا, عماد حسن... more authors ( Qatar University , 1995 , Article)
      This study deals with the path planning problem in robotics. This problem is a basic problem to solve some pre-specified task, and then controlling the robot as it executes the commands necessary to achieve its goal. This ...
    • Performance Analysis of a Fileserver in an ATM Network 

      Nassar, Hamed; Meligy, Ali ( Qatar University , 2004 , Article)
      ATM continues to gain acceptance as a unifying communications technology for traffic of both digital and analog origins. The main characteristic of an ATM network is its discrete time (slotted) operation and fixed-length ...
    • A Qualitative Approach to Direct Inference Principle 

      Khayata, Mohamed Yasser [محمد ياسر خياطة] ( Qatar University , 2002 , Article)
      In this paper,we study the suitability of a symbolic model of syllogistic reasoning and direct inference principle with the representation and the management of knowledge based on statistical information and evaluated in ...
    • Qualitative Dealing with Quantified Assertions 

      Khayata, Mohamed Yasser [محمد ياسر خياطة]; Jaam, Jihad Mohamad; Garcia, Laurent; Pacholczyk, Daniel ( Qatar University , 2002 , Article)
      In this paper we present a newapproach to a symbolic treatment ofquan-tified statements having the following form "Q A's are 5's", knowing that A and B are labels denoting sets,and Q is a linguistic quantifier interpreted ...