Flow/Machine Consistency Clause Samples

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.

Related to Flow/Machine Consistency

  • Equipment Usage Equipment provided by Sauk County Department of Human Services is the property of Sauk County Department of Human Services. Upon termination of the Contractors employee using the equipment, or termination of the contract between Sauk County DHS and the said Contractor, the equipment must be returned within (5) five working days. If the equipment is damaged or not returned, the Contractor will be held responsible for the replacement cost of the equipment. Sauk County may withhold from future payments the replacement cost of the said equipment or take any other necessary action.

  • 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. 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 inspection 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 if they are the property of the Sellers. 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): Please see Clause 19 The Buyers bunkers are the Charterers property and are to be excluded from the sale. The shall take over the remaining bunkers and unused lubricating oils in storage tanks and sealed drums shall remain the property of the sellers. Vessel’s new managers will pay sellers for these lubricating oils at net contract price as and when they are broached and pay the current net market price (excluding barging expenses) at the port and date of delivery of the Vessel. Payment under this Clause shall be made at the same time and place and in the same currency as the Purchase Price.