Component Model Sample Clauses

Component Model. ‌ Our approach is based on a component model that delimits the broad out- line of what constitutes a component, exposing its necessary related technical concepts and constraints. Both, components and connectors, as well as their interaction semantics, are characterised in this component model that defines the building blocks of our systematic development approach. A component 2assert is not currently a CML keyword, but could be included as a means to provide text commands to the CML model-checker that could be included in the CML specification itself. In particular, assert P [= Q asks the model checker if the process P is refined by the process Q.
Sample 1
AutoNDA by SimpleDocs
Component Model. ‌ Our approach is based on a component model that delimits the broad out- line of what constitutes a component, exposing its necessary related technical concepts and constraints. Both, components and connectors, as well as their interaction semantics, are characterised in this component model that defines the building blocks of our systematic development approach. A component contract1, whose definition is presented below, encapsulates a component in our approach. They are defined in terms of their behaviour (represented as a CSP process), ports (represented as channels) and respective inter- faces (types).
Sample 1

Related to Component Model

  • Components Patheon will purchase and test all Components (with the exception of Client-Supplied Components) at Patheon’s expense and as required by the Specifications.

  • Unbundled Voice Loops (UVLs) 2.2.1 BellSouth shall make available the following UVLs:

  • Additional Features Additional Features are invoiced at the start of the first Contract Year following the Contract Year in which such Additional Features are activated.

  • Alternative Work Schedule An alternate forty (40) hour work schedule (other than five (5) uniform and consecutive eight (8) hour days in a seven (7) day period), or for hospital personnel an eighty (80) hour workweek in a fourteen (14) day period and other mutually agreed upon schedules that comply with applicable federal and state law. Employee work schedules normally include two (2) consecutive days off.

  • OGS Centralized Contract Modifications OGS, an Authorized User, or the Contractor may suggest modifications to the Centralized Contract or its Appendices. Except as specifically provided herein, modifications to the terms and conditions set forth herein may only be made with mutual written agreement of the Parties. Modifications may take the form of an update or an amendment. “

  • Alternate Work Schedule An alternate work schedule is any work schedule where an employee is regularly scheduled to work five (5) days per week, but the employee’s regularly scheduled two (2) days off are NOT Saturday and Sunday.

  • Power Factor Design Criteria Developer shall design the Large Generating Facility to maintain an effective power delivery at demonstrated maximum net capability at the Point of Interconnection at a power factor within the range established by the Connecting Transmission Owner on a comparable basis, until NYISO has established different requirements that apply to all generators in the New York Control Area on a comparable basis. The Developer shall design and maintain the plant auxiliary systems to operate safely throughout the entire real and reactive power design range. The Connecting Transmission Owner shall not unreasonably restrict or condition the reactive power production or absorption of the Large Generating Facility in accordance with Good Utility Practice.

  • Price Adjustments for OGS Centralized Contracts Periodic price adjustments will occur no more than twice per year on a schedule to be established solely by OGS. Pricing offered shall be fixed for the first twelve (12) months of the Contract term. Such price increases will only apply to the OGS Centralized Contracts and shall not be applied retroactively to Authorized User Agreements or any Mini-bids already submitted to an Authorized User. Price Decreases Price decreases may be made at any time. Additionally, some price decreases shall be calculated in accordance with Appendix B, section 17, Pricing.

  • Maintenance Programme 17.4.1 On or before COD and no later than 45 (forty five) days prior to the beginning of each Accounting Year during the Operation Period, as the case may be, the Concessionaire shall provide to the Authority and the Independent Engineer, its proposed annual programme of preventive, urgent and other scheduled maintenance (the “Maintenance Programme”) to comply with the Maintenance Requirements, Maintenance Manual and Safety Requirements. Such Maintenance Programme shall include:

  • Alternate Traffic Routing If CLEC has a LIS arrangement which provides two (2) paths to a Qwest End Office Switch (one (1) route via a Tandem Switch and one (1) direct route), CLEC may elect to utilize alternate traffic routing. CLEC traffic will be offered first to the direct trunk group (also referred to as the "primary high" route) and then overflow to the Tandem Switch group (also referred to as the "alternate final" route) for completion to Qwest End Office Switches.

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