Pub Date : 1992-01-01DOI: 10.1007/978-3-642-88049-0_116
H. Nakazato
{"title":"Real-Time Database System Design","authors":"H. Nakazato","doi":"10.1007/978-3-642-88049-0_116","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_116","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"27 1","pages":"705-706"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81444015","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 : 1992-01-01DOI: 10.1007/978-3-642-88049-0_103
R. Clark
{"title":"Resource Management and Security in Supervisory Control Systems","authors":"R. Clark","doi":"10.1007/978-3-642-88049-0_103","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_103","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"17 1","pages":"681"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81457715","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 : 1992-01-01DOI: 10.1007/978-3-642-88049-0_128
R. Bareiß
{"title":"Formal Methods - How to Make Them Understandable and Usable for Engineers?","authors":"R. Bareiß","doi":"10.1007/978-3-642-88049-0_128","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_128","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"4 1","pages":"747-749"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82793165","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 : 1992-01-01DOI: 10.1007/978-3-642-88049-0_78
S. Howell
{"title":"Predictability Versus Adaptability","authors":"S. Howell","doi":"10.1007/978-3-642-88049-0_78","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_78","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"39 1","pages":"632-633"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89303363","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 : 1992-01-01DOI: 10.1007/978-3-642-88049-0_130
W. J. Cullyer, J. Mcdermid
{"title":"\"Birds-of-a-Feather-Group\" on Safety Critical Systems","authors":"W. J. Cullyer, J. Mcdermid","doi":"10.1007/978-3-642-88049-0_130","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_130","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"23 1","pages":"755-756"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88047780","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 : 1992-01-01DOI: 10.1007/978-3-642-88049-0_28
R. D. Harrison
{"title":"Combat System Prerequisites on Supercomputer Performance Analysis","authors":"R. D. Harrison","doi":"10.1007/978-3-642-88049-0_28","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_28","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"39 1","pages":"512-513"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90708800","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 : 1992-01-01DOI: 10.1007/978-3-642-88049-0_93
A. Esposito
{"title":"Instrumentation for Real-Time Programs in Parallel Environments","authors":"A. Esposito","doi":"10.1007/978-3-642-88049-0_93","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_93","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"140 1","pages":"664-666"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73503020","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 : 1992-01-01DOI: 10.1007/978-3-642-88049-0_84
L. Nieuwenhuis
{"title":"Dependability of Telecommunication Software","authors":"L. Nieuwenhuis","doi":"10.1007/978-3-642-88049-0_84","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_84","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"29 1","pages":"645-646"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84887931","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 : 1992-01-01DOI: 10.1007/978-3-642-88049-0_112
M. V. D. Laan
{"title":"Robust Sampling for Process Control","authors":"M. V. D. Laan","doi":"10.1007/978-3-642-88049-0_112","DOIUrl":"https://doi.org/10.1007/978-3-642-88049-0_112","url":null,"abstract":"","PeriodicalId":91495,"journal":{"name":"IEEE NPSS Real Time Conference : conference record. Conference on Real-Time Computer Applications in Nuclear, Particle, and Plasma Physics","volume":"5 1","pages":"698-700"},"PeriodicalIF":0.0,"publicationDate":"1992-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85421297","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}