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 jstart 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

  • Cross-Collateralization; Adjustments to Available Funds (a) If on each Distribution Date after the date on which the aggregate Class Certificate Balance and Component Principal Balance of the Senior Certificates related to a Loan Group has been reduced to zero, the Trustee shall distribute Available Funds on all the Mortgage Loans assuming there is only one group of Mortgage Loans consisting of all of the Mortgage Loans. (b) If on any Distribution Date the aggregate Class Certificate Balance and Component Principal Balance of the Senior Certificates and related Principal Only Component (after all other distributions are made on such Distribution Date) in a Loan Group is greater than the aggregate Stated Principal Balance of the Mortgage Loans in such Loan Group as of the Due Date in the month of such Distribution Date (after giving effect to Principal Prepayments in the Prepayment Period related to that Due Date) (the "Undercollateralized Group"), then the Trustee shall reduce the Available Funds of the other Loan Group to the extent that it is not undercollateralized (the "Overcollateralized Group"), as follows: (i) to the Senior Certificates of the Undercollateralized Group an amount equal to the lesser of (a) the Accrued Interest Amount and (b) Available Funds of the Overcollateralized Group remaining after making distributions to the Senior Certificates of the Overcollateralized Group on such Distribution Date pursuant to Section 4.02; and (ii) to the Senior Certificates of the Undercollateralized Group, to the extent of the principal portion of the Available Funds of the Overcollateralized Group remaining after making distributions to the Senior Certificates of the Overcollateralized Group on such Distribution Date pursuant to Section 4.02 and the Accrued Interest Amount pursuant to clause (i) above, until the Class Certificate Balance and Component Principal Balance of the Senior Certificate Group of such Undercollateralized Group equals the aggregate Stated Principal Balance of the Mortgage Loans in the related Loan Group as of the Due Date in the month of such Distribution Date (after giving effect to Principal Prepayments in the Prepayment Period related to that Due Date).

  • Wire Unbundled DS1 Digital Loop This is a designed 4-wire Loop that is provisioned according to industry standards for DS1 or Primary Rate ISDN services and will come standard with a test point, OC, and a DLR. A DS1 Loop may be provisioned over a variety of loop transmission technologies including copper, HDSL-based technology or fiber optic transport systems. It will include a 4-Wire DS1 Network Interface at the End User’s location.

  • Catalog Information about Hawthorn University is published in a school catalog that contains a description of certain policies, procedures, and other information about the school. Hawthorn University reserves the right to change any provision of the catalog at any time. Notice of changes will be communicated in a revised catalog, an addendum or supplement to the catalog, or other written format. Students are expected to read and be familiar with the information contained in the school catalog, in any revisions, supplements and addenda to the catalog, and with all school policies. By enrolling in Hawthorn University, the student agrees to abide by the terms stated in the catalog and all school policies.

  • Rubric The rubrics are a scoring tool used for the Educator’s self-assessment, the formative assessment, the formative evaluation and the summative evaluation. The districts may use either the rubrics provided by ESE or comparably rigorous and comprehensive rubrics developed or adopted by the district and reviewed by ESE.

  • Spares/bunkers, etc The Sellers shall deliver the Vessel to the Buyers with everything belonging to her on board and on shore including all Owners’ supply items as per the Shipbuilding Contract. All spare parts and spare equipment including spare tail-end shaft(s) and/or spare propeller(s)/propeller blade(s), if any, belonging to the Vessel at the time of delivery used or unused, whether on board or not shall become the Buyers’ property, but spares on order are to be excluded. Forwarding charges, if any, shall be for the Buyers’ account. The Sellers are not required to replace spare parts including spare tail-end shaft(s) and spare propeller(s)/propeller blade(s) which are taken out of spare and used as replacement prior to delivery, but the replaced items shall be the property of the Buyers. The radio installation and navigational equipment shall be included in the sale without extra payment. Unused stores and provisions shall be included in the sale and be taken over by the Buyers without extra payment. The Sellers have the right to take ashore crockery, plates, cutlery, linen and other articles bearing the Sellers’ flag or name, provided they replace same with similar unmarked items. Library, forms, etc., exclusively for use in the Sellers’ vessel(s), shall be excluded without compensation. Captain’s, Officers’ and Crew’s personal belongings including the slop chest are to be excluded from the sale, as well as the following additional items (including items on hire): The Buyers shall take over the remaining bunkers and unused lubricating oils/greases on board at the time of delivery and pay the Sellers’ net price (excluding barging expenses) from the time of supply. Lubricating oils to be those in sealed drums and/or designated storage tanks not having been used or circulated in the vessel’s machinery. Payment under this Clause shall be made at the same time and place and in the same currency as the Purchase Price.

  • Product Availability Under no circumstances shall Company be responsible to Representative or anyone else for its failure to fill accepted orders, or for its delay in filling accepted orders, when such failure or delay is due to strike, accident, labor trouble, acts of nature, freight embargo, war, civil disturbance, vendor problems or any cause beyond Company's reasonable control.

  • DNS name server availability Refers to the ability of a public-­‐DNS registered “IP address” of a particular name server listed as authoritative for a domain name, to answer DNS queries from an Internet user. All the public DNS-­‐registered “IP address” of all name servers of the domain name being monitored shall be tested individually. If 51% or more of the DNS testing probes get undefined/unanswered results from “DNS tests” to a name server “IP address” during a given time, the name server “IP address” will be considered unavailable.

  • Payment of Debt or Delinquency to the State Pursuant to §§2107.008 and 2252.903, Texas Government Code, Contractor agrees any payments owing to Contractor under this Agreement may be applied directly toward any debt or delinquency Contractor owes the State of Texas or any agency of the State of Texas, regardless of when it arises, until paid in full.

  • EPP service availability Refers to the ability of the TLD EPP servers as a group, to respond to commands from the Registry accredited Registrars, who already have credentials to the servers. The response shall include appropriate data from the Registry System. An EPP command with “EPP command RTT” 5 times higher than the corresponding SLR will be considered as unanswered. If 51% or more of the EPP testing probes see the EPP service as unavailable during a given time, the EPP service will be considered unavailable.

  • Reducing Text Messaging While Driving Pursuant to Executive Order 13513, 74 FR 51225 (Oct. 6, 2009), Recipient should encourage its employees, subrecipients, and contractors to adopt and enforce policies that ban text messaging while driving, and Recipient should establish workplace safety policies to decrease accidents caused by distracted drivers.

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