MODE REFINEMENT Sample Clauses

MODE REFINEMENT. Refinement is formal technique for transitioning from an ab- stract model to a concrete one [9]. Terms abstract and concrete are relative here: a concrete model of one step is another’s step abstract model. There are a number of benefits in apply refinement in model construction: it combats complexity by splitting design process into a number of simple steps; it helps to organise the process of modelling by allowing a modeller to focus on one aspect of a model a time; it makes proofs easier as for each refinement one only has to proof the correctness of new behaviour2.
AutoNDA by SimpleDocs

Related to MODE REFINEMENT

  • FABRICATION Making up data or results and recording or reporting them.

  • Firefighters Any truck with an inoperative aerial ladder shall be regularly and routinely staffed with one (1) officer and five (5) firefighters for the period of time that the aerial ladder is inoperative, or until such time as the truck with the inoperative aerial ladder is replaced with a truck with an operative aerial ladder. At 0800 and 2000 hours, all trucks shall be staffed with one (1) officer and four (4) firefighters, and any truck with an inoperative aerial ladder shall be staffed with one (1) officer and five (5) firefighters.

  • Plant The expression ‘Plant’ as used in the tender papers shall mean every temporary accessory necessary or considered necessary by the Engineer to execute, construct, complete and maintain the work and all altered, modified, substituted and additional works ordered in the time and the manner herein provided and all temporary materials and special and other articles and appliance of every sort kind and description whatsoever intended or used therefore.

  • Staging In addition to the staging categories listed in paragraph 1 of Annex 2-A, this Schedule contains staging categories 20-A, 20-B, PR-1 and PR-130:

  • CURVE WIDENING The minimum widening placed on the inside of curves is:  6 feet for curves of 50 to 79 feet radius.  4 feet for curves of 80 to 100 feet radius.

  • Overbuilds Sprint will not provide non-discriminatory access to FTTH Loop or FTTC Loop on an unbundled basis when Sprint has deployed a FTTH Loop or FTTC Loop parallel to, or in replacement of, an existing loop facility, except that:

  • Infrastructure Vulnerability Scanning Supplier will scan its internal environments (e.g., servers, network devices, etc.) related to Deliverables monthly and external environments related to Deliverables weekly. Supplier will have a defined process to address any findings but will ensure that any high-risk vulnerabilities are addressed within 30 days.

  • Dewatering 4.7.1 Where a part of a site is affected by surface water following a period of rain, thus rendering some areas unsafe for productive work, consistent with the Employer’s obligations under the OH&S Act, all non- trades employees shall assist in ‘dewatering’ their own work site or area if it is so affected. Such work to be paid at single time rates. Productive work will continue in areas not so affected.

  • Flextime (a) For the purpose of this Agreement, flextime means the hours worked by an employee, or group of employees, who are given authority by the Employer to:

  • Storage The ordering agency is responsible for storage if the contractor delivers within the time required and the agency cannot accept delivery.

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