Results 231 to 240 of about 30,670 (257)
Some of the next articles are maybe not open access.
A complete proof rule for strong equifair termination
1984The notion of equifairness, strengthening the familiar notion of fairness, is introduced as a scheduling policy of non-determinism and concurrency. Under this notion, it is infinitely often the case that the number of selections of each of a family of infinitely-often jointly-enabled processes is equal.
Orna Grumberg +2 more
openaire +1 more source
Judge rules in favor of terminated employee
Disability Compliance for Higher Education, 2021Case name: Beird v. Lincoln University of the Commonwealth System of Higher Education, No. 17‐5303 (E.D. Pa. 09/17/20).
openaire +1 more source
Judge rules in favor of terminated employee
Dean and Provost, 2022Case name: Beird v. Lincoln University of the Commonwealth System of Higher Education, No. 17‐5303 (E.D. Pa. 09/17/20).
openaire +1 more source
Review rulings regarding termination
Campus Legal AdvisorAn overview of the key topics faced by higher education professionals with citations to noteworthy cases, statutes, regulations, and additional sources.
openaire +1 more source
Charitable Lead Trust's Termination Ruled to Not Trigger Termination Tax
Bruce R. Hopkins' Nonprofit Counsel, 2019The IRS ruled that a charitable lead annuity trust will terminate on the designated termination date, with the termination not giving rise to the private foundation termination tax (Priv. Ltr. Rul. 201930017).
openaire +1 more source
Invalidity and Termination of Treaties and Rules of Procedure
2011Abstract As a rule, treaties do not come to an end automatically but entitle the injured state or all states parties to the treaty (as the case may be) to plead on the basis thereof the invalidity or termination of a treaty. In principle, therefore, it is up to the discretion of the party(ies) concerned to make the relevant choices.
openaire +2 more sources
Improving Termination Analysis of Active Rules with Priorities. [PDF]
, 2003 This paper presents an algorithm for termination static analysis ofactive rules with priorities. Active rules termination is an undecidableproblem. Several recent works have suggested proving termination by usingthe concept of triggering graph. We propose here a refinement of theseworks, exploiting the priorities defined between rules.
openaire +1 more source
Using Petri nets for rule termination analysis
Proceedings of the workshop on on Databases active and real-time - CIKM '96, 1997Zimmer, Detlef +2 more
openaire +1 more source