OPERATION MODES Sample Clauses

OPERATION MODES. The test method includes the following steps:
Sample 1Sample 2Sample 3See All (5)
AutoNDA by SimpleDocs
OPERATION MODES a. Automatic Mode [*]
Sample 1Sample 2
OPERATION MODES. Operation modes help to reason about system behaviour by focusing on the principal system properties observed under different situations. In this approach, a system is seen as a set of modes partitioning the system functionality over differing operating conditions. The term assumption is used to denote the different operating conditions and guarantee denotes the functionality ensured by the system under the corresponding The assumption and guarantee of a mode must be non- contradictory. I.e. a mode should permit a concrete implemen- tation: j j
Sample 1
OPERATION MODES. Operation modes help to reason about system behaviour by focusing on the system properties observed under different situations. In this approach, a system is seen as a set of modes partition- ing the system functionality over differing operating conditions. The term assumption is used to denote the different operating conditions and guarantee denotes the functionality ensured by the system under the corresponding assumption. A system may switch from one mode to another in a number of ways characterised by mode transition. A mode is thus a pair A/G where A(v) is an assumption, a predicate over the current system state, G(v, vr) is the guarantee, a relation over the current and next states of the system. Vector v is the set of variables, characterising a system state and constrained by an invariant I(v). The purpose of an invariant I(v) is to limit the possible states by excluding undesirable or unsafe
Sample 1
OPERATION MODES. Operation modes help to reason about system behaviour by focusing on the system properties observed under different situations. In this approach, a system is seen as a set of modes partition- ing the system functionality over differing operating conditions. The term assumption is used to denote the different operating conditions and guarantee denotes the functionality ensured by the system under the corresponding assumption. A system may switch from one mode to another in a number of ways characterised by mode transition. A mode is thus a pair A/G where A(v) is an assumption, a predicate over the current system state, G(v, vj) is the guarantee, a relation over the current and next states of the system. Vector v is the set of variables, characterising a system state and constrained by an invariant I(v). The purpose of an invariant I(v) is to limit the possible states by excluding undesirable or unsafe
Sample 1

Related to OPERATION MODES

  • Emergency Mode Operation Plan Contractor must establish a documented plan to enable continuation of critical business processes and protection of the security of electronic DHCS PHI or PI in the event of an emergency. Emergency means any circumstance or situation that causes normal computer operations to become unavailable for use in performing the work required under this Agreement for more than 24 hours.

  • Disaster Recovery and Business Continuity The Parties shall comply with the provisions of Schedule 5 (Disaster Recovery and Business Continuity).

  • Processing operations The personal data transferred will be subject to the following basic processing activities:

  • Project Implementation 2. The Borrower shall:

  • Project Implementation Manual The Recipient, through the PCU, shall: (i) take all action required to carry out Parts 1.1, 1.3, 1.4, 2, 3.1(b), 3.2, 3.3 and 4 (ii) of the Project in accordance with the provisions and requirements set forth or referred to in the Project Implementation Manual; (ii) submit recommendations to the Association for its consideration for changes and updates of the Project Implementation Manual as they may become necessary or advisable during Project implementation in order to achieve the objective of Parts 1.1, 1.3, 1.4, 2, 3.1(b), 3.2, 3.3 and 4(ii) of the Project; and (iii) not assign, amend, abrogate or waive the Project Implementation Manual or any of its provisions without the Association’s prior agreement. Notwithstanding the foregoing, if any of the provisions of the Project Implementation Manual is inconsistent with the provisions of this Agreement, the provisions of this Agreement shall prevail and govern.

  • Investment Analysis and Implementation In carrying out its obligations under Section 1 hereof, the Advisor shall:

  • Information Systems Acquisition Development and Maintenance Security of System Files. To protect City Information Processing Systems and system files containing information, Service Provider will ensure that access to source code is restricted to authorized users whose specific job function necessitates such access.

  • Construction Phase Services 3.1.1 – Basic Construction Services

  • Business Operations Company will provide all necessary equipment, personnel and other appurtenances necessary to conduct its operations. Company will conduct its business operations hereunder in a lawful, orderly and proper manner, considering the nature of such operations, so as not to unreasonably annoy, disturb, endanger or be offensive to others on the Airport. Company will provide all services under this Agreement on a fair and reasonable basis to all users of the Airport. Service will be prompt, courteous and efficient.

  • Operations Logs Seller shall maintain a complete and accurate log of all material operations and maintenance information on a daily basis. Such log shall include, but not be limited to, information on power production, fuel consumption, efficiency, availability, maintenance performed, outages, results of inspections, manufacturer recommended services, replacements, electrical characteristics of the generators, control settings or adjustments of equipment and protective devices. Seller shall maintain this information for at least two (2) years and shall provide this information electronically to Buyer within one day of Buyer’s request.

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