to be sure, that a program behaves correctly at runtime; the behavior of the program should be verified. where the program source code is available, it is possible to extract the operational logic (i.e., behavior) of the program. but in this paper, programs are considered as black boxes, so no information is available about the operational logic of programs. however, some efforts are spent to l...

despite the relative success of the health system and the promotion of health indicators over the last two decades, iran's health system still faces serious problems. one of the most important of them, is the inequity in access to health. theoretical studies and empirical evidences indicate that implementation of the referral system and family physician plan, is one of the main strategies ...

The development and evolution of any system–person, organization–nation depends on how the system succeeds to bridge the gap between what the system knows and what the system does (with the knowledge). We call this the gap between knowing and doing or the knowing-doing gap. If the system does not do what it knows, it will lose out in competition with other systems, its relative performance in...

Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for re 'w'ie'Ning instructions , searching existing data sources, gathering and maintaining the data needed, and completing and reviewing this collection of information. Send comments regarding this burden estim03te or any other aspect of this collection of information, i n...

GPUs are becoming first-class compute citizens and are being tasked to perform increasingly complex work. Modern GPUs increasingly support programmabilityenhancing features such as shared virtual memory and hardware cache coherence, enabling them to run a wider variety of programs. But a key aspect of general-purpose programming where GPUs are still found lacking is the ability to invoke system...

session initiation protocol (sip) is the main signaling protocol of next generation networks (ngn). sip based applications are usually deployed over the internet, for which their text-based nature and internal stateful operation make them vulnerable to different types of attacks. the real‑time functionality of sip based applications make their related security systems more complex. on the other...