https://m2.mtmt.hu/
eng
2024-03-28 22:34
Citation
27760554
APPROVED
true
0
false
2020-12-17T11:27:49.440+0000
2018-12-22T11:54:11.325+0000
true
10034408
Bérczes
Tamás
/api/author/10034408
Author
true
10034408
2018-12-22T12:05:55.392+0000
2018-12-22T12:05:55.392+0000
true
16
true
10002
English
/api/language/10002
Angol
Language
true
2
false
true
363851
NO
/api/publicationidentifier/363851
84888340292
PublicationIdentifier
false
false
1845672
/api/publication/1498511
true
true
31
31
/api/publicationtype/31
PublicationType
4
true
31
BookChapter
Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM
1498511
false
true
1498511
true
true
true
true
true
10000197
Conference paper
true
31
31
/api/publicationtype/31
PublicationType
4
true
31
BookChapter
/api/subtype/10000197
Konferenciaközlemény
SubType
452
true
10000197
true
BookChapter
2009
true
1
/api/category/1
Category
true
1
1498511
true
16
true
10002
English
/api/language/10002
Angol
Language
true
2
true
true
15074021
/api/publicationidentifier/15074021
10.1007/978-3-030-02227-3_7
PublicationIdentifier
false
true
15084522
/api/publicationidentifier/15084522
85055551288
PublicationIdentifier
true
true
15074022
/api/publicationidentifier/15074022
http://link.springer.com/10.1007/978-3-030-02227-3_7
PublicationIdentifier
false
/api/publication/30358187
true
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach
false
30358187
false
true
true
true
true
10000312
Conference paper
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
/api/subtype/10000312
Konferenciaközlemény
SubType
228
true
10000312
true
BookChapter
2018
true
1
/api/category/1
Category
true
1
30358187
true
1
Mention
61724
/api/mention/61724
1
97
Furthermore, the works in [6] and [9] have shown the applicability of probabilistic model checking to formulate queuing network based models with several layers of existing models in the literature and the advantage of this approach compared to classical performance modelling tools,
false
true
/api/citation/27760554
<div class="Citation short-list"> <div class="publication Publication">Source publication: [1498511] Tamás Bérczes et al. Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM. (2009) In: Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09) pp. 37-52 </div> <div class="related Publication" style="margin-top: 6px; margin-left: 20px">Citing publication: <div class="BookChapter Publication short-list"> <div class="authors"> <span class="author-name" >Isstaif, Al Amjad Tawfiq </span> <span class="author-type"></span> ; <span class="author-name" >Alhafez, Nizar </span> <span class="author-type"></span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;30358187" mtid="30358187" target="_blank">Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach</a></div> <div class="InBook">In: Remke, Anne; Castel-Taleb, Hind; Barbot, Benoît; Ballarini, Paolo; Bakhshi, Rena - <span class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;30358188" target="_blank">Computer Performance Engineering </a></span > </div><div class="pub-info"> <span class="publishedAt">CHAM : <span class="publisher">Springer International Publishing</span>, <span class="year">(2018)</span> <span class="page"> pp. 94-109. Paper: Chapter 7 , 16 p.</span></div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_" title=" "> <a style="color: black" title="10.1007/978-3-030-02227-3_7" target="_blank" href="https://doi.org/10.1007%2F978-3-030-02227-3_7">DOI</a> </span> <span class="id identifier oa_" title=" "> <a style="color: black" title="85055551288" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85055551288">Scopus</a> </span> <span class="id identifier oa_" title=" "> <a style="color: black" title="http://link.springer.com/10.1007/978-3-030-02227-3_7" target="_blank" href="http://link.springer.com/10.1007/978-3-030-02227-3_7">Egyéb URL</a> </span> </span> </div> <span class="short-pub-prop-list"><span class="short-pub-mtid"> Publication:30358187 </span> <span class="status-holder"><span class="status-data status-ADMIN_APPROVED"> Admin approved </span></span> <span class="pub-core"> Citing </span> <span class="pub-type">Chapter in Book (Conference paper ) </span> <span class="citing-count2">Number of cited publications: 2 </span> </span> </div> </div> </div> <div class="citation" style="margin-top: 6px; margin-left: 20px"><i>Relation: [27760554] <span class="status-data status-APPROVED"> Published </span> | <span class="externalCitation-data externalCitation-true"> Independent citation </span> | National origin: Unknown | Foreign edition: True | Mention count: 1 </i></div> <ol> <li> Page: 97 </li> </ol> </div>