Assertions and Runs Sample Clauses

Assertions and Runs. Let X = {x1, . . . , xN } be a set of variables. Consider a trajectory of values of a variable xi over a time window starting at a certain time t0. A tuple of such trajectories, one for each variable in X, sorted according to a global ordering with respect to the identifiers of the variables, is called a run for X, denoted ωX . Given a set of variables Xj, an assertion W over Xj is a possibly empty set of runs for Xj. This notion corresponds to similar definitions in [6, 7, 31]. Note that, in the following, assertions will be specified by equations. ∈ ⊆ { } Given an assertion W over X = x1, . . . , xN , and another set of variables Xj X, the projection [6, 20, 21, 31] of W onto Xj, written projXt (W), is the set of runs obtained when the trajectory of values of each variable xi / Xj is removed from each run in W. Using notation of relational algebra [33], it holds that projXt (W) = πXt (W) . (1) ˆ Given an assertion Wj over Xj and another set of variables X, projX (Wj) is the set of runs where each run in Wj is first extended with all possible runs for X \ Xj, prior to applying the operation of projection. That is, ˆ
AutoNDA by SimpleDocs

Related to Assertions and Runs

  • Indemnification by Provider If an action is brought against SAP by a third party arising from (a) any taxes and related costs, interest and penalties paid or payable by SAP, (b) Provider’s representations not authorized by SAP, (c) Provider’s breach of this Agreement, including but not limited to: (i) any breach or violation of applicable export laws or regulations; or (ii) action in excess of Provider’s authority hereunder and arising out of any claims by any Customers or End Users; or (d) Provider’s failure to comply with the terms of the Customer Service Agreement, (e) any agreement between Provider and its distributors, resellers or Customers, (f) a claim that any Provider Confidential Information infringes, misappropriates or violates any patent, copyright or trademark of any third party or Provider's combining (or its authorizing others to combine) the Software with any products not provided by SAP, or (g) a third party’s assertion that Provider acted as SAP's agent or otherwise on its behalf, then Provider shall defend SAP, at Provider's expense, and shall pay any settlement amounts Provider authorizes and all damages, costs and attorneys’ fees finally awarded against SAP in the action. Provider shall indemnify and hold harmless SAP from any damages and costs SAP incurs as a consequence of any infringement of intellectual property rights of third parties caused by any of the circumstances set forth in this Section or the use of the Software not in accordance with this Agreement.

  • Indemnification in Third Party Proceedings Subject to Section 10 below, the Company shall indemnify Indemnitee to the fullest extent permitted by the Code, as the same may be amended from time to time (but, only to the extent that such amendment permits Indemnitee to broader indemnification rights than the Code permitted prior to adoption of such amendment), if Indemnitee is a party to or threatened to be made a party to or otherwise involved in any proceeding, for any and all expenses, actually and reasonably incurred by Indemnitee in connection with the investigation, defense, settlement or appeal of such proceeding.

  • Intellectual Property Indemnification by Vendor Procedures Related to Indemnification. In the event that an indemnity obligation arises, Vendor shall pay all amounts set forth in Section 13 and 14 above (including any settlements) and – if it has accepted its indemnity obligation without qualification – control the legal defense to such claim or cause of action, including without limitation attorney selection, strategy, discovery, trial, appeal, and settlement, and TIPS shall, at Vendor’s cost and expense (with respect to reasonable out of pocket costs and expenses incurred by TIPS which shall be reimbursed to TIPS by Vendor), provide all commercially reasonable assistance requested by Vendor. In controlling any defense, Vendor shall ensure that all assertions of governmental immunity and all applicable pleas and defenses shall be promptly asserted.

  • RESPONSIBILITIES OF THE UNIVERSITY 1. The UNIVERSITY shall designate in writing a faculty member to coordinate with a designee of the FIELDWORK SITE.

  • Corporate Examinations and Investigations Prior to the Closing Date, the parties acknowledge that they have been entitled, through their employees and representatives, to make such investigation of the assets, properties, business and operations, books, records and financial condition of the other as they each may reasonably require. No investigations, by a party hereto shall, however, diminish or waive any of the representations, warranties, covenants or agreements of the party under this Agreement.

  • Notification of Breaches of Representations and Warranties Upon discovery by the Custodian of a breach of any representation or warranty made by the Seller or the Master Servicer as set forth in the Pooling and Servicing Agreement, the Custodian shall give prompt written notice to the Seller, the Master Servicer and the Trustee.

  • Defense and Indemnification a. Contractor hereby agrees to defend, indemnify, reimburse and hold harmless City, its appointed and elected officials, agents and employees for, from and against all liabilities, claims, judgments, suits or demands for damages to persons or property arising out of, resulting from, or relating to the work performed under this Agreement (“Claims”), unless such Claims have been specifically determined by the trier of fact to be the sole negligence or willful misconduct of the City. This indemnity shall be interpreted in the broadest possible manner to indemnify City for any acts or omissions of Contractor or its subcontractors either passive or active, irrespective of fault, including City’s concurrent negligence whether active or passive, except for the sole negligence or willful misconduct of City.

  • Indemnification Procedures for Non-Third Party Claims In the event any Indemnified Party should have an indemnification claim against the Shareholder under this Agreement that does not involve a claim by a third party, the Indemnified Party shall promptly deliver notice of such claim to the Shareholder in writing and in reasonable detail. The failure by any Indemnified Party to so notify the Shareholder shall not relieve the Shareholder from any liability that it may have to such Indemnified Party, except to the extent that the Shareholder has been actually prejudiced by such failure. If the Shareholder does not notify the Indemnified Party within fifteen (15) Business Days following its receipt of such notice that the Shareholder disputes such claim, such claim specified by the Shareholder in such notice shall be conclusively deemed a liability of the Shareholder under this Article VII and the Shareholder shall pay the amount of such liability to the Indemnified Party on demand, or in the case of any notice in which the amount of the claim is estimated, on such later date when the amount of such claim is finally determined. If the Shareholder disputes its liability with respect to such claim in a timely manner, Shareholder and the Indemnified Party shall proceed in good faith to negotiate a resolution of such dispute and, if not resolved through negotiations, such dispute shall be submitted to arbitration pursuant to Section 9.9.

  • Indemnification Proceedings Each party entitled to indemnification pursuant to this Section 13 (the "Indemnified Party") shall give notice to the party required to provide indemnification pursuant to this Section 13 (the "Indemnifying Party") promptly after such Indemnified Party acquires actual knowledge of any claim as to which indemnity may be sought, and shall permit the Indemnifying Party (at its expense) to assume the defense of any claim or any litigation resulting therefrom; provided that counsel for the Indemnifying Party, who shall conduct the defense of such claim or litigation, shall be acceptable to the Indemnified Party, and the Indemnified Party may participate in such defense at such party's expense; and provided, further, that the failure by any Indemnified Party to give notice as provided in this paragraph (c) shall not relieve the Indemnifying Party of its obligations under Section 13 except to the extent that the failure results in a failure of actual notice to the Indemnifying Party and such Indemnifying Party is damaged solely as a result of the failure to give notice. No Indemnifying Party, in the defense of any such claim or litigation, shall, except with the consent of each Indemnified Party, consent to entry of any judgment or enter into any settlement which does not include as an unconditional term thereof the giving by the claimant or plaintiff to such Indemnified Party of a release from all liability in respect to such claim or litigation. The reimbursement required by this Section 13 shall be made by periodic payments during the course of the investigation or defense, as and when bills are received or expenses incurred.

  • Indemnification by Subcontractors To the fullest extent permitted by law, an Interconnection Party that uses a subcontractor to carry out any of the Interconnection Party’s obligations under this Appendix 2 shall require each of its subcontractors to indemnify, hold harmless and defend each other Interconnection Party, its representatives and assigns from and against any and all claims and/or liability for damage to property, injury to or death of any person, including the employees of any Interconnection Party or of any Affiliate of any Interconnection Party, or any other liability incurred by the other Interconnection Party or any of its Affiliates, including all expenses, legal or otherwise, to the extent caused by any act or omission, negligent or otherwise, by such subcontractor and/or its officers, directors, employees, agents and assigns, that arises out of or is connected with the operation of the facilities of either Interconnected Entity described in this Appendix 2; provided, however, that no Interconnection Party or Affiliate thereof shall be entitled to indemnity under this Section 18.3 in respect of any injury, loss, or damage to the extent that such loss, injury, or damage results from the negligence or willful misconduct of the Interconnection Party or Affiliate seeking indemnity.

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