Intrusion-tolerant Byzantine Sample Clauses

Intrusion-tolerant Byzantine k-set agreement The intrusion-tolerant Byzantine (ITB) k-set agreement was informally presented in the introduction. It is assumed that each non-faulty process invokes an operation called proposek(). This operation has an input parameter v, which is the value proposed by the invoking process. It returns a value, which is called the “value decided” by the invoking process. ITB k-set agreement is formally defined in terms of properties that any solution must to satisfy. When considering deterministic k-set agreement algorithms, these properties are the following ones. • KS-D-Termination. If a correct process invokes proposek(), it decides a value. • KS-Validity. If a correct process decides v, then v was proposed by a correct process. • KS-Agreement. The set of values decided by the correct processes contains at most k values. As we are interested in a randomized algorithm to solve k-set agreement, the termination property has to be weakened as follows: any correct process decides with probability 1. In the context of round- based randomized algorithms, this property can restated as follows. • KS-RR-Termination. limr→+∞ Probability [pi decides by round r] = 1.
AutoNDA by SimpleDocs

Related to Intrusion-tolerant Byzantine

  • Intrusion Detection All systems involved in accessing, holding, transporting, and protecting PHI COUNTY discloses to CONTRACTOR or CONTRACTOR creates, receives, maintains, or transmits on behalf of COUNTY that are accessible via the Internet must be protected by a comprehensive intrusion detection and prevention solution.

  • Infrastructure Vulnerability Scanning Supplier will scan its internal environments (e.g., servers, network devices, etc.) related to Deliverables monthly and external environments related to Deliverables weekly. Supplier will have a defined process to address any findings but will ensure that any high-risk vulnerabilities are addressed within 30 days.

  • Musculoskeletal Injury Prevention and Control (a) The Hospital in consultation with the Joint Health and Safety Committee (JHSC) shall develop, establish and put into effect, musculoskeletal prevention and control measures, procedures, practices and training for the health and safety of employees.

  • Radiation Therapy/Chemotherapy Services This plan covers chemotherapy and radiation services. Respiratory Therapy This plan covers respiratory therapy services. When respiratory services are provided in your home, as part of a home care program, durable medical equipment, supplies, and oxygen are covered as a durable medical equipment service.

  • Fire Fighting Costs of operating and maintaining the fire-fighting equipments and personnel, if any.

  • Smoke Free Environment The Lessor shall make all parts of the leased premise smoke-free. "

  • Outpatient Dental Anesthesia Services This plan covers anesthesia services received in connection with a dental service when provided in a hospital or freestanding ambulatory surgical center and: • the use of this is medically necessary; and • the setting in which the service is received is determined to be appropriate. This plan also covers facility fees associated with these services.

  • Tuberculosis Examination The examination shall consist of an approved intradermal tuberculosis test, which, if positive, shall be followed by an X-ray of the lungs. Nothing in Sections 5163 to 5163.2, inclusive, shall prevent the governing body of any city or county, upon recommendation of the local health officer, from establishing a rule requiring a more extensive or more frequent examination than required by Section 5163 and this section. § 5163.2. Technician taking X-ray film; Interpretation of X-ray The X-ray film may be taken by a competent and qualified X-ray technician if the X-ray film is subsequently interpreted by a licensed physician and surgeon.

  • Prevention IP shall take all appropriate measures to prevent sexual exploitation and abuse, and child safeguarding violations, by its employees, personnel or subcontractors. IP shall, inter alia, ensure that its employees, personnel or subcontractors shall have undertaken and successfully completed appropriate training with regard to the prevention of sexual exploitation and abuse, and training on safeguarding children. Such training shall include but not be limited to: reference to definitions of sexual exploitation and sexual abuse, and child safeguarding violations; a clear and unambiguous statement that any form of sexual exploitation and abuse, and any conduct that undermines the safeguarding of children, is prohibited; the requirement that any allegations of sexual exploitation and abuse, or child safeguarding violations be promptly reported as provided for in Article 14.4; and the requirement that alleged victims of sexual exploitation and abuse or child safeguarding violations, be promptly informed of and referred to available professional assistance, upon her or his consent.

  • Diagnosis For a condition to be considered a covered illness or disorder, copies of laboratory tests results, X-rays, or any other report or result of clinical examinations on which the diagnosis was based, are required as part of the positive diagnosis by a physician.

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