Deployment of ProB at Siemens Sample Clauses

Deployment of ProB at Siemens. In order to evaluate the feasibility of using ProB for checking the topology properties, Siemens sent the STUPS team at the University of Düsseldorf the models for the San Xxxx case study on the 8th of July 2008. There were 23,000 lines of B spread over 79 files, two of which were to be analysed: a simpler model and a hard model. In order to handle the B models sent by Siemens, several improvements on ProB have been realised, in particular the Parser and the Type Inference. Several new data structures are implemented in ProB as well. Such improvements enable ProB being scaled up to Siemens case studies. A complete animation of San Xxxx case study on 8th December 2008 revealed four errors that Siemens had uncovered themselves by manual inspection. Note that the STUPS team were not told about the presence of errors in the models (they were not even hinted at by Siemens), and initially STUPS believed that there was still a bug in ProB. The manual inspection of the properties took Siemens several weeks (about a man month of effort). Checking the properties takes 4.15 seconds, and checking the assertions takes 1017.7 seconds (i.e., roughly 17 minutes) using ProB 1.3.0 on a MacBook Pro with 2.33 GHz Core2 Duo.
AutoNDA by SimpleDocs

Related to Deployment of ProB at Siemens

  • CONTRACTOR California Department of General Services Use Only CONTRACTOR’S NAME (if other than an individual, state whether a corporation, partnership, etc.)   BY (Authorized Signature)  DATE SIGNED (Do not type) PRINTED NAME AND TITLE OF PERSON SIGNING   ADDRESS   STATE OF CALIFORNIA AGENCY NAME   BY (Authorized Signature)  DATE SIGNED (Do not type) PRINTED NAME AND TITLE OF PERSON SIGNING Exempt per:       ADDRESS   Exhibit A Project Summary & Scope of Work

  • DEVELOPMENT OR ASSISTANCE IN DEVELOPMENT OF SPECIFICATIONS REQUIREMENTS/ STATEMENTS OF WORK Firms and/or individuals that assisted in the development or drafting of the specifications, requirements, statements of work, or solicitation documents contained herein are excluded from competing for this solicitation. This shall not be applicable to firms and/or individuals providing responses to a publicly posted Request for Information (RFI) associated with a solicitation.

  • Joint Network Implementation and Grooming Process Upon request of either Party, the Parties shall jointly develop an implementation and grooming process (the “Joint Grooming Process” or “Joint Process”) which may define and detail, inter alia:

  • Psychotherapist-Patient Privilege The information disclosed by Patient, as well as any records created, is subject to the psychotherapist-patient privilege. The psychotherapist-patient privilege results from the special relationship between Therapist and Patient in the eyes of the law. It is akin to the attorney-client privilege or the doctor-patient privilege. Typi- cally, the patient is the holder of the psychotherapist-patient privilege. If Therapist received a subpoena for records, deposition testimony, or testimony in a court of law, Therapist will assert the psychotherapist-patient privilege on Patient’s behalf until instructed, in writing, to do otherwise by Patient or Patient’s representative. Patient should be aware that he/she might be waiving the psychotherapist-patient privilege if he/she makes his/her mental or emotional state an issue in a legal proceeding. Patient should address any concerns he/she might have regarding the psychotherapist-patient privilege with his/her attorney. Fee and Fee Arrangements The usual and customary fee for service is $100.00 per 50-minute session. Sessions longer than 50-minutes are charged for the additional time pro rata. Therapist reserve the right to periodically adjust this fee. Patient will be notified of any fee adjustment in advance. In addition, this fee may be adjusted by contract with in- surance companies, managed care organizations, or other third-party payers, or by agreement with Therapist. From time-to-time, Therapist may engage in telephone contact with Patient for purposes other than sched- uling sessions. Patient is responsible for payment of the agreed upon fee (on a pro rata basis) for any tele- phone calls longer than ten minutes. In addition, from time-to-time, Therapist may engage in telephone con- tact with third parties at Patient’s request and with Patient’s advance written authorization. Patient is respon- sible for payment of the agreed upon fee (on a pro rata basis) for any telephone calls longer than ten minutes. Patients are expected to pay for services at the time services are rendered. Therapist accepts cash, or major credit cards.

  • Restricted Use By Outsourcers / Facilities Management, Service Bureaus or Other Third Parties Outsourcers, facilities management or service bureaus retained by Licensee shall have the right to use the Product to maintain Licensee’s business operations, including data processing, for the time period that they are engaged in such activities, provided that: 1) Licensee gives notice to Contractor of such party, site of intended use of the Product, and means of access; and 2) such party has executed, or agrees to execute, the Product manufacturer’s standard nondisclosure or restricted use agreement which executed agreement shall be accepted by the Contractor (“Non-Disclosure Agreement”); and 3) if such party is engaged in the business of facility management, outsourcing, service bureau or other services, such third party will maintain a logical or physical partition within its computer system so as to restrict use and access to the program to that portion solely dedicated to beneficial use for Licensee. In no event shall Licensee assume any liability for third party’s compliance with the terms of the Non-Disclosure Agreement, nor shall the Non-Disclosure Agreement create or impose any liabilities on the State or Licensee. Any third party with whom a Licensee has a relationship for a state function or business operation, shall have the temporary right to use Product (e.g., JAVA Applets), provided that such use shall be limited to the time period during which the third party is using the Product for the function or business activity.

  • Procurement of Small Works Works estimated to cost less than $100,000 equivalent per contract, up to an aggregate amount not to exceed $1,150,000 equivalent, may be procured under lump-sum, fixed-price contracts awarded on the basis of quotations obtained from three (3) qualified domestic contractors in response to a written invitation. The invitation shall include a detailed description of the works, including basic specifications, the required completion date, a basic form of agreement acceptable to the Association, and relevant drawings, where applicable. The award shall be made to the contractor who offers the lowest price quotation for the required work, and who has the experience and resources to complete the contract successfully. Part D: Review by the Association of Procurement Decisions

  • Internet Connectivity School must provide sufficient hardline internet connectivity and the required network configurations (provided in Exhibit A) for each Pixellot System to allow live broadcasts. PlayOn will provide the point-to-point wireless internet base station (“Point to Point”) when needed to deliver hardline internet connectivity to Pixellot Systems installed in outdoor venues; provided that PlayOn is able to select the make and model of the Point to Point system. In the event that School requests, or requires, a specific Point to Point system that is different from what is provided by PlayOn, then School must provide and install the Point to Point system at its own expense.

  • Deployment (a) In filling a position vacancy at a location NAV CANADA may proceed by the transfer of an employee at the same level.

  • MANAGEMENT OF EVALUATION OUTCOMES 12.1 The evaluation of the Employee’s performance will form the basis for rewarding outstanding performance or correcting unacceptable performance.

  • Availability of Verizon Telecommunications Services 3.1 Verizon will provide a Verizon Telecommunications Service to PCS for resale pursuant to this Attachment where and to the same extent, but only where and to the same extent, that such Verizon Telecommunications Service is provided to Verizon’s Customers.

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