Ordering Oracles Sample Clauses

Ordering Oracles. Every process has access to an ordering oracle, defined by properties relating queries to out- puts. Queries to an oracle are requests to broadcast messages, and outputs of an oracle are messages (that were ask to broadcast by an oracle). More formally, an oracle is a set of oracle histories that satisfy properties relating queries to outputs [4].3 We introduce the Weak Atomic Broadcast oracle, defined by queries of the type W-ABroadcast(r, m), and outputs of the type W-ADeliver(r, m), where r is an integer and m is a message. The parameter r groups queries and outputs, i.e., it relates different queries and outputs with the same r value. A Weak Atomic Broadcast oracle satisfies an ordering property (defined below) and the following two properties:
AutoNDA by SimpleDocs
Ordering Oracles. Every process has access to an ordering oracle, defined by properties relat- ing queries to outputs. Queries to an oracle are requests to broadcast mes- sages, and outputs of an oracle are messages (that the oracle had to broadcast). More formally, an oracle is a set of oracle histories that satisfy properties re- lating queries to outputs [2].3 We introduce the Weak Atomic Broadcast oracle,

Related to Ordering Oracles

  • Ordering 7.4.1 When ordering LIS, the ordering Party shall specify requirements on the Access Service Request (ASR): 1) the type and number of Interconnection facilities to terminate at the Point of Interconnection in the Serving Wire Center; 2) the type of interoffice transport, (i.e., direct trunked transport or tandem switched transport); 3) the number of Ports to be provisioned at an End Office Switch or local Tandem Switch; and 4) any optional features. When the ordering Party requests facilities, routing, or optional features different than those determined to be available, the Parties will work cooperatively in determining an acceptable configuration, based on available facilities, equipment and routing plans.

  • Ordering Process 6.4.1 CLEC, or CLEC's agent, shall act as the single point of contact for its End User Customers' service needs, including without limitation, sales, service design, order taking, Provisioning, change orders, training, maintenance, trouble reports, repair, post-sale servicing, Billing, collection and inquiry. CLEC's End User Customers contacting Qwest in error will be instructed to contact CLEC; and Qwest's End User Customers contacting CLEC in error will be instructed to contact Qwest. In responding to calls, neither Party shall make disparaging remarks about each other. To the extent the correct provider can be determined, misdirected calls received by either Party will be referred to the proper provider of local Exchange Service; however, nothing in this Agreement shall be deemed to prohibit Qwest or CLEC from discussing its products and services with CLEC's or Qwest's End User Customers who call the other Party seeking such information.

  • Pre-Ordering BellSouth will provide electronic access to its OSS and the information contained therein in order that Freedom can perform the following pre-ordering functions: service address validation, telephone number selection, service and feature availability, due date information, customer record information and loop makeup information. Mechanized access is provided by electronic interfaces whose specifications for access and use are set forth at BellSouth’s Interconnection Web site and are incorporated herein by reference. The process by which BellSouth and Freedom will manage these electronic interfaces to include the development and introduction of new interfaces will be governed by the change Version: 4Q04 Resale Agreement 12/14/04 management process as described in Section 2.6 below. Freedom shall provide to BellSouth access to customer record information, including circuit numbers associated with each telephone number where applicable. Freedom shall provide such information within four (4) hours after request via electronic access where available. If electronic access is not available, Freedom shall provide to BellSouth paper copies of customer record information, including circuit numbers associated with each telephone number where applicable. If BellSouth requests the information before noon, the customer record information shall be provided the same day. If BellSouth requests the information after noon, the customer record information shall be provided by noon the following day.

  • ORDERING PROCEDURES 6.1 If the Authority or any Other Contracting Body decides to source the Services through this Services Framework then each Contracting Body shall be entitled at any time, during the Term to place an order for the Services from the Supplier by serving an Order in accordance with Framework Agreement Schedule 5 (Ordering Procedure).

  • Ordering Services 5.1 The Employer may order any of the Training Services by making a request (‘a Request for Services’) to the Training Provider pursuant to this clause 5.

  • ORDERING PROCEDURE Orders placed against this contract may be in the form of an agency issued purchase order on an as-required basis. Or an agency may also use the Arkansas State Purchasing Card (P- Card) to purchase furniture.

  • METHOD OF ORDERING The County shall issue Delivery Orders against the contract on an as needed basis for the goods or services listed on the Bid Response Form.

  • Ordering Guidelines and Processes 1.14.1 For information regarding Ordering Guidelines and Processes for various Network Elements, Combinations and Other Services, TWTC should refer to the “Guides” section of the AT&T Interconnection Web site. TWTC will be notified of any material changes to such “Guides”.

  • Ordering of Other UNE Services 2.9.4.1 All LSRs issued for reserved facilities shall reference the facility reservation number as provided by BellSouth. Choice Telephone Company will not be billed any additional LMU charges for the loop ordered on such LSR. If, however, Choice Telephone Company does not reserve facilities upon an initial LMUSI, Choice Telephone Company’s placement of an order for an advanced data service type facility will incur the appropriate billing charges to include service inquiry and reservation per Exhibit B of this Attachment.

  • Subcontracting for Medicaid Services Notwithstanding any permitted subcontracting of services to be performed under this Agreement, Party shall remain responsible for ensuring that this Agreement is fully performed according to its terms, that subcontractor remains in compliance with the terms hereof, and that subcontractor complies with all state and federal laws and regulations relating to the Medicaid program in Vermont. Subcontracts, and any service provider agreements entered into by Party in connection with the performance of this Agreement, must clearly specify in writing the responsibilities of the subcontractor or other service provider and Party must retain the authority to revoke its subcontract or service provider agreement or to impose other sanctions if the performance of the subcontractor or service provider is inadequate or if its performance deviates from any requirement of this Agreement. Party shall make available on request all contracts, subcontracts and service provider agreements between the Party, subcontractors and other service providers to the Agency of Human Services and any of its departments as well as to the Center for Medicare and Medicaid Services.

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