Event-B Examples Sample Clauses

Event-B Examples. Some Event-B examples has been deposited at the DEPLOY repository [DEP] with links from the Event-B Wiki [EBa]. The direct URL location is http: //xxxx.xxxxx-x.xxx/xxxxx.xxx/Xxxxx-X_Xxxxxxxx. The list of the cur- rent examples is as follows. D10.1 “Teaching Materials”. • Modelling and Proof of a Tree-structured File System. • Link State Routing Development. • Development of a Network Topology Discovery Algorithm. • MIDAS: A Formally Constructed Virtual Machine. • UML-B Development of an ATM. • Real-time Controller for a Water Tank.
AutoNDA by SimpleDocs

Related to Event-B Examples

  • Loop Provisioning Involving Integrated Digital Loop Carriers 2.6.1 Where Xxxx has requested an Unbundled Loop and BellSouth uses IDLC systems to provide the local service to the End User and BellSouth has a suitable alternate facility available, BellSouth will make such alternative facilities available to Xxxx. If a suitable alternative facility is not available, then to the extent it is technically feasible, BellSouth will implement one of the following alternative arrangements for Xxxx (e.g. hairpinning): 1. Roll the circuit(s) from the IDLC to any spare copper that exists to the customer premises. 2. Roll the circuit(s) from the IDLC to an existing DLC that is not integrated. 3. If capacity exists, provide "side-door" porting through the switch. 4. If capacity exists, provide "Digital Access Cross Connect System (DACS)- door" porting (if the IDLC routes through a DACS prior to integration into the switch). 2.6.2 Arrangements 3 and 4 above require the use of a designed circuit. Therefore, non- designed Loops such as the SL1 voice grade and UCL-ND may not be ordered in these cases. 2.6.3 If no alternate facility is available, and upon request from Xxxx, and if agreed to by both Parties, BellSouth may utilize its Special Construction (SC) process to determine the additional costs required to provision facilities. Xxxx will then have the option of paying the one-time SC rates to place the Loop.

  • Bilingual Differential When formally assigned in the employee’s position description, an employee assigned to interpret to or from another language to English will receive a differential of five percent (5%) of base pay.

  • Product Changes Vocera shall have the right, in its absolute discretion, without liability to End User, to update to provide new functionality or otherwise change the design of any Product or to discontinue the manufacture or sale of any Product. Vocera shall notify End User at least 90 days prior to the delivery of any Product which incorporates a change that adversely affects form, fit or function (“Material Change”). Vocera shall also notify End User at least 90 days prior to the discontinuance of manufacture of any Product. Notification will be made as soon as reasonably practical for changes associated with regulatory or health and safety issues.

  • Default under Specified Transaction The party, any Credit Support Provider of such party or any applicable Specified Entity of such party (1) defaults under a Specified Transaction and, after giving effect to any applicable notice requirement or grace period, there occurs a liquidation of, an acceleration of obligations under, or an early termination of, that Specified Transaction, (2) defaults, after giving effect to any applicable notice requirement or grace period, in making any payment or delivery due on the last payment, delivery or exchange date of, or any payment on early termination of, a Specified Transaction (or such default continues for at least three Local Business Days if there is no applicable notice requirement or grace period) or (3) disaffirms, disclaims, repudiates or rejects, in whole or in part, a Specified Transaction (or such action is taken by any person or entity appointed or empowered to operate it or act on its behalf);

  • Program Changes Contractor agrees to inform the County of any alteration in program or service delivery at least thirty (30) days prior to the implementation of the change, or as soon as reasonably feasible.

  • Performance Adjustment One-twelfth of the annual Performance Adjustment Rate will be applied to the average of the net assets of the Portfolio (computed in the manner set forth in the Fund's Declaration of Trust or other organizational document) determined as of the close of business on each business day throughout the month and the performance period.

  • Mileage Measurement Where required, the mileage measurement for LIS rate elements is determined in the same manner as the mileage measurement for V&H methodology as outlined in NECA Tariff No. 4.

  • Service Level Expectations Without limiting any other requirements of the Agreement, the Service Provider shall meet or exceed the following standards, policies, and guidelines:

  • Rapid Amortization Events If any one of the following events occurs during the Managed Amortization Period: (a) The failure of the Sponsor or the Master Servicer to make any payment or deposit required by the Sale and Servicing Agreement within three Business Days after the payment or deposit was required to be made; (b) The failure of the Sponsor or the Master Servicer to cause the Depositor to observe or perform in any material respect the covenants of the Depositor in Section 2.01(h) or 2.05 of the Sale and Servicing Agreement.; (c) The failure of the Sponsor to observe or perform in any material respect any other covenants of the Sponsor in the Sale and Servicing Agreement that materially and adversely affects the interests of the Noteholders or the Credit Enhancer and that continues unremedied and continues to affect materially and adversely the interests of the Noteholders or the Credit Enhancer for 60 days (five days in the case of any failure to take the action specified in the second sentence of Section 2.01(f) of the Sale and Servicing Agreement or Section 2.04(b)(2) of the Sale and Servicing Agreement) after the date on which written notice of the failure, requiring it to be remedied, shall have been given to the Sponsor by the Indenture Trustee, or to the Sponsor and the Indenture Trustee by the Credit Enhancer or the Holders of not less than 51% of the aggregate Outstanding Amount of both Classes of Notes; (d) Any representation or warranty made by the Sponsor or the Depositor in the Sale and Servicing Agreement proves to have been incorrect in any material respect when made, as a result of which the interests of the Noteholders or the Credit Enhancer are materially and adversely affected and that continues to be incorrect in any material respect and continues to affect materially and adversely the interests of the Noteholders or the Credit Enhancer for 60 days after the date on which notice of the failure, requiring it to be remedied, shall have been given to the Sponsor or the Depositor, as the case may be, by the Indenture Trustee, or to the Sponsor, the Depositor, and the Indenture Trustee by either the Credit Enhancer or the Holders of not less than 51% of the aggregate Outstanding Amount of both Classes. A Rapid Amortization Event pursuant to this subparagraph (d) shall not occur if the Sponsor has accepted retransfer of the related Mortgage Loans or substituted for them during the 60-day period (or such longer period (not to exceed an additional 60 days) as the Indenture Trustee may specify) in accordance with the Sale and Servicing Agreement. (e) An Insolvency Event occurs with respect to the Transferor or the Depositor, but for this purpose the 60-day periods in the definition of Insolvency Event shall be 30 days; (f) The Trust becomes subject to registration as an "investment company" under the Investment Company Act of 1940, as amended; or (g) The aggregate of all draws under the Policy exceeds the percentage of the Original Note Principal Balance of both Classes specified in the Adoption Annex, then, when any event described in subparagraph (a), (b), (c), or (d) occurs, either the Indenture Trustee (with the consent of the Credit Enhancer), the Credit Enhancer, or the Holders of not less than 51% of the aggregate Outstanding Amount of both Classes (with the consent of the Credit Enhancer), by notice given in writing to the Transferor, the Depositor, and the Master Servicer (and to the Indenture Trustee if given by either the Credit Enhancer or the Noteholders) may declare that an early amortization event (a "Rapid Amortization Event") has occurred as of the date of the notice, and in the case of any event described in subparagraph (e), (f), or (g), a Rapid Amortization Event shall occur without any notice or other action on the part of the Indenture Trustee, the Credit Enhancer, or the Noteholders, immediately upon its occurrence.

  • Contract Changes Changes may not be made in the terms and conditions of this contract without the agreement and written permission of the Director of Residence Life or the Director’s designee.

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