De nition Sample Clauses

De nition. 9 Protocol is a secure authenticated key exchange with a LW-key generator W() if the following statements are true:
AutoNDA by SimpleDocs
De nition. 1 A leveled commitment contract is a tuple hC; i, where C is the underlying full commitment contract and is the set of decommitment penalties. Let AC be the set of agents involved in the contract C. Then will consist of one decommitment penalty for each
De nition. 2 An n-player SR protocol hSh; Reci is (1 )-correct, t-resilient AVSS if the following requirements hold, for every t-adversary. Let the dealer's input for Sh is a value s 2 S for some nite globally known set S. Then:
De nition. 2 does not require a player to recognize a situation where the sharing of a secret has failed. In other words, an uncorrupted player is in one of two \states": either it knows that the sharing has succeeded, or it does not yet know. This characteristic of the de nition, although seemingly unnatural, appears to be essential for our needs. A de nition that requires uncorrupted players to always complete protocol Sh with a success/failure decision is a considerably stronger one. In fact, this stronger de nition trivially implies Byzantine agreement, thus it seems un t for primitives used to construct a Byzantine agreement protocol.
De nition. We map a de nition to a Reo module. The rule in Listing 5.4 carries out this mapping. Similar to all of our mapping rules, it respects the nesting of elements, meaning that the result of mapping an enclosed element is assigned to the mapped parent element. The rule creates a Reo module for the BPMN 2 de nition and triggers rules matching the nested processes. The result of the triggered rules will be assigned to connectors inside the created module.

Related to De nition

  • Allocation and use of scarce resources Any procedures for the allocation and use of scarce resources, including frequencies, numbers and rights of way, will be carried out in an objective, timely, transparent and non-discriminatory manner. The current state of allocated frequency bands will be made publicly available, but detailed identification of frequencies allocated for specific government uses is not required.

  • COMMERCIAL REUSE OF SERVICES The member or user herein agrees not to replicate, duplicate, copy, trade, sell, resell nor exploit for any commercial reason any part, use of, or access to 's sites.

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

  • Modification of the Small Generating Facility The Interconnection Customer must receive written authorization from the NYISO and Connecting Transmission Owner before making any change to the Small Generating Facility that may have a material impact on the safety or reliability of the New York State Transmission System or the Distribution System. Such authorization shall not be unreasonably withheld. Modifications shall be done in accordance with Good Utility Practice. If the Interconnection Customer makes such modification without the prior written authorization of the NYISO and Connecting Transmission Owner, the Connecting Transmission Owner shall have the right to temporarily disconnect the Small Generating Facility. If disconnected, the Small Generating Facility will not be reconnected until the unauthorized modifications are authorized or removed.

  • CONSTRUCTION OF THE BUS TERMINAL 12.1 Obligations prior to commencement of construction Prior to commencement of Construction Works, the Concessionaire shall:

  • Union Activity on Premises and/or Access to Premises The Union agrees that neither it, nor its officers, agents, representatives and members will engage in the solicitation of members, holding of meetings or any other Union activities on Hospital premises or on Hospital time without the prior approval of the Hospital, except as specifically provided for in this Agreement. Such approval will not be unreasonably denied.

  • Firearm and Ammunition Industries (Tex 6 Gov. Code 2274) If (a) Vendor is not a sole proprietorship; (b) Vendor has at least ten (10) full-time employees; and (c) this Agreement or any Supplemental Agreement with certain public entities have a value of at least $100,000 that is paid wholly or partly from public funds; (d) the Agreement is not excepted under Tex. Gov. Code 2274 and (e) the purchasing public entity has determined that Vendor is not a sole-source provider or the purchasing public entity has not received any bids from a company that is able to provide this written verification, the following certification shall apply; otherwise, this certification is not required. Vendor certifies that Vendor, or association, corporation, partnership, joint venture, limited partnership, limited liability partnership, or limited liability company, including a wholly owned subsidiary, majority-owned subsidiary parent company, or affiliate of these entities or associations, that exists to make a profit, does not have a practice, policy, guidance, or directive that discriminates against a firearm entity or firearm trade association and will not discriminate during the term of this contract against a firearm entity or firearm trade association.

  • Ammunition The City will provide an adequate amount of ammunition per month as determined by the Sheriff, for each member of the bargaining unit to practice in order to qualify.

  • System Maintenance The Trust understands that USBFS will perform periodic maintenance to the System(s), which may cause temporary service interruptions. To the extent possible, USBFS shall notify the Trust of all planned outages and will perform any necessary maintenance during non-business hours.

  • Synchronous Generation The Interconnection Customer shall design its Small Generating Facility to maintain a composite power delivery at continuous rated power output at the Point of Interconnection at a power factor within the range of 0.95 leading to 0.95 lagging, unless the NYISO or the Transmission Owner in whose Transmission District the Small Generating Facility interconnects has established different requirements that apply to all similarly situated generators in the New York Control Area or Transmission District (as applicable) on a comparable basis, in accordance with Good Utility Practice.

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