https://m2.mtmt.hu/
eng
2024-03-28 13:20
Citation
27760545
APPROVED
true
0
false
2020-12-17T14:38:29.500+0000
2018-12-22T11:49:07.387+0000
true
10034408
Bérczes
Tamás
/api/author/10034408
Author
true
10034408
2018-12-27T17:36:21.982+0000
2018-12-27T17:36:21.982+0000
2018-12-27T17:36:22.025+0000
true
10051590
Takácsné Bubnó
Katalin
/api/admin/10051590
Admin
true
10051590
true
true
10002
English
/api/language/10002
Angol
Language
true
2
false
true
498515
NO
/api/publicationidentifier/498515
http://irh.inf.unideb.hu/user/jsztrik/publications/resrep/ResRep07_Linz.pdf
PublicationIdentifier
false
false
304131
/api/publication/1899047
true
true
29
29
/api/publicationtype/29
PublicationType
15
true
29
PublicationOther
Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems
1899047
false
true
1899047
true
false
true
true
10000056
Technical report (published)
true
29
29
/api/publicationtype/29
PublicationType
15
true
29
PublicationOther
/api/subtype/10000056
Kutatási jelentés (közzétett)
SubType
1575
true
10000056
false
PublicationOther
2007
true
1
/api/category/1
Category
true
1
1899047
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
88691
/api/mention/88691
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/27760545
<div class="Citation short-list"> <div class="publication Publication">Source publication: [1899047] Bérczes T et al. Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems. (2007) </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: [27760545] <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>