首页> 外文OA文献 >Combining Monitors for Runtime System Verification11This research is sponsored by DARPA under contract number N66001-00-C-8058. The views herein are those of the authors and do not necessarily reflect the views of the supporting agency.

【2h】

Combining Monitors for Runtime System Verification11This research is sponsored by DARPA under contract number N66001-00-C-8058. The views herein are those of the authors and do not necessarily reflect the views of the supporting agency.

机译：组合监视器以进行运行时系统验证11这项研究由DARPA赞助，合同号为N66001-00-C-8058。本文的观点为作者的观点，不一定反映支持机构的观点。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
相似文献
相关主题

著录项

作者
Levy Joshua; Saïdi Hassen; Uribe Tomás E.;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
专利

1. An adaptive robust optimization scheme for water-flooding optimization in oil reservoirs using residual analysis * * The authors acknowledge financial support from the Recovery Factory program sponsored by Shell Global Solutions International. [J] . M. Mohsin Siraj, Paul M.J. Van den Hof, Jan Dirk Jansen IFAC PapersOnLine . 2017,第1期

机译：使用残差分析的油藏注水优化自适应鲁棒优化方案 * * 作者感谢美国经济复苏计划的财政支持壳牌全球解决方案国际组织赞助的工厂计划。
2. An adaptive robust optimization scheme for water-flooding optimization in oil reservoirs using residual analysis * * The authors acknowledge financial support from the Recovery Factory program sponsored by Shell Global Solutions International. [J] . M. Mohsin Siraj, Paul M.J. Van den Hof, Jan Dirk Jansen IFAC PapersOnLine . 2017,第1期

机译：使用残差分析的油藏注水优化自适应鲁棒优化方案 * * 作者感谢美国经济复苏计划的财政支持壳牌全球解决方案国际组织赞助的工厂计划。
3. China's role in world cotton and textile markets: a joint computable general equilibrium/partial equilibrium approach1 1 The views expressed in this publication are those of the authors and do not necessarily reflect the views of USDA and Texas Tech University. View all notes [J] . Stephen MacDonalda Suwen Panb* Agapi Somwarua Francis Tuana Applied Economics . 2010,第7期

机译：中国在世界棉花和纺织品市场上的作用：一种可计算的一般均衡/部分均衡联合方法1 1本出版物中的观点仅代表作者，并不代表美国农业部和德克萨斯理工大学的观点。查看所有笔记
4. The views expressed in this article are those of the authors and do not necessarily reflect the official policy or position of the Air Force, the Department of Defense or the U.S. Government [C] . Eric D. Rucker Jr., Andrew J. Thurling, Kenneth D. LeBay AUVSI's Unmanned Systems North America Conference . 2008

机译：本文中表达的观点是作者的观点，并不一定反映空军，国防部或美国政府的官方政策或立场
5. Anonymization views: Supporting privacy in database systems . [D] . Padma, Jalaja. 2010

机译：匿名视图：支持数据库系统中的隐私。
6. The view from the Health Systems Agency. [O] . A. L. Watson 1980

机译：卫生系统局的观点。
7. Trends in the Quality of Care for Medicare Beneficiaries Admitted to the Hospital With Unstable Angina 11This study was supported in part by the Patrick and Catherine Weldon Donaghue Medical Research Foundation Hartford. Dr. Krumholz is a Paul Beeson Faculty Scholar. The analyses on which this publication is based were performed under Contract Number 500-96-P549, entitled “Utilization and Quality Control Peer Review Organization for the State of Connecticut,” sponsored by the Health Care Financing Administration, Department of Health and Human Services. The content of this publication does not necessarily reflect the views or policies of the Department of Health and Human Services, nor does mention of trade names, commercial products or organizations imply endorsement by the U.S. Government. The authors assume full responsibility for the accuracy and completeness of the ideas presented. This article is a direct result of the Health Care Quality Improvement Program initiated by the Health Care Financing Administration, which has encouraged identification of quality improvement projects derived from analysis of patterns of care, and therefore required no special funding on the part of this Contractor. Ideas and contributions to the authors concerning experience in engaging with the issues presented are welcomed. [O] . Krumholz Harlan M., Philbin Daniel M., Wang Yun, 1998

机译：不稳定型心绞痛住院的医疗保险受益人的护理质量趋势11该研究部分得到了帕特里克和凯瑟琳·韦尔顿·多纳休医疗研究基金会的支持。 Krumholz博士是Paul Beeson系的学者。本出版物所依据的分析是在合同号500-96-P549下进行的，该合同的名称为“康涅狄格州使用和质量控制同行评审组织”，由卫生与公共服务部卫生保健融资管理局赞助。本出版物的内容不一定反映卫生和公共服务部的观点或政策，提及商品名称，商业产品或组织也不一定表示得到美国政府的认可。作者对所提出想法的准确性和完整性承担全部责任。本文是卫生保健筹资管理局发起的“卫生保健质量改善计划”的直接结果，该计划鼓励确定通过对护理模式进行分析而得出的质量改善项目，因此该承包商不需要任何特殊资金。欢迎作者就涉及所提出问题的经验提出想法和贡献。

Combining Monitors for Runtime System Verification11This research is sponsored by DARPA under contract number N66001-00-C-8058. The views herein are those of the authors and do not necessarily reflect the views of the supporting agency.

著录项

相似文献

相关主题

期刊订阅