Search
Now showing items 1-8 of 8
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 ...
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 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 ...
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 ...
A new construction technique of a triangle-free 3-colored K16’s
(
Elsevier Inc
, 2006 , Article)
In this paper, we propose a new coloring technique of the edges of the complete graph on 16 vertices, K16, with three different colors, without producing any monochromatic triangle. This method is totally different from ...
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 ...
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 ...
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 ...