Flow/Machine Consistency Sample Clauses

Flow/Machine Consistency. The minimal requirement to a given pair of a flow and machine is that the two agree on deadlocks and divergences. To account for partial flows it is required to consider a situation when only a part of a machine traces is specified by a flow. A flow trace starting with rstart and eventually reaching stop would match a complete machine trace if it matches any trace at all. ∃ · ∈ ∧ ∈
AutoNDA by SimpleDocs

Related to Flow/Machine Consistency

  • Contract Consistency With Other Laws The contract shall govern if State and local environmental quality laws conflict with or preclude performance of contractual requirements.

  • Data Usage We may use Data for the following purposes (in each case to the extent permitted by law):

  • Network Elements and Other Services Manual Additive 2.13.5.1 The Commissions in some states have ordered per-element manual additive non- recurring charges (NRC) for Network Elements and Other Services ordered by means other than one of the interactive interfaces. These ordered Network Elements and Other Services manual additive NRCs will apply in these states, rather than the charge per LSR. The per-element charges are listed on the Rate Tables in Exhibit C.

  • Therapist Availability Therapist’s office is equipped with a confidential voice mail system that allows Patient to leave a message at any time. Therapist will make every effort to return calls within 24 hours (or by the next business day), but cannot guarantee the calls will be returned immediately. Therapist is unable to provide 24-hour crisis service. In the event that Patient is feeling unsafe or requires immediate medical or psychiatric assistance, he/she should call 911, or go to the nearest emergency room.

  • wire Unbundled ISDN Digital Loops These will be provisioned according to industry standards for 2-Wire Basic Rate ISDN services and will come standard with a test point, OC, and a DLR. NewPhone will be responsible for providing BellSouth with a Service Profile Identifier (SPID) associated with a particular ISDN-capable Loop and customer. With the SPID, BellSouth will be able to adequately test the circuit and ensure that it properly supports ISDN service.

  • APPENDIX 1 TO THE STANDARD CONTRACTUAL CLAUSES Data exporter The data exporter is the entity identified as “Customer” in the DPA Data importer The data importer is Amazon Web Services, Inc., a provider of web services. Data subjects Data subjects are defined in Section 1.3 of the DPA. Categories of data The personal data is defined in Section 1.3 of the DPA.

  • Equipment Usage The equipment must remain in use for the specific project for which it was obtained in accordance with 2 CFR § 200.313(c)(1), unless the provision in 2 CFR § 200.313(c)(4) applies.

  • -wire Unbundled Digital/DS0 Loop These are designed 4-wire Loops that may be configured as 64kbps, 56kbps, 19kbps, and other sub-rate speeds associated with digital data services and will come standard with a test point, OC, and a DLR.

  • APPENDIX 2 TO THE STANDARD CONTRACTUAL CLAUSES This Appendix forms part of the Clauses and must be completed by the parties. Description of the technical and organisational security measures implemented by the data importer in accordance with Clauses 4(d) and 5(c) (or document/legislation attached):

  • Local Switch Usage 109.11.7.1 QPP™ Residential and Business (Per MOU) $0.00

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