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

2008 Fifth International Conference on Quantitative Evaluation of Systems最新文献

筛选
英文 中文
On the Data Delivery Delay taken by Random Walks in Wireless Sensor Networks 无线传感器网络中随机漫步的数据传输延迟
2008 Fifth International Conference on Quantitative Evaluation of Systems Pub Date : 2008-09-14 DOI: 10.1109/QEST.2008.30
I. Mabrouki, G. Froc, X. Lagrange
{"title":"On the Data Delivery Delay taken by Random Walks in Wireless Sensor Networks","authors":"I. Mabrouki, G. Froc, X. Lagrange","doi":"10.1109/QEST.2008.30","DOIUrl":"https://doi.org/10.1109/QEST.2008.30","url":null,"abstract":"In recent years, the use of random walk techniques in wireless sensor networks has attracted considerable interest among numerous research efforts. The popularity of this approach is attributed to the natural properties of random walks such as locality, simplicity, low-overhead and inherent robustness. However, throughout the variety of research works that assess the effectiveness of random walk techniques, most results are derived from a qualitative view or by means of simulations. Furthermore, when analytical tools are used, the obtained results often provide bounds on various performance metrics of interest, which may have little consequences for practical applications. Instead, our goal in this paper is to quantify the effectiveness of such techniques based on the derivation of closed-form expressions.In particular, we focus on the delay taken for the random walk to deliver messages from sensor to sink nodes and study its statistics through closed-form derivations.","PeriodicalId":161274,"journal":{"name":"2008 Fifth International Conference on Quantitative Evaluation of Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133681841","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
Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains 概率自动机与马尔可夫链的模型检验与决策过程
2008 Fifth International Conference on Quantitative Evaluation of Systems Pub Date : 2008-09-14 DOI: 10.1109/QEST.2008.54
J. Worrell
{"title":"Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains","authors":"J. Worrell","doi":"10.1109/QEST.2008.54","DOIUrl":"https://doi.org/10.1109/QEST.2008.54","url":null,"abstract":"Finite-state probabilistic automata were introduced by Michael Rabin in the 1960s and have recently been the subject of renewed interest. In the first half of this tutorial we review classical results and open problems on the complexity of decision problems for probabilistic automata, including the analogs of language inclusion, language equivalence and language emptiness.","PeriodicalId":161274,"journal":{"name":"2008 Fifth International Conference on Quantitative Evaluation of Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129894092","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
Linear Programming, Lyapunov Functions, and Performance Analysis 线性规划，李雅普诺夫函数和性能分析
2008 Fifth International Conference on Quantitative Evaluation of Systems Pub Date : 2008-09-14 DOI: 10.1109/QEST.2008.50
P. Glynn
{"title":"Linear Programming, Lyapunov Functions, and Performance Analysis","authors":"P. Glynn","doi":"10.1109/QEST.2008.50","DOIUrl":"https://doi.org/10.1109/QEST.2008.50","url":null,"abstract":"Many of the stochastic models that are used in the performance engineering context can be viewed as Markov processes, evolving in either discrete time or continuous time. In this talk, we will discuss the use of Lyapunov functions in computing steady-state performance bounds for such Markov processes. We will further discuss how such bounds can be used to develop linear programming-based algorithms that are capable of accurately computing system performance for infinite state models, in which the Markov state descriptor is either a discrete or continuous variable. We will illustrate these linear programming ideas by discussing their application to numerical computation of stationary distributions of reflected Brownian motion (RBM); such RBMs arise as \"heavy-traffic\" limits of conventional queuing networks. This work is joint with Denis Saure and Assaf Zeevi.","PeriodicalId":161274,"journal":{"name":"2008 Fifth International Conference on Quantitative Evaluation of Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129621666","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
Prism2Promela
2008 Fifth International Conference on Quantitative Evaluation of Systems Pub Date : 1900-01-01 DOI: 10.1109/QEST.2008.20
C. Power, Alice Miller
{"title":"Prism2Promela","authors":"C. Power, Alice Miller","doi":"10.1109/QEST.2008.20","DOIUrl":"https://doi.org/10.1109/QEST.2008.20","url":null,"abstract":"The Prism model checker facilitates the formal modelling and analysis of systems that exhibit random or probabilistic behaviour. Prism lacks the provision of methods for specification debugging. To help alleviate this problem, we present a tool Prism2Promela for translating Prism into Promela. Once in this form, the SPIN model checker can be used to identify errors in the Promela specification, which can be traced back to corresponding errors in the original Prism specification.","PeriodicalId":161274,"journal":{"name":"2008 Fifth International Conference on Quantitative Evaluation of Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122391730","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学术文献互助群
群 号：604180095
Book学术官方微信