发布求助
文献互助 智能选刊 最新文献

Monterey Workshop最新文献

筛选
英文 中文
Model-Based Failure Management for Distributed Reactive Systems 分布式反应系统基于模型的故障管理
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_4
V. Ermagan, Ingolf Krüger, M. Menarini
{"title":"Model-Based Failure Management for Distributed Reactive Systems","authors":"V. Ermagan, Ingolf Krüger, M. Menarini","doi":"10.1007/978-3-540-77419-8_4","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_4","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133398854","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
On the Correctness of Model Transformations in the Development of Embedded Systems 论嵌入式系统开发中模型转换的正确性
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_1
G. Karsai, A. Narayanan
{"title":"On the Correctness of Model Transformations in the Development of Embedded Systems","authors":"G. Karsai, A. Narayanan","doi":"10.1007/978-3-540-77419-8_1","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_1","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129142934","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain 从MDD到全工业过程:为高完整性领域构建分布式实时嵌入式系统
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_3
J. Hugues, L. Pautet, Bechir Zalila
{"title":"From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain","authors":"J. Hugues, L. Pautet, Bechir Zalila","doi":"10.1007/978-3-540-77419-8_3","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_3","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124413541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward 分布式实时系统的QoS属性组合和分解:迄今的经验和未来的难题
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_9
R. Schantz, J. Loyall
{"title":"Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward","authors":"R. Schantz, J. Loyall","doi":"10.1007/978-3-540-77419-8_9","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_9","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124186598","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Deep Random Search for Efficient Model Checking of Timed Automata 时间自动机高效模型检验的深度随机搜索
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_7
R. Grosu, Xiaowan Huang, S. Smolka, Wenkai Tan, S. Tripakis
{"title":"Deep Random Search for Efficient Model Checking of Timed Automata","authors":"R. Grosu, Xiaowan Huang, S. Smolka, Wenkai Tan, S. Tripakis","doi":"10.1007/978-3-540-77419-8_7","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_7","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127056264","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Recent Additions on the Application Programming Interface of the TMO Support Middleware TMO支持中间件应用程序编程接口的最新补充
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_10
K. Kim, Juan A. Colmenares, L. Zheng, Sheng Liu, Qian Zhou, Moon-Cheol Kim
{"title":"Recent Additions on the Application Programming Interface of the TMO Support Middleware","authors":"K. Kim, Juan A. Colmenares, L. Zheng, Sheng Liu, Qian Zhou, Moon-Cheol Kim","doi":"10.1007/978-3-540-77419-8_10","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_10","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"13 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131437828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks OASiS:面向服务的环境感知传感器网络体系结构
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_8
X. Koutsoukos, Manish Kushwaha, Isaac Amundson, S. Neema, J. Sztipanovits
{"title":"OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks","authors":"X. Koutsoukos, Manish Kushwaha, Isaac Amundson, S. Neema, J. Sztipanovits","doi":"10.1007/978-3-540-77419-8_8","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_8","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133745533","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Reliability Properties of Models for Flexible Design and Run-Time Analysis 面向柔性设计和运行时分析的模型可靠性特性
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_12
Luqi, V. Berzins, Peter M. Musial
{"title":"Reliability Properties of Models for Flexible Design and Run-Time Analysis","authors":"Luqi, V. Berzins, Peter M. Musial","doi":"10.1007/978-3-540-77419-8_12","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_12","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134024620","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Supporting System Level Design of Distributed Real Time Systems for Automotive Applications 汽车应用分布式实时系统的支持系统级设计
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_2
K. Müller-Glaser, C. Reichmann, M. Kühl
{"title":"Supporting System Level Design of Distributed Real Time Systems for Automotive Applications","authors":"K. Müller-Glaser, C. Reichmann, M. Kühl","doi":"10.1007/978-3-540-77419-8_2","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_2","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120815360","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol 在时间触发协议之上使用覆盖网络集成汽车应用
Monterey Workshop Pub Date : 2006-10-16 DOI: 10.1007/978-3-540-77419-8_11
R. Obermaisser
{"title":"Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol","authors":"R. Obermaisser","doi":"10.1007/978-3-540-77419-8_11","DOIUrl":"https://doi.org/10.1007/978-3-540-77419-8_11","url":null,"abstract":"","PeriodicalId":168521,"journal":{"name":"Monterey Workshop","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121331813","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信