Trace Models Sample Clauses

Trace Models. ‌ In this section we describe three trace models: positive reals, sequences, and timed traces. Other models are possible; for example, we can further extend timed traces to “super- dense time” [35] to encompass multiple distinguished discrete state updates at a time instant. We leave study of other models as future work. Positive real numbers R≥0 form one of the simplest models of the trace algebra. Theorem 3.3. (R≥0, +, 0) is a trace algebra. ≥
AutoNDA by SimpleDocs

Related to Trace Models

  • For Product Development Projects and Project Demonstrations  Published documents, including date, title, and periodical name.  Estimated or actual energy and cost savings, and estimated statewide energy savings once market potential has been realized. Identify all assumptions used in the estimates.  Greenhouse gas and criteria emissions reductions.  Other non-energy benefits such as reliability, public safety, lower operational cost, environmental improvement, indoor environmental quality, and societal benefits.  Data on potential job creation, market potential, economic development, and increased state revenue as a result of the project.  A discussion of project product downloads from websites, and publications in technical journals.  A comparison of project expectations and performance. Discuss whether the goals and objectives of the Agreement have been met and what improvements are needed, if any.

  • Models The Purchaser acknowledges that the model homes, if any, are for display purposes only, and that some or all of the features contained therein may not be included in the Dwelling unless same is specifically provided for in any schedule forming part of this Agreement. The Purchaser acknowledges and accepts that the Vendor will be maintaining the model home or homes or sales offices and all advertising signs associated therewith for sale purposes until all homes in this subdivision and/or the adjacent subdivisions built by the Vendor or its affiliated corporations have been constructed, sold and occupied. The Purchaser acknowledges that the lot dimensions illustrated on the proposed plan of subdivision (if not registered) are approximate and may be varied in accordance with the requirements of the Vendor or the Municipality. The Purchaser further acknowledges that the lot dimensions illustrated on various plans, brochures or other marketing materials displayed in the sales office or elsewhere are approximate and it is suggested that the Purchaser refer to the actual dimensions of the subject lot as noted on the proposed plan of subdivision subject to the foregoing. The Purchaser acknowledges that if the Property being purchased herein has been used by the Vendor as a model home or inventory to the Vendor, then there will be wear and tear in the Property which the Purchaser accepts and the Purchaser acknowledges that he/she is purchasing this Property on an “as is” basis including without limiting the generality thereof existing nicks, dents, scratches, scuff marks on all hardwood areas, stairs, pickets, xxxxxxxx, risers, treads, all trim work doors, jambs, baseboards/casings, wear and tear on carpet, existing paint touch-up blemishes, existing chips and scratches on ceramics and grout areas, wear and tear and scuff marks on all counters and tubs and agrees that the Vendor shall not be responsible either directly or indirectly (including by way of claim pursuant to the legislation relating to the Tarion warranties) to clean, repair or replace any part of the Property including wall covering, carpeting, vinyl/ceramic/hardwood flooring, cabinetry, window treatments, trees, shrubs or other planting materials, interlocking walkways and/or slab walkways, or any other features or extras on the Property either before or after closing unless specifically set out in this Agreement of Purchase and Sale. The Purchaser acknowledges that the life time line of the exterior brick work, shingles, windows and doors seals commenced at the time the model home was built and the Builder’s warranties have expired and the Builder’s warranties on the air conditioner and humidifier ( Mechanical Units) have expired and agrees that the Vendor shall not be responsible either directly or indirectly (including by way of claim pursuant to the legislation relating to the Tarion warranties) for any warranty claim for same. All appliances, including but not limited to the air conditioner and humidifiers (Mechanical Units), and fixtures included in the purchase price are purchased in an “as is” condition.

  • Software Components At any time during the contract period of performance, the Government may require the Contractor to remedy any failure of the software to comply with the requirements of this contract. Support shall consist of correction of errors, provision of modifications, improvements, and other products the original manufacturer makes available to the Government without charge. The Government shall also be provided full documentation of changes and/or modifications to the software provided to meet the Government's requirements.

  • Program Components Activities and services delivered under this Program Element align with Foundational Programs and Foundational Capabilities, as defined in Oregon’s Public Health Modernization Manual, (xxxx://xxx.xxxxxx.xxx/oha/PH/ABOUT/TASKFORCE/Documents/public_health_modernization_man ual.pdf) as well as with public health accountability outcome and process metrics (if applicable) as follows:

  • COMMERCIAL COMPUTER SOFTWARE If performance involves acquisition of existing computer software, the following Company Exhibit is incorporated by reference: CCS Commercial Computer Software License (Company – July 2010).

  • Embedded Software To the extent any goods contain Embedded Software (defined below) that is not Buyer’s Property, no title to such Embedded Software shall pass to Buyer, and Supplier shall grant Buyer, its customers and all other users a non-exclusive worldwide, irrevocable, perpetual, royalty-free right to use, load, install, execute, demonstrate, market, test, resell, sublicense and distribute such Embedded Software as an integral part of such goods or for servicing the goods (the “Buyer-Required License”). If such Embedded Software or any part thereof is owned by a third party, prior to delivery, Supplier shall obtain the Buyer-Required License from such third-party owner. “Embedded Software” means software necessary for operation of goods and embedded in and delivered as an integral part of goods.

  • Licensed Software Computer program(s) provided by Contractor in connection with the Deliverables, subject to Section 14 of this Contract.

  • COMPUTER SOFTWARE The Grantee certifies that it has appropriate systems and controls in place to ensure that state funds will not be used in the performance of this Grant Agreement for the acquisition, operation, or maintenance of computer software in violation of copyright laws.

  • Contract Database Metadata Elements Title: Whitesville Central School District and Whitesville Central School Educational Support Staff Association (2003) Employer Name: Whitesville Central School District Union: Whitesville Central School Educational Support Staff Association Local: Effective Date: 07/01/2003 Expiration Date: 06/30/2006 PERB ID Number: 10699 Unit Size: Number of Pages: 23 For additional research information and assistance, please visit the Research page of the Catherwood website - xxxx://xxx.xxx.xxxxxxx.xxx/library/research/ For additional information on the ILR School - xxxx://xxx.xxx.xxxxxxx.xxx/ AGREEMENT BETWEEN WHITESVILLE CENTRAL SCHOOL EDUCATIONAL SUPPORT STAFF ASSOCIATION AND THE WHITESVILLE CENTRAL SCHOOL DISTRICT JULY 1, 2003 THROUGH JUNE 30, 2006 TABLE OF CONTENTS ARTICLE TITLE PAGE Preamble 1 I Recognition 1 II Collective Bargaining U n i t 1 III Dues/Agency Fee Ckoffand Payroll Deduction 1 IV Rights of Employees 2 V Rights of Employer ------------- 2 VI Personnel F i l e 2 VII Employee Definitions 3 VIII Permanent Status/Seniority 4 IX Wages 5 X Overtime 7 XI Vacation 7 XII Holidays 8 XIII Sick Leave and Leavesof A b s e n c e 8 XIV Conference, Workshops,Required Courses 10 XV Meal Allowance and M i l e a g e 11 XVI Retirement 11 XVII Insurance 12 XVIII Cafeteria P l a n 14 .XIX Uniform Allowance------------------ 14 XX Hours of W o r k 14 XXI Transfers/Promotions 15 XXII Job Descriptions 15 XXIII Grievance Procedure 15 XIV Copies of the Contract 18 XV Zipper C x x x x x 18 XXVI Legislative Clause 18 XXVII Duration 19 SIGNATURES 19 APPENDIX A Grievance F o r m 20 APPENDIX B Dues Authorization F o r m 21

  • Processes Any employer, employee, trade union or employer’s association may at any point in time apply for an exemption from any of the provisions of this Collective Agreement. The applicant is required to complete and submit in writing with the relevant office of the Council, a fully and properly completed prescribed application for exemption form, accompanied by all relevant supporting documentation.

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