Pub Date : 2013-06-10DOI: 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}
Pub Date : 2013-06-10DOI: 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}
Pub Date : 2013-06-10DOI: 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}
Pub Date : 2013-06-10DOI: 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}
Pub Date : 2013-06-10DOI: 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}
Pub Date : 2013-06-10DOI: 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}
Pub Date : 2012-06-11DOI: 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}
Pub Date : 2012-06-11DOI: 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}
Pub Date : 2012-06-11DOI: 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}
Pub Date : 2012-06-11DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：