Research ArticleOpen accessIn the abstractFormal Analysis of Fault-tolerant Algorithm in the Time-triggered ArchitectureAliouat Zibouda, Aliouat Makhlouf, Batouche ChawkiTime-Triggered architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed systems. The core building block of the TTA is the communication protocol TTP/C. This protocol has been designed to provide no faulty nodes. TTP/C integrates a set of fault-tolerant services like: message transmissions, clocks synchronization and Group Membership Protocol (GMP). The GMP protocol ensures that … …Journal of Computer Science, Vol. 3, Issue 1 · 31 Jan 2007 · 6,647 accessesView PDFCite
Research ArticleOpen accessIn the abstractUnderstanding a Simple Arabic Stories Using Event CalculusMohamed Abd El-Salam, Ahmed Kamal Hussein, Aly Aly FahmyThis study investigates the use of event calculus for understanding stories written in Arabic natural language. System makes a representation for commonsense knowledge and story events and then performs a commonsense reasoning to infer the details events which are not explicitly described in the story; furthermore it manages changes in objects properties over time and handles the actions synchronizations problem. …American Journal of Applied Sciences, Vol. 10, Issue 10 · 6 Sep 2013 · 6,639 accessesView PDFCite