Browsing Qatar University Science Journal - [From 1981 TO 2007] by Subject "Computer Science"
Now showing items 1-11 of 11
-
Design and Performance Evaluation of a High Speed Transport Protocol
( 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
( 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
( 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
( 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
( 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)
( 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
( 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
( 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
( 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
( 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
( 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 ...