بحث بسيط
السجلات المعروضة 1 -- 3 من 3
Did I See It Before? Detecting Previously-Checked Claims over Twitter
(
springer link
, 2022 , Conference Paper)
With the proliferation of fake news in the last few years, especially during the COVID-19 period, combating the spread of misinformation has become an urgent need. Although automated fact-checking systems were proposed ...
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 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 ...