Search
Now showing items 1-3 of 3
A New Structural View Of The Holy Book Based On Specific Words: Towards Unique Chapters (surat) And Sentences (ayat) Characterization In The Quran
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
In the context of web Islamic data analysis and authentication an important task is to be able to authenticate the holy book if published in the net. For that purpose, in order to detect texts contained in the holy book, ...
Inconsistencies Detection In Islamic Texts Of Law Interpretations ["fatawas"]
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
Islamic web content offers a very convenient way for people to learn more about Islam religion and the correct practices. For instance, via these web sites they could ask for fatwas (Islamic advisory opinion) with more ...
An Integrated Framework For Verified And Fault Tolerant Software
(
Hamad bin Khalifa University Press (HBKU Press)
, 2014 , Conference Paper)
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 ...