Ledgers and certificates Sample Clauses

Ledgers and certificates.Β In order to ensure accountability, we need to record enough information during the execution to justify any decision that is made, and hence to allow processes to determine account- ability. For this purpose, we define two types of justifications: ledgers and certificates. A ledger is designed to justify adopt- ing a specific value. A certificate justifies a decision. We will attach ledgers to certain messages; any message containing an invalid or malformed ledger is discarded. We define a ledger for round π‘Ÿ and value 𝑣 as follows. If βˆ’ βˆ’ 𝑣 β‰  π‘Ÿ mod 2, then the ledger consists of the (𝑛 𝑑0) ECHO mes- sages, each properly signed, received in Phase 2 of round π‘Ÿ that contain only value 𝑣 (and no other value). If 𝑣 = π‘Ÿ mod 2, then the ledger is simply a copy of any other ledger from the previous round π‘Ÿ 1 justifying value 𝑣. (The asymmetry may seem strange, but is useful in finding the guilty parties!) We define a certificate for a decision of value 𝑣 in round βˆ’ π‘Ÿ to consist of (𝑛 𝑑0) echo messages, each properly signed, received in Phase 2 of round π‘Ÿ that contain only value 𝑣 (and no other value).
Sample 1
AutoNDA by SimpleDocs
Ledgers and certificates.Β In order to ensure accountability, we need to record enough information during the execution to justify any decision that Xxxxxx Xxxxx, Xxxx Xxxxxxx, and Xxxxxxx Xxxxxxx Algorithm 2 Helper Components 1: bv-broadcast(MSG, π‘£π‘Žπ‘™, π‘™π‘’π‘‘π‘”π‘’π‘Ÿ, 𝑖, bin_values): ⟨ ⟩ β†’ d 2: broadcast(BVAL, π‘£π‘Žπ‘™, π‘™π‘’π‘‘π‘”π‘’π‘Ÿ, 𝑖 ) π‘šπ‘ π‘”π‘  broadcast message
Sample 1

Related to Ledgers and certificates

  • Licenses and Certificates Contractor shall, at all times during the term of this Contract, maintain in full force and effect such licenses as may be required by the State of California or any other governmental entity for Contractor to perform the duties specified herein and provide the services required pursuant to this Contract. Contractor shall strictly adhere to, and obey, all governmental rules and regulations now in effect or as subsequently enacted or modified, as promulgated by any local, state, or federal governmental entities.

  • Required Certificates β€Œ Where the Employer requires an employee to be qualified to perform first aid duties, or required to hold certificates or licences, the cost of renewing the required certificate(s) will be borne by the Employer. Time spent at the course for certificates will be considered time worked and will be compensated at the appropriate rate of pay.

  • Certificates Principal Life hereby agrees to deliver an Officer’s Certificate, a copy of which is attached hereto as Exhibit E, on a quarterly basis to any rating agency currently rating the Program. The Trust hereby agrees to deliver an Officer’s Certificate, a copy of which is attached hereto as Exhibit F, on a quarterly basis to any rating agency currently rating the Program.

  • Medical Certificates (a) An employee who has given the Employer notice of their intention to take paid or unpaid parental leave, or unpaid partner leave shall provide the Employer with a medical certificate from a registered medical practitioner naming the employee, or the employee’s partner, confirming the pregnancy and estimated date of birth.

  • Classes of Trust Fund Certificates The Trust Fund Certificates authorized by this Trust Agreement shall be divided into the Classes listed on the cover of the Prospectus Supplement (other than the Class 46-RL Certificate), which Classes shall have the Class designations, original Class Balances, Interest Rates and Final Distribution Dates specified in the Prospectus Supplement.

  • Certificates; Other Information Deliver to the Administrative Agent and each Lender, in form and detail satisfactory to the Administrative Agent and the Required Lenders:

  • Carry Forward and Transfer Employees will be allowed to carry forward, from year to year of service, any unused sick leave allowed under this provision, and will retain and carry forward any unused sick leave accumulated prior to the effective date of this Agreement. When an employee moves from one state of Washington employer to another, without a break in service, the employee’s accrued sick leave will be transferred to the new employer for the employee’s use.

  • The Certificates The Certificates shall be substantially in the forms attached hereto as exhibits. The Certificates shall be issuable in registered form, in the minimum denominations, integral multiples in excess thereof (except that one Certificate in each Class may be issued in a different amount which must be in excess of the applicable minimum denomination) and aggregate denominations per Class set forth in the Preliminary Statement. Subject to Section 9.02 hereof respecting the final distribution on the Certificates, on each Distribution Date the Trustee shall make distributions to each Certificateholder of record on the preceding Record Date either (x) by wire transfer in immediately available funds to the account of such holder at a bank or other entity having appropriate facilities therefor, if (i) such Holder has so notified the Trustee at least five Business Days prior to the related Record Date and (ii) such Holder shall hold (A) a Notional Amount Certificate, (B) 100% of the Class Certificate Balance of any Class of Certificates or (C) Certificates of any Class with aggregate principal Denominations of not less than $1,000,000 or (y) by check mailed by first class mail to such Certificateholder at the address of such holder appearing in the Certificate Register. The Certificates shall be executed by manual or facsimile signature on behalf of the Trustee by an authorized officer. Certificates bearing the manual or facsimile signatures of individuals who were, at the time when such signatures were affixed, authorized to sign on behalf of the Trustee shall bind the Trustee, notwithstanding that such individuals or any of them have ceased to be so authorized prior to the countersignature and delivery of such Certificates or did not hold such offices at the date of such Certificate. No Certificate shall be entitled to any benefit under this Agreement, or be valid for any purpose, unless countersigned by the Trustee by manual signature, and such countersignature upon any Certificate shall be conclusive evidence, and the only evidence, that such Certificate has been duly executed and delivered hereunder. All Certificates shall be dated the date of their countersignature. On the Closing Date, the Trustee shall countersign the Certificates to be issued at the direction of the Depositor, or any affiliate thereof. The Depositor shall provide, or cause to be provided, to the Trustee on a continuous basis, an adequate inventory of Certificates to facilitate transfers.

  • SPECIALIZED JOB CLASSES Where there is a particular specialized job class in which the pay rate is below the local market value assessment of that job class, the parties may use existing means under the collective agreement to adjust compensation for that job class.

  • Certificate Accounts Any time deposit, term share, share certificate, or certificate of deposit account allowed by state law (certificate account), whichever we offer, is subject to the terms of this Agreement, the Truth-in-Savings Disclosure, and the Account Receipt for each account, the terms of which are incorporated herein by reference.

Time is Money Join Law Insider Premium to draft better contracts faster.