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

International Conference on Reliable Software Technologies最新文献

筛选
英文 中文
OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines 低密度交通线路列车控制系统的OBUs开发与维护
International Conference on Reliable Software Technologies Pub Date : 2014-06-23 DOI: 10.1007/978-3-319-08311-7_13
G. Hanis, B. Stadlmann
{"title":"OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines","authors":"G. Hanis, B. Stadlmann","doi":"10.1007/978-3-319-08311-7_13","DOIUrl":"https://doi.org/10.1007/978-3-319-08311-7_13","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122790143","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
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems 基于tasm的安全关键型嵌入式系统需求验证方法
International Conference on Reliable Software Technologies Pub Date : 2014-06-23 DOI: 10.1007/978-3-319-08311-7_5
Jiale Zhou, Yue Lu, K. Lundqvist
{"title":"A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems","authors":"Jiale Zhou, Yue Lu, K. Lundqvist","doi":"10.1007/978-3-319-08311-7_5","DOIUrl":"https://doi.org/10.1007/978-3-319-08311-7_5","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124640442","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
Deadline-Aware Programming and Scheduling 截止日期意识编程和调度
International Conference on Reliable Software Technologies Pub Date : 2014-06-23 DOI: 10.1007/978-3-319-08311-7_9
A. Burns, A. Wellings
{"title":"Deadline-Aware Programming and Scheduling","authors":"A. Burns, A. Wellings","doi":"10.1007/978-3-319-08311-7_9","DOIUrl":"https://doi.org/10.1007/978-3-319-08311-7_9","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126212981","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
Parallelism in Ada: Status and Prospects Ada中的并行:现状与展望
International Conference on Reliable Software Technologies Pub Date : 2014-06-23 DOI: 10.1007/978-3-319-08311-7_8
L. M. Pinho, B. Moore, S. Michell
{"title":"Parallelism in Ada: Status and Prospects","authors":"L. M. Pinho, B. Moore, S. Michell","doi":"10.1007/978-3-319-08311-7_8","DOIUrl":"https://doi.org/10.1007/978-3-319-08311-7_8","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126352893","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}
引用次数: 8
Towards a Runtime Verification Framework for the Ada Programming Language 面向Ada编程语言的运行时验证框架
International Conference on Reliable Software Technologies Pub Date : 2014-06-23 DOI: 10.1007/978-3-319-08311-7_6
A. Pedro, David Pereira, L. M. Pinho, J. Pinto
{"title":"Towards a Runtime Verification Framework for the Ada Programming Language","authors":"A. Pedro, David Pereira, L. M. Pinho, J. Pinto","doi":"10.1007/978-3-319-08311-7_6","DOIUrl":"https://doi.org/10.1007/978-3-319-08311-7_6","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121790813","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
Towards a Time-Composable Operating System 迈向可时间组合的操作系统
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_10
Andrea Baldovin, E. Mezzetti, T. Vardanega
{"title":"Towards a Time-Composable Operating System","authors":"Andrea Baldovin, E. Mezzetti, T. Vardanega","doi":"10.1007/978-3-642-38601-5_10","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_10","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"75 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":"122857496","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
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software 安全关键型机载软件最坏情况执行时间分析方法
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_11
E. Asensio, I. Lafoz, A. Coombes, Julian Navas
{"title":"Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software","authors":"E. Asensio, I. Lafoz, A. Coombes, Julian Navas","doi":"10.1007/978-3-642-38601-5_11","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_11","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"10 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":"115693149","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
Tasklettes - A Fine Grained Parallelism for Ada on Multicores 微线程——多核Ada的细粒度并行性
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_2
S. Michell, B. Moore, L. M. Pinho
{"title":"Tasklettes - A Fine Grained Parallelism for Ada on Multicores","authors":"S. Michell, B. Moore, L. M. Pinho","doi":"10.1007/978-3-642-38601-5_2","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_2","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"29 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":"127206522","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
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems 在安全关键系统的开发中，在结构、功能和过程视角的集成中使用本体
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_7
Irene Bicchierai, G. Bucci, Carlo Nocentini, E. Vicario
{"title":"Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems","authors":"Irene Bicchierai, G. Bucci, Carlo Nocentini, E. Vicario","doi":"10.1007/978-3-642-38601-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_7","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"27 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":"124169709","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}
引用次数: 7
Experience with the Integration of Distribution Middleware into Partitioned Systems 将分布中间件集成到分区系统中的经验
International Conference on Reliable Software Technologies Pub Date : 2013-06-10 DOI: 10.1007/978-3-642-38601-5_1
Héctor Pérez, J. Javier Gutiérrez
{"title":"Experience with the Integration of Distribution Middleware into Partitioned Systems","authors":"Héctor Pérez, J. Javier Gutiérrez","doi":"10.1007/978-3-642-38601-5_1","DOIUrl":"https://doi.org/10.1007/978-3-642-38601-5_1","url":null,"abstract":"","PeriodicalId":206727,"journal":{"name":"International Conference on Reliable Software Technologies","volume":"35 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":"131860095","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}
引用次数: 8
首页 上一页 下一页 尾页
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学术官方微信