Research History and Publications Sample Clauses

Research History and Publications. As mentioned before, the goal of this thesis is to find a formal verification framework for component based systems in general and for their coordination subsystems in particular. We have chosen model checking of temporal logic properties as the verification method. From a historical point of view, our research can be divided into four periods or steps: In the first step, our focus was on working on constraint automata as the operational semantics of coordination systems and as the models of the interfaces of components. Thus, in this phase, our aim was to prepare a compositional and hierarchal environ- ment for model checking of linear time properties of constraint automata models in the presence of the state explosion problem. Our main ideas to do this were presented in [82, 77]. To tackle the state explosion problem, we investigated two different solution methods: – Compositional minimization of models using suitable equivalence relations. For this aim, in [79, 78] we introduced two failure-based equivalence relations CFFD and NDFD as new semantics for constraint automata and our proposal for us- ing them to reduce the size of models for model checking. We also proved that CFFD and NDFD are congruences with respect to join and hiding composition operators of constraint automata [75, 74]. Moreover, we showed that the temporal logics preservation and minimality properties of CFFD and NDFD hold for the case of constraint automata [76]. Based on these results, we introduced a method for compositional model checking of component based systems, reduction algo- rithms, and their implementations and application to case studies [76, 69]. – As another way to deal with the state explosion, we considered abstraction tech- niques. In this method, using some suitable mapping from a large state space into a smaller one that preserves desired sets of linear temporal properties, we try to do model checking over the smaller model. A suitable mapping can be obtained by reducing the number of state variables from the model whose state variables are more to another one with less variables. Suitable mappings preserve linear time fairness and liveness properties [69, 119, 118]. In the second step, based on the shortcomings of constraint automata in modeling all aspects of the behavior of connectors and the complication of their timed data streams based semantics, we focused on presenting a new operational semantics for Reo and on their model checking. Our main motivation in t...
AutoNDA by SimpleDocs

Related to Research History and Publications

  • RESEARCH AND PUBLICATION 29 CONTRACTOR shall not utilize information and/or data received from COUNTY, or arising out 30 of, or developed, as a result of this Agreement for the purpose of personal or professional research, or 31 for publication. 32

  • PUBLICATION AND PUBLICITY The CONSULTANT agrees that it shall not for any reason whatsoever communicate to any third party in any manner whatsoever concerning any of its CONTRACT work product, its conduct under the CONTRACT, the results or data gathered or processed under this CONTRACT, which includes, but is not limited to, reports, computer information and access, drawings, studies, notes, maps and other data prepared by and for the CONSULTANT under the terms of this CONTRACT, without prior written approval from the COMMISSION, unless such release or disclosure is required by judicial proceeding. The CONSULTANT agrees that it shall immediately refer any third party who requests such information to the COMMISSION and shall also report to the COMMISSION any such third party inquiry. This Article shall not apply to information in whatever form that comes into the public domain, nor shall it restrict the CONSULTANT from giving notices required by law or complying with an order to provide information or data when such order is issued by a court, administrative agency or other authority with proper jurisdiction, or if it is reasonably necessary for the CONSULTANT to defend itself from any suit or claim. All approved releases of information, findings, and recommendations shall include a disclaimer provision and all published reports shall include that disclaimer on the cover and title page in the following form: The opinions, findings, and conclusions in this publication are those of the author(s) and not necessarily those of the Mississippi Department of Transportation, Mississippi Transportation Commission, the State of Mississippi or the Federal Highway Administration.

  • Scientific Publications During the Research Program Term, neither Party shall first publish or first present in a public forum the scientific or technical results of any activity performed pursuant to this Agreement without the opportunity for prior review and comment by the other Party. Each Party agrees to provide the other Party with the opportunity to review any proposed abstract, manuscript or scientific presentation (including any verbal presentation) that relates to its activities performed pursuant to this Agreement during the Research Program Term, at least [**] days prior to its intended submission for publication and agrees, upon request, not to submit any such abstract or manuscript for publication until the other Party is given a reasonable period of time up to [**] to secure patent protection for any material in such publication that it believes to be patentable. Both Parties understand that a reasonable commercial strategy may require delay of publication of information or filing of patent applications first with respect to activities performed or results obtained pursuant to this Agreement during the Research Program Term, or not to publish at all if necessary to preserve trade secrets. The Parties agree to review and decide whether to delay publication of such information to permit filing of patent applications. Neither Party shall have the right to publish or present any Confidential Information of the other Party, except as provided in Section 9.2. After the Research Program Term, each Party and its Affiliates may publish or present results, data or scientific findings of any of their activities without the prior review of the other Party, provided that such publication or presentation does not disclose any of the other Party’s Confidential Information. Nothing contained in this Section 9.3 shall prohibit the inclusion of information necessary for a patent application; provided that the non-filing Party is given a reasonable opportunity to review the information to be included prior to submission of such patent application in accordance with Section 8.2. Nothing contained in this Section 9.3 shall prohibit either Party from disclosing the results, data or scientific findings of any activity performed by the other Party or its Affiliates pursuant to this Agreement without prior review and prior written consent of the other Party, where required, as reasonably determined by the disclosing Party’s legal counsel, by applicable law; provided that if a Party is required by law to make any such disclosure, to the extent it may legally do so, it will give reasonable advance notice to the other Party of such disclosure and will use its reasonable efforts to secure confidential treatment of such information prior to its disclosure (whether through protective orders or otherwise).

  • Advertising and Publicity No Credit Party shall issue or disseminate to the public (by advertisement, including without limitation any “tombstone” advertisement, press release or otherwise), submit for publication or otherwise cause or seek to publish any information describing the credit or other financial accommodations made available by the Lenders pursuant to this Agreement and the other Loan Documents without the prior written consent of the Administrative Agent. Nothing in the foregoing shall be construed to prohibit any Credit Party from making any submission or filing which it is required to make by applicable law or pursuant to judicial process; provided, that, (i) such filing or submission shall contain only such information as is necessary to comply with applicable law or judicial process and (ii) unless specifically prohibited by applicable law or court order, the Borrower shall promptly notify the Administrative Agent of the requirement to make such submission or filing and provide the Administrative Agent with a copy thereof.

  • Confidentiality and Publication 7.1 Except as provided herein, each party shall maintain in confidence during the term of this Agreement and for seven (7) years thereafter, and shall not use for any [*] Certain information on this page has been omitted and filed separately with the Commission. Confidential treatment has been requested with respect to the omitted portions. purpose or disclose to any third party, any Technology or other information disclosed by the other party in writing and marked "Confidential" or that is disclosed orally and confirmed in writing as confidential within forty-five (45) days following such disclosure (collectively, 'CONFIDENTIAL INFORMATION'), except to the extent that any such Confidential Information - (a) is at the time of being so provided or after that time through no fault of the party to whom it was so provided becomes public knowledge; or (b) was lawfully available on a non-confidential basis to the party to whom it was so provided before that time; or (c) can be shown by the party to whom it was so provided to have been independently produced by that party without any use of such confidential information provided to it by the other party; or (d) is made available to the party to whom it was so provided otherwise than in breach of an obligation of confidentiality owed to the other party. 7.2 The results of the Project may be made public by either party (or, in the case of ICRT, by ICRF) except to the extent that - (a) publication would include any Confidential Information of the other party; or (b) publication would prejudice the obtaining of patent protection for an invention constituting Project Technology, or the commercial exploitation of any unpatented or unpatentable Project Technology which remains unpublished. 7.3 To allow time for review of any proposed disclosure of any subject matter which may be precluded from being made public under clause 7.2, each of ICRT and Introgen shall provide to the other - (a) a copy of any manuscript disclosing any results of the Project not less than 45 days notice before submitting the manuscript for publication; and (b) a copy of any slides to be used in an oral presentation disclosing any results of the Project together with an outline of the presentation not less than 20 working days before making any such oral presentation. 7.4 The party receiving any such material pursuant to clause 7.3 shall promptly and in any event prior to the proposed date of submission for publication review the proposed disclosure and notify the other party in writing of its conclusions, failing which the other party shall be free to make the proposed disclosure. 7.5 If in the reasonable opinion of the party receiving the material the proposed disclosure does not include subject matter which is precluded from being made public under clause 7.2, it shall promptly notify the other party which shall thereupon be free to make the proposed disclosure. 7.6 If in the reasonable opinion of either party - (a) the proposed disclosure includes subject matter which is precluded from being made public under clause 7.2 and which is patentable, neither party shall publish or otherwise disclose the material in question for a period of three months from the date on which the relevant material was received by the party in question and, if a patent application is made within that period of three months, for a further period as agreed but in any event not exceeding a total of 18 months from that date (including such period of three months), following which the other party shall be free to make the proposed disclosure; or (b) the proposed disclosure includes unpatented (or unpatentable) Project Technology which that party wishes to maintain as unpublished and which (c) the proposed disclosure includes Confidential Information of the reviewing party, the disclosing party shall remove such Confidential Information prior to such disclosure. 7.7 Notwithstanding the foregoing provisions of this clause 7 above, the receiving party may use or disclose Confidential Information of the disclosing party (a) to the extent necessary to exercise its rights hereunder (including providing such information to bona fide licensees or prospective licensees as contemplated by this Agreement or otherwise and to potential investors or partners on reasonable terms of confidentiality) or to fulfil its obligations and/or duties hereunder; (b) in filing for, prosecuting or maintaining any proprietary rights, prosecuting or defending litigation; and (c) in complying with applicable governmental regulations and/or submitting information to tax or other governmental authorities; or as otherwise required by law; provided that if the receiving party is required by law to make any public disclosures of Confidential Information of the disclosing party then, to the extent it may legally do so, it shall give reasonable advance notice to the disclosing party of such disclosure and shall use its reasonable efforts to secure confidential treatment of

  • DELIVERY AND PUBLISHING 4.1. Xxxxxxx Science offers publishing via a variety of methods. The parties agree that, at a minimum, and subject to the terms of this Agreement, the Work shall be published in the subscription journal specified, in Schedule 3: Publishing. Additionally, if so specified in the space provided in Schedule 3: Publishing in respect of “Open Access Plus”, and subject to the commercial terms specified therein and the other terms of this Agreement, the Work shall be made available, by Xxxxxxx Science, on an open access basis under the terms of the Creative Commons Attribution 4.0 International Public License (CC- BY 4.0), a copy of which is available at: xxxxx://xxxxxxxxxxxxxxx.xxx/licenses/by/4.0/legalcode . 4.2. The Assignor may, if so specified in the space provided in Schedule 1: Details of the Work, opt to have Xxxxxxx Science, or its third party contractor, provide a short animated video summarising the salient aspects of the Work, on the basis that all rights, title and interest in such short animated video shall become part of the Work for the purposes of this Agreement. The provision of such service by Xxxxxxx Science or its third party contractor shall be subject to the prevailing terms and rates relating to such service. Such animated video shall be made available, by Xxxxxxx Science, on an open access basis under the terms of the Creative Commons Attribution 4.0 International Public License (CC-BY-NC-ND 4.0), a copy of which is available at xxxxx://xxxxxxxxxxxxxxx.xxx/licenses/by-nc-nd/4.0/, and Xxxxxxx Science shall retain all rights to exploit the video commercially. 4.3. The Assignor undertakes to provide to Xxxxxxx Science, by the deadline specified in Schedule 1: Details of the Work (the “Submission Deadline”), an electronic copy of the Work in a high-quality, professionally prepared, production-ready format. The Assignor undertakes to ensure that all pages of the Work so submitted have been proof-read carefully, and that all diagrams, illustrations, figures and captions, are of excellent quality, with regard to both substance and form. 4.4. The Assignor represents and warrants that the Work has been prepared in accordance with the relevant Guidelines, and checked for all possible linguistic inconsistencies and errors, including grammar, style and typography, by someone with a high command of the English language and familiarity with academic writing in the English language. (“Guidelines” means the Instructions to Authors available on the Xxxxxxx Science website, as well as the Aims & Scope applicable to the relevant Xxxxxxx Science publication). Xxxxxxx Science’s nominated service provider, Xxxxxxx Science, offers English language support services which Assignor may elect to utilise in respect of the Work by completing the applicable box in Schedule 1: Details of the Work. The provision of such services by Xxxxxxx Science shall be subject to Xxxxxxx 2 [v.122016] Science’s prevailing terms and rates relating to such type of optional support.

  • CONFIDENTIAL INFORMATION AND PUBLICITY 11.1 If Cisco and Supplier have entered into a Non-Disclosure Agreement (“NDA”) which covers disclosure of confidential information under the Purchase Order, and if the term of the NDA expires before the expiration or termination of the Purchase Order, then the term of the NDA shall be automatically extended to match the term of the Purchase Order. 11.2 The parties shall treat the terms, conditions, and existence of the Purchase Order as Confidential Information as defined in the NDA. 11.3 Supplier shall obtain Cisco’s written consent prior to any publication, presentation, public announcement, or press release concerning its relationship as a supplier to Cisco.

  • Utilities and Public Access Each Individual Property has rights of access to public ways and is served by water, sewer, sanitary sewer and storm drain facilities adequate to service such Individual Property for its respective intended uses. All public utilities necessary or convenient to the full use and enjoyment of each Individual Property are located either in the public right-of-way abutting such Individual Property (which are connected so as to serve such Individual Property without passing over other property) or in recorded easements serving such Individual Property and such easements are set forth in and insured by the Title Insurance Policies. All roads necessary for the use of each Individual Property for their current respective purposes have been completed and dedicated to public use and accepted by all Governmental Authorities.

  • Confidentiality and Publicity 26.1 All proprietary or confidential information (“Proprietary Information”) disclosed by either Party during the negotiations and the term of this Agreement will be protected by both Parties in accordance with the terms provided herein. 26.2 As used in this Agreement, the term “Proprietary Information” will mean written, recorded, machine readable or other information provided in tangible form to one Party by the other Party regarding the above referenced subject matter and which is marked proprietary or confidential with the appropriate owner corporation name, e.g., “Frontier Proprietary”. Information disclosed orally will not be considered proprietary unless such information is reduced to writing by the disclosing Party and a copy is delivered to the other Party within thirty (30) business days after such oral disclosure. The writing will also state the place, date and person(s) to whom disclosure was made. 26.3 Each Party agrees that it will not disclose any Proprietary Information of the other Party in whole or in part, including derivations, to any third party for a period of three (3) years from the date of disclosure unless the Parties agree to modify this Agreement to provide for a different nondisclosure period for specific materials. Neither Party will be liable for inadvertent or accidental disclosure of Proprietary Information of the other Party provided that: 26.3.1 each Party uses at least the same degree of care in safeguarding such Proprietary Information as it uses for its own proprietary information of like importance, and such degree of care will be reasonably calculated to prevent such inadvertent disclosure; 26.3.2 it limits access to such Proprietary Information to its employees and agents who are directly involved in the consideration of the Proprietary Information and informs its employees and agents who have access to such Proprietary Information of its duty not to disclose; and 26.3.3 upon discovery of any such inadvertent disclosure of Proprietary Information, it will endeavor to prevent any further inadvertent disclosure. 26.4 Information will not be deemed proprietary and the receiving Party will have no obligation with respect to any such information which: 26.4.1 is or becomes publicly known through no wrongful act, fault or negligence of the receiving Party; or 26.4.2 was known by the receiving Party or by any other affiliate or subsidiary of the receiving Party prior to disclosure, or is at any time developed by the receiving Party independently of any such disclosure; or 26.4.3 was disclosed to the receiving Party by a third party who was free of obligations of confidentiality to the disclosing Party; or 26.4.4 is disclosed or used by the receiving Party, not less than three (3) years following its initial disclosure or such other nondisclosure period as may be agreed in writing by the Parties; or 26.4.5 is approved for release by written authorization of the disclosing Party; or 26.4.6 is disclosed pursuant to a requirement or request of a governmental agency or disclosure is required by operation of law; or 26.4.7 is furnished to a third party by the disclosing Party without a similar restriction on the third party’s rights. 26.5 Since either Party may choose not to use or announce any services, products or marketing techniques relating to these discussions or information gained or exchanged during the discussions, both Parties acknowledge that one is not responsible or liable for any business decisions made by the other in reliance upon any disclosures made during any meeting between the Parties or in reliance on any results of the discussions. The furnishing of Proprietary Information to one Party by the other Party will not obligate either Party to enter into any further agreement or negotiation with the other. 26.6 Nothing contained in this Agreement will be construed as granting to one Party a license, either express or implied, under any patent, copyright, or trademark, now or hereafter owned, obtained, controlled, or which is or may be licensable by the other Party. 26.7 All publicity regarding this Agreement and its Attachments is subject to the Parties’ prior written consent. 26.8 Unless otherwise agreed upon, neither Party will publish or use the other Party’s name, language, pictures, or symbols from which the other Party’s name may be reasonably inferred or implied in any advertising, promotion, or any other publicity matter relating directly or indirectly to this Agreement.

  • Ownership and Publication of Materials All reports, information, data, and other materials prepared by the Consultant pursuant to this agreement are the property of the City. The City has the exclusive and unrestricted authority to release, publish or otherwise use, in whole or part, information relating thereto. Any re-use without written verification or adaptation by the Consultant for the specific purpose intended will be at the City’s sole risk and without liability or legal exposure to the Consultant. No material produced in whole or in part under this agreement may be copyrighted or patented in the United States or in any other country without the prior written approval of the City.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!