Sentence examples for active obligations from inspiring English sources

Figure 1 CPU utilization vs. Number of active obligations in the tested situations.

A conflicting situation means that there are subjects who cannot accomplish their active obligations one after another without violation.

situation legal globally enforceable characterizes the fact that all the active obligations can be enforced in an executable and legal plan without violating the associated deadlines.

This figure shows the cpu time elapsed before giving a first solution where all active obligations in the situations tested are fulfilled.

Figure 1 shows how the execution time for finding a plan is increasing with the number of active obligations in these situations.

Proving that a given situation σ is globally enforceable, amounts to proving the existence of an executable situation where all the active obligations in σ are fulfilled.

They have honorably completed their active duty obligations.

A branch resulting from the execution of an action that activates the deadline corresponding to an active obligation may also be removed.

This means that there is a legal path that allows filling the active obligation.

For example, a branch resulting from the execution of an action that disables an active obligation can be eliminated.

In a given situation, an active obligation is enforceable if it can be fulfilled following an executable plan.