{"title":"Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems","authors":"Cheng Feng, J. Hillston, Daniël Reijsbergen","doi":"10.1007/978-3-319-43425-4_9","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_9","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129348706","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}
{"title":"Decoupling Passenger Flows for Improved Load Prediction","authors":"S. Haar, Simon Theissing","doi":"10.1007/978-3-319-43425-4_24","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_24","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"147 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123821237","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}
{"title":"An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing","authors":"Huaming Wu, W. Knottenbelt, K. Wolter, Yi Sun","doi":"10.1007/978-3-319-43425-4_21","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_21","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123664895","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}
L. Bortolussi, L. Cardelli, M. Kwiatkowska, L. Laurenti
{"title":"Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation","authors":"L. Bortolussi, L. Cardelli, M. Kwiatkowska, L. Laurenti","doi":"10.1007/978-3-319-43425-4_5","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_5","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115329708","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}
E. M. Hahn, V. Hashemi, H. Hermanns, Andrea Turrini
{"title":"Exploiting Robust Optimization for Interval Probabilistic Bisimulation","authors":"E. M. Hahn, V. Hashemi, H. Hermanns, Andrea Turrini","doi":"10.1007/978-3-319-43425-4_4","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_4","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126245972","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}
{"title":"Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis","authors":"P. Buchholz, T. Dayar, J. Kriege, M. C. Orhan","doi":"10.1007/978-3-319-43425-4_18","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_18","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129510265","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}
{"title":"Optimal Aggregation of Components for the Solution of Markov Regenerative Processes","authors":"E. Amparore, S. Donatelli","doi":"10.1007/978-3-319-43425-4_2","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_2","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121206922","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}
{"title":"Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses","authors":"Steffen Bondorf, J. Schmitt","doi":"10.1007/978-3-319-43425-4_15","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_15","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"30 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121017796","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}
G. Neglia, Sara Alouf, Abdulhalim Dandoush, S. Simoens, P. Dersin, Alina Tuholukova, Jérôme Billion, Pascal Derouet
{"title":"Performance Evaluation of Train Moving-Block Control","authors":"G. Neglia, Sara Alouf, Abdulhalim Dandoush, S. Simoens, P. Dersin, Alina Tuholukova, Jérôme Billion, Pascal Derouet","doi":"10.1007/978-3-319-43425-4_23","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_23","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131393350","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}
Michael J. Rausch, B. Feddersen, K. Keefe, W. Sanders
{"title":"A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE","authors":"Michael J. Rausch, B. Feddersen, K. Keefe, W. Sanders","doi":"10.1007/978-3-319-43425-4_19","DOIUrl":"https://doi.org/10.1007/978-3-319-43425-4_19","url":null,"abstract":"","PeriodicalId":150495,"journal":{"name":"International Conference on Quantitative Evaluation of Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115499896","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}