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

Related to Component Model

  • Multiple Listing Service (MLS) Due to rules administered by the local Multiple Listing Service (“MLS”), all details of any transaction that are procured by the Agency may be used for publication in the MLS. Seller hereby consents to such publication on an unrestricted basis whereas the Agency must comply with all applicable MLS rules to allow data about the Property to be shown and made available by the MLS in addition to other internet websites. MLS rules generally provide that any property entered into its database be updated within forty-eight (48) hours, or some other period of time, after all necessary signatures have been obtained in regard to the Property. Seller has the right to prohibit any and all publication of information in regard to a transfer of the Property. In order to exercise this right, the Seller is required to authorize a separate addendum provided by the Agency and attach to this Agreement.

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

  • Program Components Activities and services delivered under this Program Element align with Foundational Programs and Foundational Capabilities, as defined in Oregon’s Public Health Modernization Manual, (xxxx://xxx.xxxxxx.xxx/oha/PH/ABOUT/TASKFORCE/Documents/public_health_modernization_man ual.pdf) as well as with public health accountability outcome and process metrics (if applicable) as follows:

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

  • Software Components At any time during the contract period of performance, the Government may require the Contractor to remedy any failure of the software to comply with the requirements of this contract. Support shall consist of correction of errors, provision of modifications, improvements, and other products the original manufacturer makes available to the Government without charge. The Government shall also be provided full documentation of changes and/or modifications to the software provided to meet the Government's requirements.

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

  • Unbundled Voice Xxxx - XX0 (XXX-XX0). Loops are 2-wire loop start circuits, will be non-designed, and will not have remote access test points. OC will be offered as a chargeable option on XX0 Xxxxx when reuse of existing facilities has been requested by NewPhone, however, OC is always required on UCLs that involve the reuse of facilities that are currently providing service. NewPhone may also order OC-TS when a specified conversion time is requested. OC-TS is a chargeable option for any coordinated order and is billed in addition to the OC charge. An Engineering Information (EI) document can be ordered as a chargeable option. The EI document provides Loop Make-Up information which is similar to the information normally provided in a Design Layout Record (DLR). Upon issuance of a non-coordinated order in the service order system, XX0 Xxxxx will be activated on the due date in the same manner and time frames that BellSouth normally activates POTS-type Loops for its customers.

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

  • Additional Service Characteristics 3.12 The technical specification of the Bitstream 2a Service is set out in Appendix B.

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