Search
Now showing items 1061-1070 of 1130
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 assistive computerized system for children with intellectual and learning disabilities
(
Springer
, 2009 , Conference Paper)
This work proposes an assistive computerized system using the Arabic language for children with intellectual and learning disabilities (ILD) who are resident at Shafallah Center in Doha, Qatar. The system is flexible and ...
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 ...
Towards an electronic voting system for the state of Qatar
(
IEEE
, 2009 , Conference Paper)
In this paper we propose an electronic voting system for the state of Qatar. The system allows Qataris people to vote online from their preferred locations, (homes or offices) without the need to move physically to the ...
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 ...
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 ...
Digital government service machine DGSM
(
IEEE
, 2008 , Conference Paper)
The rapid improvement in latest technologies motivates individuals to progress in their societies. Fast and worthy can be significant titles for the demands of this modern life. And because of technology improvements, there ...