Assume that Sample Clauses

Assume that. ΠABA is an asynchronous protocol for byzantine agreement that guarantees validity, con- sistency, and p-termination if less than nfAR parties are dishonest and satisfies validity if less than nfAV parties are dishonest. • ΠSBA is a synchronous protocol for byzantine agreement that guarantees validity and con- sistency, given that less than n parties are corrupted. ΠSBA runs in time tSBA ≤ f (n)∆ for some function f (n) that does not depend on ∆. • 1 > fAV ≥ fAR. Then the following statements are true: 1 start • If fAR ≤ 4 and for all Pi, tout − ti ≥ ∆ then ΠHBA is (p, fAR)-output responsive. • ΠHBA is 2 -consistent. • ΠHBA is fAV-valid. • ΠHBA terminates at time tout + ∆ + tSBA.

Related to Assume that

  • No Control of the Company’s Business Nothing contained in this Agreement is intended to give Parent, directly or indirectly, the right to control or direct the Company’s or its subsidiaries’ operations prior to the Effective Time. Prior to the Effective Time, the Company shall exercise, consistent with the terms and conditions of this Agreement, complete control and supervision over its and its subsidiaries’ operations.

  • Not a Regulated Entity No Obligor is (a) an “investment company” or a “person directly or indirectly controlled by or acting on behalf of an investment company” within the meaning of the Investment Company Act of 1940; or (b) subject to regulation under the Federal Power Act, the Interstate Commerce Act, any public utilities code or any other Applicable Law regarding its authority to incur Debt.

  • No Diversion The Executive covenants and agrees that during the Term and the Post-Termination Period, he shall not, directly or indirectly through any other person or entity, solicit, divert, or take advantage of, or attempt to solicit, divert or take advantage of, any actual or potential customers or business opportunities (e.g., writing, issuing, underwriting, selling, distributing or re-insuring personal property and casualty insurance products, investment opportunities, and other similar opportunities) of the Company which the Executive became aware of during his employment with the Company.

  • Material Transactions or Affiliations There is no contract, agreement or arrangement between NHT and any person who was, at the time of such contract, agreement or arrangement an officer, director or person owning of record, or known by NHT to own beneficially, five percent or more of the issued and outstanding Common Stock and which is to be performed in whole or in part after the date hereof. NHT has no commitment, whether written or oral, to lend any funds to, borrow any money from or enter into any other material transactions with, any such affiliated person.

  • ON-THE-JOB INJURY (a) If an employee is injured to such an extent that they are obliged to cease work, their wages will continue for the balance of the day on which the injury occurred.

  • No Affiliation The Trustee is not an Affiliated Person with respect to the Depositor, either of the Paired Trusts, the Administrative Agent, the Marketing Agent or any Authorized Participant, and it is not an Affiliated Person with respect to any Person who is an Affiliated Person with respect to any of the foregoing entities; further, the Trustee does not, and will not for so long as it acts as Trustee hereunder, offer or provide credit or credit enhancement to either of the Macro Trusts, except to the extent that the Trustee provides overdraft liquidity in the normal course of its custody services hereunder.

  • No Legal Order Pending There shall not then be in effect any legal or other order enjoining or restraining the transactions contemplated by this Agreement.

  • NO DRUGS OR ALCOHOL For reasons of safety and public policy, in any Contract resulting from this procurement, the use of illegal drugs and/or alcoholic beverages by the Contractor or its personnel shall not be permitted while performing any phase of the work herein specified.

  • No Employees Notwithstanding any other provision of the Indenture or any Charter Documents of any Securitization Entity to the contrary, no Securitization Entity has any employees.

  • Change in Ownership of a Substantial Portion of the Company’s Assets A change in the ownership of a substantial portion of the Company’s assets which occurs on the date that any Person acquires (or has acquired during the twelve (12) month period ending on the date of the most recent acquisition by such person or persons) assets from the Company that have a total gross fair market value equal to or more than 50% of the total gross fair market value of all of the assets of the Company immediately prior to such acquisition or acquisitions. For purposes of this subsection (iii), gross fair market value means the value of the assets of the Company, or the value of the assets being disposed of, determined without regard to any liabilities associated with such assets. For these purposes, persons will be considered to be acting as a group if they are owners of a corporation that enters into a merger, consolidation, purchase or acquisition of stock, or similar business transaction with the Company. Notwithstanding the foregoing provisions of this definition, a transaction will not be deemed a Change of Control unless the transaction qualifies as a change in control event within the meaning of Section 409A.