Browsing Computer Science & Engineering by Publication Date
Now showing items 1-20 of 2127
-
Performance and stability analysis of multilevel data structures with deferred reorganization
( IEEE , 2002 , Article)We develop a methodology for analyzing the performance and stability of a server that maintains a multilevel data structure to service a set of access operations for (key, value) records. A subset of the operations executed ... -
A neural network algorithm for hardware-software verification
( IEEE , 2003 , Conference Paper)Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. ... -
An efficient model checker based on theaxiomatization of Propositional Temporal Logic in rewriting logic
( IEEE , 2003 , Conference Paper)In this paper, we propose an efficient Model Checker for the Propositional Temporal Logic denoted by PTL. This logic is hown to be well suited to verify electronic circuits and reactive systems. A typical verification ... -
A decision support system based on ranking methods
( IEEE , 2003 , Conference Paper)The complexity of decision making in industrial and economic fields is a phenomenon that has become difficult to surmount. This makes the decision maker feel powerless in front of unpredictable, non understandable and ... -
A rewriting logic-based computation and deduction approach to avoid reactive system malfunctions
( IEEE , 2003 , Conference Paper)Maude is, a powerful formal declarative programming language based on rewriting logic. Because of the reflective characteristic of the rewriting logic, Maude is considered by the scientific community as a universal model ... -
Improvement of the DSATUR algorithm for graph coloring
( Arabian Gulf University , 2003 , Article)In this paper we discuss the deterministic Brelaz's DSATUR algorithm for graph coloring. We propose a simple modification that improves the performance of the algorithm. This modification consists of assigning the color ... -
A toolset for the specification and verification of embedded systems
( IEEE , 2003 , Conference Paper)Because of many malfunctions of some critical real-time systems (Pentium bug, Ariane lance rocket), which have caused life and billion dollars loss, computer aided formal methods have been developed and successfully applied ... -
An approach for constructing complex discriminating surfaces based on Bayesian interference of the maximum entropy
( Elsevier Inc. , 2003 , Article)In this paper we present a comprehensive Maximum Entropy (MaxEnt) procedure for the classification tasks. This MaxEnt is applied successfully to the problem of estimating the probability distribution function (pdf) of a ... -
A multi-level conceptual data reduction approach based on the Lukasiewicz implication
( Elsevier Science Inc , 2003 , Article)Starting from fuzzy binary data represented as tables in the fuzzy relational database, in this paper, we use fuzzy formal concept analysis to reduce the tables size to only keep the minimal rows in each table, without ... -
Non-linear simulation of controller for longitudinal control augmentation system of F-16 using numerical approach
( Elsevier Inc , 2003 , Article)The non-linear simulation of controller for automatic flight control system is an essential part of the complete control design process. After using the linear approach in the design and simulation of the controller (control ... -
Preface
( Elsevier , 2003 , Article)In recent years the involvement of Information Technology in business, governments, and education has increased dramatically. More and more research works have been conducted in different areas of Information Technology such ... -
VALID-2: A practical modeling, simulation and verification software for distributed systems
( IEEE , 2004 , Conference Paper)Distributed systems verification is one of the main issues in software engineering. It is considered as the major field of the formal specification techniques. However, many difficulties remain. In fact, the principal ... -
Conceptual Data Classification: Application for Knowledge Extraction
( John Wiley & Sons, Ltd , 2005 , Book chapter) -
A new approach of clustering based machine-learning algorithm
( Elsevier B.V. , 2005 , Article)Machine-learning research is to study and apply the computer modeling of learning processes in their multiple manifestations, which facilitate the development of intelligent system. In this paper, we have introduced a ... -
Recognition of off-line handwritten Arabic words using neural network
( IEEE , 2006 , Conference Paper)Neural network (NN) have been used with some success in recognizing printed Arabic words. In this paper, a complete scheme for unconstrained Arabic handwritten word recognition based on a Neural network is proposed and ... -
Text Summarization Based on Conceptual Data Classification
( IGI Global , 2006 , Article)In this article, we present an original approach for text summarization using conceptual data classification. We show how a given text can be summarized without losing meaningful knowledge and without using any semantic ... -
Security-oriented service composition and evolution
( IEEE , 2006 , Conference Paper)This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the security objectives and properties at the ... -
MASACAD: a multiagent based approach to information customization
( IEEE , 2006 , Article)MASACAD is a multiagent information customization system that adopts the machine-learning paradigm to advise students by mining the Web. In the distributed problem-solving paradigm, systems can distribute among themselves ... -
MASACAD: A multi-agent approach to information customization for the purpose of academic advising of students
( Elsevier B.V. , 2006 , Article)The growth and advancement in the Internet and the World Wide Web has led to an explosion in the amount of available information. This staggering amount of information has made it extremely difficult for users to locate ... -
Performance Evaluation of Network-Parallel Data Storage
( IEEE , 2006 , Conference Paper)This paper presents a unique storage architecture that utilizes the multiplicity of storage nodes in LAN and WAN network environments to achieve high reliability, high-performance, scalability, and cost effectiveness. The ...
