Execution of Statements Sample Clauses

Execution of Statements. The function X (Fig. 7) recursively executes all statements of the program counter σ.pc, and collects the results. Execution of a SECA program starts in a program state that contains the body of the main function as program counter. The function S (Fig. 8) executes a single statement in a given program state, and returns all possible successor program states.
AutoNDA by SimpleDocs

Related to Execution of Statements

  • DESTRUCTION OF STATE DATA At any time during the term of this Contract within thirty days of

  • Security of State Information To the extent Contractor shall have access to, processes, handles, collects, transmits, stores or otherwise deals with State Data, the Contractor represents and warrants that it has implemented and it shall maintain during the term of this Master Agreement the highest industry standard administrative, technical, and physical safeguards and controls consistent with NIST Special Publication 800-53 (version 4 or higher) and Federal Information Processing Standards Publication 200 and designed to (i) ensure the security and confidentiality of State Data; (ii) protect against any anticipated security threats or hazards to the security or integrity of the State Data; and (iii) protect against unauthorized access to or use of State Data. Such measures shall include at a minimum: (1) access controls on information systems, including controls to authenticate and permit access to State Data only to authorized individuals and controls to prevent the Contractor employees from providing State Data to unauthorized individuals who may seek to obtain this information (whether through fraudulent means or otherwise); (2) industry-standard firewall protection; (3) encryption of electronic State Data while in transit from the Contractor networks to external networks; (4) measures to store in a secure fashion all State Data which shall include multiple levels of authentication; (5) dual control procedures, segregation of duties, and pre-employment criminal background checks for employees with responsibilities for or access to State Data; (6) measures to ensure that the State Data shall not be altered or corrupted without the prior written consent of the State; (7) measures to protect against destruction, loss or damage of State Data due to potential environmental hazards, such as fire and water damage; (8) staff training to implement the information security measures; and (9) monitoring of the security of any portions of the Contractor systems that are used in the provision of the services against intrusion on a twenty-four (24) hour a day basis.

  • Summary of State Ethics Laws Pursuant to the requirements of section 1-101qq of the Connecticut General Statutes, the summary of State ethics laws developed by the State Ethics Commission pursuant to section 1-81b of the Connecticut General Statutes is incorporated by reference into and made a part of the Contract as if the summary had been fully set forth in the Contract.

  • Execution of Other Documents The parties shall cooperate fully in the execution of any other documents and in the completion of any other acts that may be necessary or appropriate to give full force and effect to this Agreement.

  • Secretary of State The Secretary of State of the State of Delaware.

  • Out-of-State Travel Costs for travel outside Texas or the United States are unallowable unless a Request to Use TJJD Funds to Attend Out-of-State Training [TJJD-CER-01-11] has been submitted by the Grantee and prior written approval of the trip and projected costs for such travel has been granted by the Department.

  • Provision of Statistics The aeronautical authorities of each Contracting Party shall, on request, provide such periodic or other statements of statistics as may be reasonably required for the purpose of reviewing the capacity provided on the agreed services by the designated airlines of that Contracting Party to the aeronautical authorities of the other Contracting Party. Such statements shall include all information required to determine the amount of traffic carried by those airlines on the agreed services and the origins and destinations of such traffic.

  • Incorporation Of Other Documents All portions of the Tariff and the Operating Agreement pertinent to the subject matter of this ISA and not otherwise made a part hereof are hereby incorporated herein and made a part hereof.

  • Incorporation of Schedules The Schedules identified in this Agreement are incorporated herein by reference and made a part hereof.

  • Certification Regarding Use of State Funds If Party is an employer and this Agreement is a State-funded grant in excess of $1,001, Party certifies that none of these State funds will be used to interfere with or restrain the exercise of Party’s employee’s rights with respect to unionization.

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