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 will be of the form i I Ai. We will use variables A, A1 to denote the state of the system as a whole.
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 i P1 I, where A = A1 ¨ ¨ ¨ Al ¨ ¨ ¨ An, and A1 = will be of the form i I Ai. We will use variables A, A1 to denote the state of the system as a whole. 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- can perform action a involving the agents in set S: A ,S df 1 a,S 1 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. • 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. = a: A −aÛ df ¬DA1 ¨ A −aÑ A1. ą A1, for d 0 P T, indicates that agent A Predicates tt and ff denote true and false respec- tively. Predicate xa, ky means that agent k may per- evolves to A after d time units pass. form action a. However, since some actions may re- Assumptions: We will assume that agents are non- blocking: for any agent A, there is an agent state A1 such that either (i) A −aÑ A1 (for some a P Act); or (ii) quire involvement by several agents, we use the pred- icate a, k to indicate that agent k wants to perform action a, but this action is not offered by any other x y A1 (for some d ą 0 P T). We also assume the agent for synchronisation. For instance, an agent c x y may want to purchase a ticket (action: ticket) to go following...
Background and Notation 

Related to Background and Notation

  • 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 Change of Control 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 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 It is possible that one or both Parties may possess rights in background intellectual property, that is, intellectual property not otherwise subject to this Agreement, which would be useful or essential to the practice or commercialization of the results of this Agreement. For example, the RI might own a patent which would be infringed by the SBC when it attempted to commercialize the results of this Agreement unless a license was obtained from the RI. Where the Parties determine that background technology may exist, consideration should be given to negotiating license rights which will allow the practice and commercialization of the results of this Agreement.

  • BACKGROUND Purchaser wishes to purchase a Revenue Sharing Note issued by the Company through xxx.Xxxxxxxx.xxx (the “Site”).

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

  • Criminal Background Checks Provider and College reserve the right to conduct criminal background checks on Resident to determine Resident’s suitability to live in Residence Facility, and Resident consents and agrees that Provider and College has permission to conduct criminal background checks on Resident.

  • Background and Security Investigations 7.5.1 Each of Contractor’s staff performing services under this Contract, who is in a designated sensitive position, as determined by County in County's sole discretion, shall undergo and pass a background investigation to the satisfaction of County as a condition of beginning and continuing to perform services under this Contract. Such background investigation must be obtained through fingerprints submitted to the California Department of Justice to include State, local, and federal-level review, which may include, but shall not be limited to, criminal conviction information. The fees associated with the background investigation shall be at the expense of the Contractor, regardless of whether the member of Contractor’s staff passes or fails the background investigation. If a member of Contractor’s staff does not pass the background investigation, County may request that the member of Contractor’s staff be removed immediately from performing services under the Contract. Contractor shall comply with County’s request at any time during the term of the Contract. County will not provide to Contractor or to Contractor’s staff any information obtained through the County’s background investigation. 7.5.2 County, in its sole discretion, may immediately deny or terminate facility access to any member of Contractor’s staff that does not pass such investigation to the satisfaction of the County or whose background or conduct is incompatible with County facility access. 7.5.3 Disqualification of any member of Contractor’s staff pursuant to this Paragraph 7.5 shall not relieve Contractor of its obligation to complete all work in accordance with the terms and conditions of this Contract.

  • Criminal Background Check It is the Responsibility of CHESAPEAKE CENTER, INC. to make certain that its employees, agents, volunteers, and contractors, who have contact with students receiving services are fingerprinted and have a background check in compliance with Family Law Article, Annotated Code of Maryland, and Section 5-551 through 5-557. CHESAPEAKE CENTER, INC. may not hire, contract, or otherwise engage an individual to participate in this Cooperative Agreement who has been convicted of a crime involving child abuse or neglect; contributing to the delinquency of a minor; a crime of violence as set forth in Criminal Law Article §14-101, Annotated Code of Maryland; or has evidence of a criminal history which in the opinion of Chesapeake Center, Inc. makes the individual unfit to participate in this Cooperative Agreement.

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