Modules and interfaces Sample Clauses

Modules and interfaces. Rodin Platform’s modularisation plug-­‐in, described and demonstrated in [RD7], [RD10], [RD11] and [RD14], provides facilities for structuring Event-­‐B developments into logical units of modelling, called modules. The module concept is very close to the notion of classical B imports. However, unlike a conventional development, a module comes with an interface. An interface defines the conditions on how a module may be incorporated into another development (that is, another module). The plug-­‐in follows an approach where an interface is characterised by a list of operations specifying the services provided by the module. An integration of a module into a main development is accomplished by referring operations from Event-­‐B machine actions using an intuitive procedure call notation.
Sample 1
AutoNDA by SimpleDocs

Related to Modules and interfaces

  • Interfaces Bellcore’s GR-446-CORE defines the interface between the administration system and LIDB including specific message formats. (Bellcore’s TR-NWP-000029, Section 10)

  • Technical and Interconnection Requirements 2.1 Consumer agrees that his Rooftop Solar PV System and Net Metering System will conform to the standards and requirements specified in the Policy, Regulations and Supply Code as amended from time to time.

  • Interface A defined set of transmission facilities that separate Load Zones and that separate the NYCA from adjacent Control Areas. Investor-Owned Transmission Owners. A Transmission Owner that is owned by private investors. At the present time these include: Central Xxxxxx Gas & Electric Corporation, Consolidated Edison Company of New York, Inc., New York State Electric & Gas Corporation, Niagara Mohawk Power Corporation, Orange and Rockland Utilities, Inc., and Rochester Gas and Electric Corporation.

  • Network Interconnection Architecture Each Party will plan, design, construct and maintain the facilities within their respective systems as are necessary and proper for the provision of traffic covered by this Agreement. These facilities include but are not limited to, a sufficient number of trunks to the point of interconnection with the tandem company, and sufficient interoffice and interexchange facilities and trunks between its own central offices to adequately handle traffic between all central offices within the service areas at P.01 grade of service or better. The provisioning and engineering of such services and facilities will comply with generally accepted industry methods and practices, and will observe the rules and regulations of the lawfully established tariffs applicable to the services provided.

  • Points of Interconnection and Trunk Types 2.1 Point(s) of Interconnection.

  • Access to Network Interface Device (NID 2.4.3.1. Due to the wide variety of NIDs utilized by BellSouth (based on subscriber size and environmental considerations), Mpower may access the on-premises wiring by any of the following means: BellSouth shall allow Mpower to connect its loops directly to BellSouth’s multi-line residential NID enclosures that have additional space and are not used by BellSouth or any other telecommunications carriers to provide service to the premise. Mpower agrees to install compatible protectors and test jacks and to maintain the protection system and equipment and to indemnify BellSouth pursuant to Section 8 of the General Terms and Conditions of this Agreement.

  • Hardware and Software In order to use the Services, you must obtain and maintain, at your expense, compatible mobile hardware and software as specified by Credit Union from time to time. Credit Union is not responsible for any third party software you may need to use the Services. Any such software is accepted by you as is and is subject to the terms and conditions of the software agreement you enter into directly with the third party software provider at time of download and installation.

  • Voltage Schedules Once the Developer has synchronized the Large Generating Facility with the New York State Transmission System, NYISO shall require Developer to operate the Large Generating Facility to produce or absorb reactive power within the design capability of the Large Generating Facility set forth in Article 9.5.1 (Power Factor Design Criteria). NYISO’s voltage schedules shall treat all sources of reactive power in the New York Control Area in an equitable and not unduly discriminatory manner. NYISO shall exercise Reasonable Efforts to provide Developer with such schedules in accordance with NYISO procedures, and may make changes to such schedules as necessary to maintain the reliability of the New York State Transmission System. Developer shall operate the Large Generating Facility to maintain the specified output voltage or power factor at the Point of Interconnection within the design capability of the Large Generating Facility set forth in Article 9.5.1 (Power Factor Design Criteria) as directed by the Connecting Transmission Owner’s System Operator or the NYISO. If Developer is unable to maintain the specified voltage or power factor, it shall promptly notify NYISO.

  • Flexible Work Schedules (a) Academic Professional staff members throughout the University may have, as indicated below, flexible work schedules. For example, Academic Professionals often travel on University business and/or work evenings and weekends. A flexible work schedule is defined as having established working hours different from the standard 8:00 a.m. to 5:00 p.m. Monday through Friday schedule, to be followed by an employee for an agreed upon period of time.

  • Workstation/Laptop encryption All workstations and laptops that process and/or store DHCS PHI or PI must be encrypted using a FIPS 140-2 certified algorithm which is 128bit or higher, such as Advanced Encryption Standard (AES). The encryption solution must be full disk unless approved by the DHCS Information Security Office.

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