De nition Clause Samples

De nition. 9 Protocol is a secure authenticated key exchange with a LW-key generator W() if the following statements are true:
View SourceView Similar (2)
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.
View Source
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
View Source
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:
View Source
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. Figure 5.3.1: The FlowNode and its related entities in BPMN 2 EMF meta-model The select command in the rule collects the processes from the list of elements nested within the rootElements attribute of the de nition. RootElement is an abstract type with Process as one of its subtypes. The select command applied on rootElement guarantees that not any other subtype but process will go through this assignment. The function oclIsKindOf returns true, if it is invoked from either an instance of the passed type or an instance of one of its subtypes. Similarly, the function oclIsTypeOf returns true, if the element to which it is applied is an instance of the passed type.
View Source

Related to De nition

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

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

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

  • Use of Verizon Telecommunications Services 2.1 Verizon Telecommunications Services may be purchased by PNG under this Resale Attachment only for the purpose of resale by PNG as a Telecommunications Carrier. Verizon Telecommunications Services to be purchased by PNG for other purposes (including, but not limited to, PNG’s own use) must be purchased by PNG pursuant to other applicable Attachments to this Agreement (if any), or separate written agreements, including, but not limited to, applicable Verizon Tariffs. 2.2 PNG shall not resell: 2.2.1 Residential service to persons not eligible to subscribe to such service from Verizon (including, but not limited to, business or other nonresidential Customers); 2.2.2 Lifeline, Link Up America, or other means-tested service offerings, to persons not eligible to subscribe to such service offerings from Verizon; 2.2.3 Grandfathered or discontinued service offerings to persons not eligible to subscribe to such service offerings from Verizon; or 2.2.4 Any other Verizon service in violation of a restriction stated in this Agreement (including, but not limited to, a Verizon Tariff) that is not prohibited by Applicable Law. 2.2.5 In addition to any other actions taken by PNG to comply with this Section 2.2, PNG shall take those actions required by Applicable Law to determine the eligibility of PNG Customers to purchase a service, including, but not limited to, obtaining any proof or certification of eligibility to purchase Lifeline, Link Up America, or other means-tested services, required by Applicable Law. PNG shall indemnify Verizon from any Claims resulting from PNG’s failure to take such actions required by Applicable Law. 2.2.6 Verizon may perform audits to confirm PNG’s conformity to the provisions of this Section 2.2. Such audits may be performed twice per calendar year and shall be performed in accordance with Section 7 of the General Terms and Conditions. 2.3 PNG shall be subject to the same limitations that Verizon’s Customers are subject to with respect to any Telecommunications Service that Verizon grandfathers or discontinues offering. Without limiting the foregoing, except to the extent that Verizon follows a different practice for Verizon Customers in regard to a grandfathered Telecommunications Service, such grandfathered Telecommunications Service: (a) shall be available only to a Customer that already has such Telecommunications Service; (b) may not be moved to a new service location; and (c) will be furnished only to the extent that facilities continue to be available to provide such Telecommunications Service. 2.4 PNG shall not be eligible to participate in any Verizon plan or program under which Verizon Customers may obtain products or services, which are not Verizon Telecommunications Services, in return for trying, agreeing to purchase, purchasing, or using Verizon Telecommunications Services. 2.5 In accordance with 47 CFR § 51.617(b), Verizon shall be entitled to all charges for Verizon Exchange Access services used by interexchange carriers to provide service to PNG Customers.