Construct a timed shield Sample Clauses

Construct a timed shield. A timed shield is constructed by com- posing the timed game automata with the derived winning strategy; meaning that in the timed automaton that depicts the shield, all unsafe transitions are removed. The timed shield may still permit multiple correct actions in a given state.
AutoNDA by SimpleDocs

Related to Construct a timed shield

  • Deliverables Upon satisfactory completion of the work authorization, the Engineer shall submit the deliverables as specified in the executed work authorization to the State for review and acceptance.

  • Overtime Overtime will begin to accrue after sixty (60) hours in a two (2) week period averaged over the scheduling period determined by the local parties. Overtime will apply if the employee works in excess of the normal daily hours. Payment for overtime is as in Article 16.01.

  • Dimensions Education Bachelor’s or Master’s Degree in Computer Science, Information Systems, or other related field. Or equivalent work experience. Experience: A minimum of 5 years of IT work experience with demonstrated knowledge in architecture design, software development, database management systems and systems integration in multi-platform environments.

  • Introduction The Texas Health and Human Services Commission ("HHSC") and the Contractor named in Section I (HHSC and Contractor may be referenced in this document collectively as the “Parties” and individually as the “Party") hereby enter into this Community Services Contract - Provider Agreement (the “Contract”) for the provision of services under the Contract type specified in Section I for the considerations set forth herein. The Contract Begin Date specified in Section I is not valid until this Contract is signed by both parties.

  • Bereavement Leave (a) Upon the death of an employee's spouse, spouse to include same sex partner, child or stepchild, an employee shall be granted leave up to a maximum of five (5) continuous calendar days without loss of pay. One of the days of leave shall include the day of the funeral or equivalent service. Additional days off with or without pay may be granted by the Employer. Part-time employees will be credited with seniority and service for all such leave. In the event of a delayed interment or ceremony for reason of religion or other protected grounds under the Ontario Human Rights Code, an Employee may save one of the days identified above without loss of pay to attend the interment or ceremony.

  • GRIEVANCE PROCEDURE 7.01 For purposes of this Agreement, a grievance is defined as a difference arising between the parties relating to the interpretation, application, administration or alleged violation of the Agreement including any question as to whether a matter is arbitrable.

  • Insurance Requirements Vendor agrees to maintain the following minimum insurance requirements for the duration of this Agreement. All policies held by Vendor to adhere to this term shall be written by a carrier with a financial size category of VII and at least a rating of “A‐” by A.M. Best Key Rating Guide. The coverages and limits are to be considered minimum requirements and in no way limit the liability of the Vendor(s). Any immunity available to TIPS or TIPS Members shall not be used as a defense by the contractor's insurance policy. Only deductibles applicable to property damage are acceptable, unless proof of retention funds to cover said deductibles is provided. "Claims made" policies will not be accepted. Vendor’s required minimum coverage shall not be suspended, voided, cancelled, non‐renewed or reduced in coverage or in limits unless replaced by a policy that provides the minimum required coverage except after thirty (30) days prior written notice by certified mail, return receipt requested has been given to TIPS or the TIPS Member if a project or pending delivery of an order is ongoing. Upon request, certified copies of all insurance policies shall be furnished to the TIPS or the TIPS Member. Vendor agrees that when Vendor or its subcontractors are liable for any damages or claims, Vendor’s policy, shall be primary over any other valid and collectible insurance carried by the Member or TIPS. General Liability: $1,000,000 each Occurrence/Aggregate Automobile Liability: $300,000 Includes owned, hired & non‐owned Workers' Compensation: Statutory limits for the jurisdiction in which the Vendor performs under this Agreement. If Vendor performs in multiple jurisdictions, Vendor shall maintain the statutory limits for the jurisdiction with the greatest dollar policy limit requirement. Umbrella Liability: $1,000,000 each Occurrence/Aggregate

  • Arbitration Disputes arising under or in connection with this Agreement that are not resolved pursuant to Section 5.1, including requests for specific performance, will be resolved through binding arbitration conducted pursuant to the rules of the International Court of Arbitration of the International Chamber of Commerce. The arbitration will be conducted in the English language and will occur in Los Angeles County, California. Any arbitration will be in front of a single arbitrator, unless (i) ICANN is seeking punitive or exemplary damages, or operational sanctions, (ii) the parties agree in writing to a greater number of arbitrators, or (iii) the dispute arises under Section 7.6 or 7.7. In the case of clauses (i), (ii) or (iii) in the preceding sentence, the arbitration will be in front of three arbitrators with each party selecting one arbitrator and the two selected arbitrators selecting the third arbitrator. In order to expedite the arbitration and limit its cost, the arbitrator(s) shall establish page limits for the parties’ filings in conjunction with the arbitration, and should the arbitrator(s) determine that a hearing is necessary, the hearing shall be limited to one (1) calendar day, provided that in any arbitration in which ICANN is seeking punitive or exemplary damages, or operational sanctions, the hearing may be extended for one (1) additional calendar day if agreed upon by the parties or ordered by the arbitrator(s) based on the arbitrator(s) independent determination or the reasonable request of one of the parties thereto. The prevailing party in the arbitration will have the right to recover its costs and reasonable attorneys’ fees, which the arbitrator(s) shall include in the awards. In the event the arbitrators determine that Registry Operator has been repeatedly and willfully in fundamental and material breach of its obligations set forth in Article 2, Article 6 or Section 5.4 of this Agreement, ICANN may request the arbitrators award punitive or exemplary damages, or operational sanctions (including without limitation an order temporarily restricting Registry Operator’s right to sell new registrations). Each party shall treat information received from the other party pursuant to the arbitration that is appropriately marked as confidential (as required by Section 7.15) as Confidential Information of such other party in accordance with Section 7.15. In any litigation involving ICANN concerning this Agreement, jurisdiction and exclusive venue for such litigation will be in a court located in Los Angeles County, California; however, the parties will also have the right to enforce a judgment of such a court in any court of competent jurisdiction.

  • Services FASC agrees to provide to the Adviser the services indicated in Exhibit A to this Agreement (the “Services”).

  • Background 1.1. The “Work” is the research article, review article, letter, clinical trial study, report, article, or other copyright work, as identified in the Copyright Letter and further detailed in Schedule 1: Details of the Work (including such form of the copyright work submitted to Xxxxxxx Science for publication pursuant to clause 4, below), but excluding (except where context otherwise requires) any diagrams, figures or illustration specifically identified to Xxxxxxx Science pursuant to clause 3.2, below.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!