We present COBS — a model of a concurrent object-based computational system with handshakes as elementary actions of inter-process communication. Processes are considered to be partial views of the system. Their communication by asynchronous message passing and variable sharing is modeled by elementary processes on the same abstraction level. The same acts of computation and communication can b...

در منابع حدیثی شیعه و اهل سنّت، یکی از راه های سنجش احادیث و تشخیص سره از ناسره، «عرضه احادیث به قرآن» است؛ موضوعی که به عنوان یک ملاک، بارها از سوی پیامبر (ص) و امامان شیعه (ع) طرح شده است. این روایات به همراه ویژگی­ها و ضوابطش، در لسان فقها و محدّثان به «روایات عرض» نام بردار است. اگرچه دانشمندان و علمای حدیث کمابیش به اسناد روایات عرض و صحّت و سقم آنها پرداخته ­اند؛ امّا کمتر به ضوابط و اصول عرض...

ةيوافمللا ةدغلا هلازإ لاجم يف انتربخ نايب ضرعتسن :فادهلأا .ركبلما يدثلا ناطرس تاضيرم ىدل ةسرالحا دلاخ كللما ىفشتسم يف ةيعجرلما ةساردلا هذه تيرجأُ :ةقيرطلا رياني ينب ام ةرتفلا للاخ ةيدوعسلا ةيبرعلا ةكلملما ،ضايرلا ،يعمالجا ناطرسب ةضيرم 120 ةساردلا تلمش .م2014 ربمسيد و م2005 عم ةسرالحا ةيوافمللا ةدغلا ةلازإ ةيلمعل نعضخ يتلالا و يدثلا ةصالخا تامولعلما عمج تم .ةدغلا هذهل ينلاا يحيرشتلا صحفلا و ةسرال...

ضارمأب ةباصلإا مدعو نسلا ةثادح نأ جئاتنلا ترهظأ :جئاتنلا ةيبلقلا ضارملأاو ،مدلا طغض عافتراو ،يركسلاك( ىرخأ ـب ةباصلإا نم مايأ ةعبس نوضغ يف جلاعلا يقّلتو )ةيئاعولا تاذ ةيعمس تاطيطخت دوجوو لدتعُحلما عمسلا نادقْفو ،ISSHL لضفأ ةقيرطب عمسلا ةداعتسا يف تمهاس ،ةدعاص تاءانحنا ةيقنلا ةمغنلا عمس سايق غلبو .ةيئاصحلإا ةيحانلا نم ريثكب ،طسوتلما يف لبيسيد 23.9 ± 67.8 رملأا لوأ يف )PTA( و لبيسيد 51.6±28.7 ىلإ ني...