Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Bilel Boulifa"'
We propose a conceptual reasoning method for an inference engine. Starting from a knowledge base made of decision rules, we first map each rule to its corresponding Truth Table Binary Relation (TTBR), considered as a formal context. Objects in the do
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0975cc62a4f81142f2bb31422c991978
http://www.sciencedirect.com/science/article/pii/S1567832614000083
http://www.sciencedirect.com/science/article/pii/S1567832614000083
Publikováno v:
AICCSA
ConProve is an automated prover for propositional logic. It takes, as an input, a set of propositional formulas and proves whether a goal holds or not. ConProve converts each formula to its corresponding Truth Table Binary Relation (TTBR) considered
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c156a81113b37f194742c71c6e11bc7
https://hdl.handle.net/10576/4468
https://hdl.handle.net/10576/4468
Publikováno v:
Qatar Foundation Annual Research Conference Proceedings Volume 2014 Issue 1.
Fault tolerance techniques should let the program continue servicing in spite of the presence of errors. They are of primary importance mainly in case of mission-critical systems. Their eventual failure may produce important human and economic casual
Autor:
I. M. Abu-Reesh, Ali Jaoua, Samir Elloumi, Bilel Boulifa, Mohammad Saleh, S. K. Ibrahim, L. J. P. Van Den Broeke
Publikováno v:
2013 Conference on Control and Fault-Tolerant Systems (SysTol).
Well logically verified and tested software may fail because of undesired physical phenomena provoking transient faults during its execution. While being the most frequent kind of faults, transient faults are difficult to localize because they have a
Autor:
Samir Elloumi, I. M. Abu-Reesh, L. J. P. Van Den Broeke, Bilel Boulifa, S. K. Ibrahim, Mohammad Saleh, Ali Jaoua
Publikováno v:
2013 IEEE 4th International Conference on Software Engineering and Service Science.
A particular goal oriented software design is proposed in this paper: by checking the preservation of critical information, an original proposed program structure has the important property to naturally recover transient faults minimizing time comple