ing from Failure Probabilities Jan Jürjens Computing Laboratory, University of Oxford, GB [email protected] – http://www.jurjens.de/jan Abstract In fault-tolerant computing, dependability of systems is usually demonstrated by abstracting from failure probabilities (under simplifying assumptions on failure occurrences). In the specification framework FOCUS, we show under which conditions and t...

introduction: the number of systematic reviews and meta-analyses published in iran has increased significantly in recent years. writing these articles based on internationally accepted guidelines is one of the most important factors effective on their structural quality. this study aimed to assess the abstract of iranian systematic reviews and meta-analyses indexed in scopus. methods: this stud...

Today's navigation assistance systems provide turn-by-turn instructions, which only focus on the next decision to take without offering any larger context. Information presentation is uniform and disconnected, i.e., local instruction equally important not linked other decisions or overall route This differs from how people usually give instructions hinders spatial learning. In order (re-)establ...

Shrinking budgets, reduction in personnel and increasing performance expectations are facts of today's Government environment. The intelligence community has seen these trends stress its ability to collect, manage and disseminate information in an efficient, timely manner. The need to respond to rapidly changing statements of operational interest only exacerbates the problem. It is no longer su...

since increasing the number of indexing and abstracting services covering a journal would increase the total citations received by the journal, this study tried to investigate the reasons why iranian journals are not indexed by foreign databases including isi web of science and scopus. this was a descriptive and interpretative study resulting in guidelines for iranian editors and authors. it al...