OPERATION MODES Sample Clauses

OPERATION MODES. The test method includes the following steps:
AutoNDA by SimpleDocs
OPERATION MODES a. Automatic Mode [*]
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: ' '
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
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

Related to OPERATION MODES

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

  • 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.

  • 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.

  • Continuity of Operations (1) Engage in any business activities substantially different than those in which Borrower is presently engaged, (2) cease operations, liquidate, merge, transfer, acquire or consolidate with any other entity, change its name, dissolve or transfer or sell Collateral out of the ordinary course of business, or (3) pay any dividends on Borrower's stock (other than dividends payable in its stock), provided, however that notwithstanding the foregoing, but only so long as no Event of Default has occurred and is continuing or would result from the payment of dividends, if Borrower is a "Subchapter S Corporation" (as defined in the Internal Revenue Code of 1986, as amended), Borrower may pay cash dividends on its stock to its shareholders from time to time in amounts necessary to enable the shareholders to pay income taxes and make estimated income tax payments to satisfy their liabilities under federal and state law which arise solely from their status as Shareholders of a Subchapter S Corporation because of their ownership of shares of Borrower's stock, or purchase or retire any of Borrower's outstanding shares or alter or amend Borrower's capital structure.

  • Ongoing Operations From the Effective Date through Closing:

  • Performance Tests Contractor shall perform Performance Tests in accordance with Section 11.2 of the Agreement and Attachment S.

  • Interim Operations (a) The Company covenants and agrees as to itself and its Subsidiaries that, from and after the execution of this Agreement and prior to the Effective Time (unless Parent shall otherwise approve in writing, which approval shall not be unreasonably withheld, conditioned or delayed, and except as (1) required by applicable Law, (2) expressly required by this Agreement or (3) otherwise expressly disclosed in Section 6.1(a) of the Company Disclosure Letter), the Company shall use its reasonable best efforts to conduct its business and the business of its Subsidiaries in the ordinary course of business consistent with past practice and each of the Company and its Subsidiaries shall, subject to compliance with the specific matters set forth below, use reasonable best efforts to preserve its business organization intact and maintain the existing relations and goodwill with Governmental Entities, customers, suppliers, distributors, licensors, creditors, lessors, employees and business associates and others having material business dealings with it and keep available the services of the Company and its Subsidiaries’ present employees and agents. Without limiting the generality of, and in furtherance of, the foregoing, the Company covenants and agrees as to itself and its Subsidiaries that, from and after the date of this Agreement and prior to the Effective Time, except (A) as required by applicable Law, (B) as Parent may approve in writing (such approval not to be unreasonably withheld, conditioned or delayed), (C) as expressly disclosed in Section 6.1(a) of the Company Disclosure Letter or (D) as expressly provided for in this Agreement, the Company shall not and will not permit any of its Subsidiaries to:

  • Reverse Engineering The Customer must not reverse assemble or reverse compile or directly or indirectly allow or cause a third party to reverse assemble or reverse compile the whole or any part of the software or any products supplied as a part of the Licensed System.

  • Business Continuity Registry Operator shall maintain a business continuity plan, which will provide for the maintenance of Registry Services in the event of an extraordinary event beyond the control of the Registry Operator or business failure of Registry Operator, and may include the designation of a Registry Services continuity provider. If such plan includes the designation of a Registry Services continuity provider, Registry Operator shall provide the name and contact information for such Registry Services continuity provider to ICANN. In the case of an extraordinary event beyond the control of the Registry Operator where the Registry Operator cannot be contacted, Registry Operator consents that ICANN may contact the designated Registry Services continuity provider, if one exists. Registry Operator shall conduct Registry Services Continuity testing at least once per year.

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