نتایج جستجو برای: executing

تعداد نتایج: 11559  

Journal: :The Journal of Object Technology 2019

1984
Ben C. Moszkowski

Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic. Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and ot...

Performance budgeting is one of the modern budgeting methods. Plenty of researches have so far been conducted on the benefits and goals of such budgeting system. A review of the literature related to performance budgeting shows that despite all beneficial advantages and results expected from executing performance budgeting, this system would not lead to its expectation if it is not effectively ...

Journal: :فقه و اصول 0
عبدالرضا جوان جعفری سید محمدجواد ساداتی

the applicability of executing the qiṣāṣ punishment through donation of organs is a novel topic and at the same time influential in safeguarding the blessings of human health and life. the legitimacy of this procedure requires delving into legal views and opinions. the renowned majority of imāmī jurists believe that the procedure of executing punishment in blood-vengeance has no topicality (rel...

Journal: :Fundam. Inform. 1998
Robert A. Kowalski Francesca Toni Gerhard Wetzel

We present an extension of Logic Programming LP which in addition to ordi nary LP clauses also includes integrity constraints explicit representation of disjunction in the bodies of clauses and in goals and suspension of atoms as in concurrent logic languages The resulting framework aims to unify Constraint Logic Programming CLP Abductive Logic Programming ALP and Semantic Query Optimisation SQ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید