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

International Conference on Reliable Software Technologies最新文献

筛选
英文 中文
Provably Secure DNS: A Case Study in Reliable Software 可证明的安全DNS:可靠软件的案例研究
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_6
B. Fagin, M. Carlisle
{"title":"Provably Secure DNS: A Case Study in Reliable Software","authors":"B. Fagin, M. Carlisle","doi":"10.1007/978-3-642-38601-5_6","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_6","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121639766","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
A Model-Based Framework for Developing Real-Time Safety Ada Systems 基于模型的实时安全Ada系统开发框架
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_9
Emilio Salazar, A. Alonso, M. D. Miguel, J. A. Puente
{"title":"A Model-Based Framework for Developing Real-Time Safety Ada Systems","authors":"Emilio Salazar, A. Alonso, M. D. Miguel, J. A. Puente","doi":"10.1007/978-3-642-38601-5_9","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_9","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131712047","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}
引用次数: 10
A SPARK/Ada CubeSat Control Program 一个SPARK/Ada立方体卫星控制程序
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_4
Carl Brandon, Peter C. Chapin
{"title":"A SPARK/Ada CubeSat Control Program","authors":"Carl Brandon, Peter C. Chapin","doi":"10.1007/978-3-642-38601-5_4","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_4","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115480681","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
Measuring the Odds of Statements Being Faulty 衡量陈述错误的几率
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_8
Xiaozhen Xue, A. Namin
{"title":"Measuring the Odds of Statements Being Faulty","authors":"Xiaozhen Xue, A. Namin","doi":"10.1007/978-3-642-38601-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_8","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115660141","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
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors 多核处理器上关键任务航天器应用的基于模型部署
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_3
Reinier van Kampenhout, Robert Hilbrich
{"title":"Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors","authors":"Reinier van Kampenhout, Robert Hilbrich","doi":"10.1007/978-3-642-38601-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_3","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131602610","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}
引用次数: 5
Lady Ada Mediates Peace Treaty in Endianness War 艾达夫人在伊甸战争中调解和平条约
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_5
Thomas Quinot, Eric Botcazou
{"title":"Lady Ada Mediates Peace Treaty in Endianness War","authors":"Thomas Quinot, Eric Botcazou","doi":"10.1007/978-3-642-38601-5_5","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_5","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134631268","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
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology 选择，选择:CHOC'LATE与分类树方法的比较
International Conference on Reliable Software Technologies Pub Date : 2012-06-11 DOI: 10.1007/978-3-642-30598-6_12
P. Poon, T. Chen, T. H. Tse
{"title":"Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology","authors":"P. Poon, T. Chen, T. H. Tse","doi":"10.1007/978-3-642-30598-6_12","DOIUrl":"https://doi.org/10.1007/978-3-642-30598-6_12","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115283212","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}
引用次数: 4
Formal Goal-Oriented Development of Resilient MAS in Event-B 事件b中弹性MAS的正式目标导向发展
International Conference on Reliable Software Technologies Pub Date : 2012-06-11 DOI: 10.1007/978-3-642-30598-6_11
Inna Pereverzeva, E. Troubitsyna, L. Laibinis
{"title":"Formal Goal-Oriented Development of Resilient MAS in Event-B","authors":"Inna Pereverzeva, E. Troubitsyna, L. Laibinis","doi":"10.1007/978-3-642-30598-6_11","DOIUrl":"https://doi.org/10.1007/978-3-642-30598-6_11","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116446913","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}
引用次数: 21
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA Ada DSA集成中间件实现分布式软实时系统的及时重构
International Conference on Reliable Software Technologies Pub Date : 2012-06-11 DOI: 10.1007/978-3-642-30598-6_3
M. García-Valls, F. Ibáñez-Vázquez
{"title":"Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA","authors":"M. García-Valls, F. Ibáñez-Vázquez","doi":"10.1007/978-3-642-30598-6_3","DOIUrl":"https://doi.org/10.1007/978-3-642-30598-6_3","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121927450","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
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications 多处理器、多模式实时应用的集成框架
International Conference on Reliable Software Technologies Pub Date : 2012-06-11 DOI: 10.1007/978-3-642-30598-6_2
S. Sáez, J. Real, A. Crespo
{"title":"An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications","authors":"S. Sáez, J. Real, A. Crespo","doi":"10.1007/978-3-642-30598-6_2","DOIUrl":"https://doi.org/10.1007/978-3-642-30598-6_2","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117210446","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}
引用次数: 6
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信