Semantics of components Sample Clauses

Semantics of components. We are now ready to formalize components and discuss their composition, verification and refinement. Definition 6.1: (Component) A component C is a tuple (I, MCode, PriMDec, PriMCode, InMDec) where (1) I is an interface. (2) PriMDec is a set of method declarations which are private to the com- ponent. (3) The tuple (I, MCode, PriMDec, PriMCode) has the same structure as a general contract, except for that the functions MCode and PriMCode map methods in the set I.MDec and PriMDec respectively to a pro- gram, written in the notations introduced in Section 3. MCode(op) and PriMCode(op) can only mention variables defined in I.

Related to Semantics of components

  • Third Party Components The Products and Services may contain third party components (including open source software) subject to separate license agreements. To the limited extent a third party license expressly supersedes this XXXX, such third party license governs Customer’s use of that third party component.

  • Separation of Components The SOFTWARE PRODUCT is licensed as a single product. Its component parts may not be separated for use on more than one computer.

  • OPEN SOURCE COMPONENTS The DS Offerings may include open source components. Whenever notices (such as acknowledgment, copies of licenses or attribution notice) are required by the original licensor, such notices are included in the Documentation of the DS Offerings. Moreover, some open source components may not be distributed and licensed under the terms of the Agreement but under the terms of their original licenses as set forth in the Documentation of the DS Offerings themselves. Source code for open source software components is available upon request. Except for components mentioned in the section EXCLUSIONS below, the warranty and indemnification provided by DS under the Agreement apply to all open source software components and shall be provided by DS and not by the original licensor, but only for the use of the DS Offerings that is in compliance with the terms of the Agreement, and in conjunction with the DS Offerings. The original licensors of said open source software components provide them on an “as is” basis and without any liability whatsoever to Customer.

  • Supply of Materials The following materials will be supplied by the department Name of Materials Rate. Place of delivery 1.

  • Manufacturing Rights (a) If QED fails to supply Product ordered by ViewRay in accordance with the terms of this Agreement regarding the quantity or quality of Products supplied to ViewRay, then QED shall within fifteen (15) Business Days of said failure present ViewRay with a plan to remedy the problem and shall use Commercially Reasonable Efforts to execute such plan and remedy the problem or QED shall secure an alternative source of supply within a reasonable time at no additional cost to ViewRay. Any such alternative source of supply shall be on terms substantially identical with the terms of this Agreement. If QED is unable to provide a plan to remedy the problem or secure an alternative source of supply within [***] after its initial failure to supply, then QED shall consult with ViewRay and the parties shall work together to remedy the problem. If QED is unable to remedy the supply problem after [***] (or longer as agreed in writing by the parties), commencing with the date upon which such failure to supply began, then ViewRay may at its option, and upon notice to QED, manufacture the Products itself or through a third party in accordance with the provisions of Section 3.10(b). [***] Certain information in this document has been omitted and filed separately with the Securities and Exchange Commission. Confidential treatment has been requested with respect to the omitted portions. (b) If ViewRay notifies QED pursuant to Section 3.10(a), above, that ViewRay will manufacture the Products itself or through a third party, QED shall (i) deliver to ViewRay within thirty (30) days media embodying or disclosing all Program technology and Program proprietary or intellectual property rights necessary to enable ViewRay or its designee to manufacture Products conforming with the Specifications; and (ii) provide ViewRay or its designee, upon request, with reasonable assistance in establishing a back-up manufacturing line. ViewRay shall require any third party ViewRay designates to manufacture Products pursuant to this Section 3.10, to agree in writing to observe the terms of this Agreement relating to confidentiality and the manufacture of Products. Notwithstanding any provision of this Section 3.10 to the contrary, in no case shall QED be required to pay ViewRay in respect of any Products purchased by ViewRay from a third party operating a back-up manufacturing line established pursuant to this Section 3.10 or manufactured by ViewRay or its Affiliates pursuant to this Section 3.10.

  • New Products You agree to comply with NASD Notice to Members 5-26 recommending best practices for reviewing new products.

  • Existing Products Except as set forth below, Contractor shall retain all rights, title and interest in Existing Products.

  • Combination Products If a LICENSED PRODUCT is sold to any third party in combination with other products, devices, components or materials that are capable of being sold separately and are not subject to royalties hereunder (“OTHER PRODUCTS,” with the combination of products being referred to as “COMBINATION PRODUCTS” and the Other Product and Licensed Product in such Combination Product being referred to as the “COMPONENTS”), the NET SALES of such LICENSED PRODUCT included in such COMBINATION PRODUCT shall be calculated by multiplying the NET SALES of the COMBINATION PRODUCT by the fraction A/(A+B), where A is the average NET SALES price of such LICENSED PRODUCT in the relevant country, as sold separately, and B is the total average NET SALES price of all OTHER PRODUCTS in the COMBINATION PRODUCT in the relevant country, as sold separately. If, in any country, any COMPONENT is not sold separately, NET SALES for royalty determination shall be determined by the formula [C / (C+D)], where C is the aggregate average fully absorbed cost of the Licensed Product components during the prior Royalty Period and D is the aggregate average fully absorbed cost of the other essential functional components during the prior Royalty Period, with such costs being determined in accordance with generally accepted accounting principles. To the extent that any SUBLICENSE INCOME relates to a COMBINATION PRODUCT or is otherwise calculated based on the value of one or more licenses or intellectual property rights held by the COMPANY, an AFFILIATE or SUBLICENSEE, COMPANY shall determine in good faith and report to THE PARTIES the share of such payments reasonably attributable to COMPANY’s or such AFFILIATE’s sublicense of the rights granted hereunder, based upon their relative importance and proprietary protection, which portion shall be the SUBLICENSE INCOME. THE PARTIES shall have the right to dispute such sharing determination in accordance with the dispute provisions of the AGREEMENT.

  • Additional Products Upon satisfying the minimum order requirements above, Enrolled Affiliate may order Additional Products.

  • Review of Materials During the term of this Agreement, Client shall ensure that all prospectuses, statements of additional information, registration statements, proxy statements, reports to shareholders, advertising and sales literature or other materials prepared for distribution to Fund shareholders or the public, which refer to the Subadviser in any way, prepared by employees or agents of Client or its affiliates are consistent with information previously provided by Subadviser. Subadviser shall promptly notify the Client of any changes to information pertaining to the Subadviser and stated in the materials described in this Section 6(g).