Operation Modes and Event-B Co-refinement Sample Clauses

Operation Modes and Event-B Co-refinement. The cornerstone of the Event-B development method is a gradual, refinement-based, model detailing. To refine model M one constructs a new model M j such that at a certain level of observation new model is at least as good as the old one. Formally, this is demonstrated by constructing a refinement mapping between M j and M that would show that for any j j j ∀e · (e ∈ Ek ∧ I(c, s, v) ∧ He(c, s, v) ∧ Se(c, s, v, v ) ⇒ Ai(v) ∧ Aj (v ))
AutoNDA by SimpleDocs

Related to Operation Modes and Event-B Co-refinement

  • Access Toll Connecting Trunk Group Architecture 9.2.1 If CBB chooses to subtend a Verizon access Tandem, CBB’s NPA/NXX must be assigned by CBB to subtend the same Verizon access Tandem that a Verizon NPA/NXX serving the same Rate Center Area subtends as identified in the LERG.

  • Verizon OSS Facilities Any gateways, interfaces, databases, facilities, equipment, software, or systems, used by Verizon to provide Verizon OSS Services to CBB.

  • Provisioning of High Frequency Spectrum and Splitter Space 3.2.1 BellSouth will provide <<customer_name>> with access to the High Frequency Spectrum as follows:

  • Commingling of Resold Services with Unbundled Network Elements and Combinations of Unbundled Network Elements 6.7.1 To the extent it is Technically Feasible and pursuant to the terms of Section 9.1, CLEC may Commingle Telecommunications Services purchased on a resale basis with an Unbundled Network Element or combination of Unbundled Network Elements.

  • CONTRACTING BODY SATISFACTION MONITORING 18.1 The Authority may from time to time undertake (or procure the undertaking of) a Contracting Body satisfaction survey ("Contracting Body Satisfaction Survey") the purpose of which shall include:

  • Environmentally Preferable Procurement Policy The Environmentally Preferable Procurement Policy, along with a brief policy description, is located on the City’s website at the following link: xxxx://xxx.xxxxxxxxx.xxx/esd/natural-energy-resources/epp.htm. Environmental procurement policies and activities related to the completion of any Work will include, whenever practicable, but are not limited to:  The use of recycled and/or recyclable products in daily operations (i.e. 30%, 50%, 100% PCW paper, chlorine process free, triclosan free hand cleaner, etc.);  The use of energy-star compliant equipment;  The use of alternative fuel and hybrid vehicles, and implementation of protocols aimed at increasing the efficiency of vehicle operation;  The implementation of internal waste reduction and reuse protocol(s); and  Water and resource conservation activities within facilities, including bans on individual serving bottled water and the use of compostable food service products.

  • Utilization Scale STATE shall scale logs or portions of logs that are broken, wasted, or not removed by PURCHASER due to: (1) improper felling or bucking of the logs; (2) failure to remove the logs prior to deterioration; and (3) logs remaining on the timber sale area after completion of logging, provided the logs were merchantable prior to breakage or wastage. Material used to meet down material requirements in the section titled, "Reserved Timber," shall not be considered for utilization scale. PURCHASER shall pay for the logs at the contract price designated in Section 44. STATE shall notify PURCHASER of the volume of logs so scaled. Payment shall be considered due on such volume as if the logs were removed on the date of said notification. In the event PURCHASER disagrees with the findings made by STATE under this section, PURCHASER may furnish scaling by a third-party scaling organization acceptable to STATE. Costs and expenses of such third party shall be paid for by PURCHASER, and the findings of the third party shall be final.

  • Joint Network Implementation and Grooming Process Upon request of either Party, the Parties shall jointly develop an implementation and grooming process (the “Joint Grooming Process” or “Joint Process”) which may define and detail, inter alia:

  • Alternative Interconnection Arrangements 3.1 In addition to the foregoing methods of Interconnection, and subject to mutual agreement of the Parties, the Parties may agree to establish an End Point Fiber Meet arrangement, which may include a SONET backbone with an optical interface at the OC-n level in accordance with the terms of this Section. The Fiber Distribution Frame at the Reconex location shall be designated as the POI for both Parties.

  • Infrastructure (a) The Borrower has and will maintain a sufficient infrastructure to conduct its business as presently conducted and as contemplated to be conducted following its execution of this Agreement.

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