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

Process Algebra and Probabilistic Methods, Performance Modeling and Verification最新文献

筛选
英文 中文
The Mean Value of the Maximum 最大值的平均值
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2002-07-25 DOI: 10.1007/3-540-45605-8_4
H. Bohnenkamp, B. Haverkort
{"title":"The Mean Value of the Maximum","authors":"H. Bohnenkamp, B. Haverkort","doi":"10.1007/3-540-45605-8_4","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_4","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129314769","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
Possibilistic and Probabilistic Abstraction-Based Model Checking 基于可能性和概率抽象的模型检查
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2002-07-25 DOI: 10.1007/3-540-45605-8_8
M. Huth
{"title":"Possibilistic and Probabilistic Abstraction-Based Model Checking","authors":"M. Huth","doi":"10.1007/3-540-45605-8_8","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_8","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134026138","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
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling 由随机建模引起的大型线性方程组的核外解
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2002-07-25 DOI: 10.1007/3-540-45605-8_9
M. Kwiatkowska, Rashid Mehmood
{"title":"Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling","authors":"M. Kwiatkowska, Rashid Mehmood","doi":"10.1007/3-540-45605-8_9","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_9","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"63 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131261476","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}
引用次数: 33
Security Analysis of a Probabilistic Non-repudiation Protocol 一种概率不可否认协议的安全性分析
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2002-07-25 DOI: 10.1007/3-540-45605-8_3
A. Aldini, R. Gorrieri
{"title":"Security Analysis of a Probabilistic Non-repudiation Protocol","authors":"A. Aldini, R. Gorrieri","doi":"10.1007/3-540-45605-8_3","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_3","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125678473","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}
引用次数: 29
Model Checking CSL until Formulae with Random Time Bounds 模型检验CSL直到有随机时间边界的公式
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2002-07-25 DOI: 10.1007/3-540-45605-8_10
M. Kwiatkowska, G. Norman, A. Pacheco
{"title":"Model Checking CSL until Formulae with Random Time Bounds","authors":"M. Kwiatkowska, G. Norman, A. Pacheco","doi":"10.1007/3-540-45605-8_10","DOIUrl":"https://doi.org/10.1007/3-540-45605-8_10","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134154476","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}
引用次数: 27
Randomization Helps in LTL Model Checking 随机化有助于LTL模型检查
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2001-09-12 DOI: 10.1007/3-540-44804-7_7
L. Brim, I. Cerná, M. Necesal
{"title":"Randomization Helps in LTL Model Checking","authors":"L. Brim, I. Cerná, M. Necesal","doi":"10.1007/3-540-44804-7_7","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_7","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132735837","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
Reachability Analysis of Probabilistic Systems by Successive Refinements 基于逐次细化的概率系统可达性分析
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2001-09-12 DOI: 10.1007/3-540-44804-7_3
P. D’Argenio, Bertrand Jeannet, H. Jensen, K. Larsen
{"title":"Reachability Analysis of Probabilistic Systems by Successive Refinements","authors":"P. D’Argenio, Bertrand Jeannet, H. Jensen, K. Larsen","doi":"10.1007/3-540-44804-7_3","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_3","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123672742","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}
引用次数: 173
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes 用Max-Plus代数求随机过程代数前缀
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2001-09-12 DOI: 10.1007/3-540-44804-7_10
L. Cloth, H. Bohnenkamp, B. Haverkort
{"title":"Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes","authors":"L. Cloth, H. Bohnenkamp, B. Haverkort","doi":"10.1007/3-540-44804-7_10","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_10","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131027193","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
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework 在Möbius建模框架内实现随机过程代数
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2001-09-12 DOI: 10.1007/3-540-44804-7_13
G. Clark, W. Sanders
{"title":"Implementing a Stochastic Process Algebra within the Möbius Modeling Framework","authors":"G. Clark, W. Sanders","doi":"10.1007/3-540-44804-7_13","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_13","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124180982","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}
引用次数: 41
Faster and Symbolic CTMC Model Checking 更快和符号CTMC模型检查
Process Algebra and Probabilistic Methods, Performance Modeling and Verification Pub Date : 2001-09-12 DOI: 10.1007/3-540-44804-7_2
J. Katoen, M. Kwiatkowska, G. Norman, D. Parker
{"title":"Faster and Symbolic CTMC Model Checking","authors":"J. Katoen, M. Kwiatkowska, G. Norman, D. Parker","doi":"10.1007/3-540-44804-7_2","DOIUrl":"https://doi.org/10.1007/3-540-44804-7_2","url":null,"abstract":"","PeriodicalId":350587,"journal":{"name":"Process Algebra and Probabilistic Methods, Performance Modeling and Verification","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131791167","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}
引用次数: 89
首页 上一页 下一页 尾页
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学术官方微信