Background and Notation Sample Clauses

Background and Notation. Contracts regulate the behaviour of agents or par- ties that are acting concurrently. In this Section, we present notation used to describe these agents and their behaviour in order to be able to formalize con- tracts in the following sections. Structurally, the underlying system consists of several indexed agents running in parallel, using xxxx- xxxxx A, A1 to represent the individual agents. The sys- tem as a whole will consist of the parallel composition of all agents indexed by a finite set I i.e. the system i P1 I, where A = A1 ¨ ¨ ¨ Al ¨ ¨ ¨ An, and A1 = || P will be of the form i I Ai. We will use variables A, A1 to denote the state of the system as a whole. Notation: The visible behaviour of the system and A1 ¨ ¨ ¨ A1l ¨ ¨ ¨ A1n. −Ñ We will also write A a,S agents will be assumed to consist of actions over Act, and the agents’ behaviour will be assumed to con- to mean that system A can perform action a involving the agents in set S: a A ,S df 1 a,S 1 ,S sist of (i) a relation indicating how their state changes whenever such action occurs; and (ii) a relation indi- cating how they change over time. Time will be taken to range over the non-negative reals: T = R+. Agents semantics are thus represented as timed labelled xxxx- sition systems: −Ñ = DA ¨ A −Ña A . The lack of such a transi- −−−−Û tion is written as: X . In order to formalize violation of contracts, we will use predicates over agent behaviour. Definition 2 A predicate is defined in terms of the fol- lowing grammar: • A −aÑ A1, for a P Act, indicates that agent A changes to A1 upon performing action a. As it is usual in process algebrae [Xx, 1991], the execu- tion of actions does not consume time. The xxxx- sition A −aÛ indicates that agent A cannot perform P ::= tt | ff | xa, ky | xa, ky | P v Q | P ^ Q P P P In the grammar above, k I ranges over agent indices, a Act over actions, and P, Q P over pred- icates. =
AutoNDA by SimpleDocs
Background and Notation. Contracts regulate the behaviour of agents or par- ties that are acting concurrently. In this Section, we present notation used to describe these agents and their behaviour in order to be able to formalize con- tracts in the following sections. Structurally, the underlying system consists of several indexed agents running in parallel, using xxxx- xxxxx A, A1 to represent the individual agents. The sys- tem as a whole will consist of the parallel composition of all agents indexed by a finite set I i.e. the system || P will be of the form i I Ai. We will use variables A, A1 to denote the state of the system as a whole.
Background and Notation 

Related to Background and Notation

  • Background and Context 1.1 Objectives of this Agreement The purpose of this Agreement is to define, in the context of the resource inputs provided, the targets by which the performance of Forensic Science Ireland (FSI) will be measured in 2021. The ongoing supports that the Department of Justice will provide to FSI in this regard, and the mechanisms for monitoring and appraising performance, form part of the overall governance arrangements between the two parties and as such are set out in the separate but complementary Oversight Agreement 2020-22.

  • Background and Purpose Executive was employed by the Company. Executive's employment is ending effective ____________ under the conditions described in Section 3.1 of the Executive Severance Agreement ("Agreement") by and between Executive and the Company dated ____________, 2012. The purpose of this Release is to settle, and the parties hereby settle, fully and finally, any and all claims the Releasing Parties may have against the Released Parties, whether asserted or not, known or unknown, including, but not limited to, claims arising out of or related to Executive's employment, any claim for reemployment, or any other claims whether asserted or not, known or unknown, past or future, that relate to Executive's employment, reemployment, or application for reemployment.

  • BACKGROUND AND INTRODUCTION The Federal-aid Highway Program (FAHP) is a federally-assisted program of State-selected projects. The Federal Highway Administration (FHWA) and the State Departments of Transportation have long worked as partners to deliver the FAHP in accordance with Federal requirements. In enacting 23 U.S.C. 106(c), as amended, Congress recognized the need to give the States more authority to carry out project responsibilities traditionally handled by FHWA. Congress also recognized the importance of a risk-based approach to FHWA oversight of the FAHP, establishing requirements in 23 U.S.C. 106(g). This Stewardship and Oversight (S&O) Agreement sets forth the agreement between the FHWA and the State of Florida Department of Transportation (FDOT) on the roles and responsibilities of the FHWA and the State DOT with respect to Title 23 project approvals and related responsibilities, and FAHP oversight activities. The scope of FHWA responsibilities, and the legal authority for State DOT assumption of FHWA responsibilities, developed over time. The U.S. Secretary of Transportation delegated responsibility to the Administrator of the FHWA for the FAHP under Title 23 of the United States Code, and associated laws. (49 CFR 1.84 and 1.85) The following legislation further outlines FHWA’s responsibilities: • Intermodal Surface Transportation Efficiency Act (ISTEA) of 1991; • Transportation Equity Act for the 21st Century (TEA-21) of 1998; • Safe, Accountable, Flexible, Efficient Transportation Equity Act: A Legacy for Users (SAFETEA-LU) of 2005; and • Moving Ahead for Progress in the 21st Century Act (MAP-21) of 2012 (P.L. 112-141). The FHWA may not assign or delegate its decision-making authority to a State Department of Transportation unless authorized by law. Xxxxxxx 000 xx Xxxxx 00, Xxxxxx Xxxxxx Code (Section 106), authorizes the State to assume specific project approvals. For projects that receive funding under Title 23, U.S.C., and are on the National Highway System (NHS) including projects on the Interstate System, the State may assume the responsibilities of the Secretary of the U.S. Department of Transportation under Title 23 for design, plans, specifications, estimates, contract awards, and inspections with respect to the projects unless the Secretary determines that the assumption is not appropriate. (23 U.S.C. 106(c)(1)) For projects under Title 23, U.S.C. that are not on the NHS, the State shall assume the responsibilities for design, plans, specifications, estimates, contract awards, and inspections unless the State determines that such assumption is not appropriate. (23 U.S.C. 106(c)(2)) For all other project activities which do not fall within the specific project approvals listed in Section 106 or are not otherwise authorized by law, the FHWA may authorize a State DOT to perform work needed to reach the FHWA decision point, or to implement FHWA’s decision. However such decisions themselves are reserved to FHWA. The authority given to the State DOT under Section 106(c)(1) and (2) is limited to specific project approvals listed herein. Nothing listed herein is intended to include assumption of FHWA’s decision-making authority regarding Title 23, U.S.C. eligibility or Federal-aid participation determinations. The FHWA always must make the final eligibility and participation decisions for the Federal-aid Highway Program. Section 106(c)(3) requires FHWA and the State DOT to enter into an agreement relating to the extent to which the State DOT assumes project responsibilities. This Stewardship and Oversight Agreement (S&O Agreement), includes information on specific project approvals and related responsibilities, and provides the requirements for FHWA oversight of the FAHP (Oversight Program), as required by 23 U.S.C. 106(g).

  • Background Checks The State may require that the Contractor and Contractor Parties undergo criminal background checks as provided for in the State of Connecticut Department of Emergency Services and Public Protection Administration and Operations Manual or such other State document as governs procedures for background checks. The Contractor and Contractor Parties shall cooperate fully as necessary or reasonably requested with the State and its agents in connection with such background checks.

  • Background Check The Department or Customer may require the Contractor to conduct background checks of its employees, agents, representatives, and subcontractors as directed by the Department or Customer. The cost of the background checks will be borne by the Contractor. The Department or Customer may require the Contractor to exclude the Contractor’s employees, agents, representatives, or subcontractors based on the background check results. In addition, the Contractor must ensure that all persons have a responsibility to self-report to the Contractor within three (3) calendar days any arrest for any disqualifying offense. The Contractor must notify the Contract Manager within twenty-four (24) hours of all details concerning any reported arrest. Upon the request of the Department or Customer, the Contractor will re-screen any of its employees, agents, representatives, and subcontractors during the term of the Contract.

  • Background and Instructions History of Agreement- This agreement has been drafted by the Texas Student Privacy Alliance (TXSPA). The Alliance is a collaborative group of Texas school districts that share common concerns around student and data privacy. The Texas K-12 CTO Council is the organization that sponsors the TXSPAand the TXSPA is the Texas affiliate of the national Student Data Privacy Consortium (SDPC). The SDPC works with other state alliances by helping establish common data privacy agreements unique to the jurisdiction of each state. This Texas agreement was drafted specifically for K-12 education institutions and included broad stakeholder input from Texas school districts, statewide associations such as TASB, TASA, and TASBO, and the Texas Education Agency. The purpose of this agreement is to set standards of both practice and expectations around data privacy such that all parties involved have a common understanding of expectations. This agreement also provides a mechanism (Exhibit E- General Offer of Terms) that would allow an Operator to extend the ability of other Texas school districts to be covered under the terms of the agreement should an Operator sign Exhibit E. This mechanism is intended to create efficiencies for both Operators and LEAs and generally enhance privacy practices and expectations for K-12 institutions and for companies providing services to K-12 institutions.

  • Background Intellectual Property ‌ Notwithstanding and superseding anything to the contrary in this ARTICLE 14, each Party retains title to all Intellectual Property Rights owned or possessed by it or any of its affiliates prior to or independent of performance of this Agreement and used by it in fulfilling its obligations under this Agreement, as well as any modifications or improvements made thereto in the course of performing this Agreement (“Background IP”). To the extent that one Party acquires any right, title, or interest in and to any aspect of the modifications or improvements to the Background IP of the other Party, such first Party shall assign such right, title, and interest to the second Party, immediately following such acquisition. If any of the Supplier’s Background IP is included in or required to use the Documentation provided by the Supplier to the City, the Supplier hereby grants to the City an irrevocable, perpetual, fully paid-up, royalty-free, worldwide, transferable and non-exclusive licence (including the right to sub-licence only to members of the City’s Group) to, itself and through contractors and agents, use, copy, amend, reproduce, modify, create derivative works of, use, commercialize, and otherwise exploit the Supplier’s Background IP but only to the extent required to use such Documentation for the purpose (or any reasonably inferred purpose) for which it has been provided or for the provision of the Supply under this Agreement (excluding any software source code).

  • 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.

  • Background Data The Disclosing Party's Background Data, if any, will be identified in a separate technical document.

  • General and Criminal Background Checks 5.2.13.1. PSP hereby represents and warrants, and by execution of an Assignment thereby represents and warrants, that neither PSP nor any of PSP’s employees have been convicted of a felony criminal offense, or of a crime involving moral turpitude, or that, if such a conviction has occurred, PSP has fully advised TFC in writing as to the facts and circumstances surrounding the conviction(s).

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