{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T10:55:13Z","timestamp":1785322513284,"version":"3.55.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icse.2009.5070513","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T18:24:29Z","timestamp":1244658269000},"page":"111-121","source":"Crossref","is-referenced-by-count":179,"title":["Model evolution by run-time parameter adaptation"],"prefix":"10.1109","author":[{"given":"Ilenia","family":"Epifani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giordano","family":"Tamburrelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.30"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.76.011106"},{"key":"ref31","author":"smith","year":"2002","journal-title":"Performance Solutions A Practical Guide to Creating Responsive Scalable Software"},{"key":"ref30","first-page":"107","article-title":"Stochastic modeling of composite web services for closed-form analysis of their performance and reliability bottlenecks","author":"sato","year":"2007","journal-title":"ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing"},{"key":"ref10","year":"0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368104"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176344611"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287657"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"ref15","article-title":"Mercury LoadRunner Monitor Reference","author":"fraser","year":"2004","journal-title":"Mercury Interactive"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1147\/sj.421.0005"},{"key":"ref18","author":"ghosh","year":"2003","journal-title":"Bayesian Nonparametrics"},{"key":"ref19","first-page":"447","article-title":"Structure-Based Software Reliability Prediction","author":"gokhale","year":"1997","journal-title":"Proc of Fifth Intl Conference on Advanced Computing (ADCOMP97)"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/944217.944233","article-title":"service-oriented Computing","volume":"46","author":"papazoglou","year":"2003","journal-title":"Communications of the ACM"},{"key":"ref4","article-title":"Towards Dynamic Monitoring of WS-BPEL Processes","author":"baresi","year":"2005","journal-title":"Proceedings of the 3rd International Conference on Service Oriented Computing"},{"key":"ref27","article-title":"Model-checking verification for reliable web service","author":"nakajima","year":"2002","journal-title":"OOPSLA 2002 Workshop on Object-Oriented Web Services"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20070027"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4286-2","author":"berger","year":"1985","journal-title":"Statistical Decision Theory and Bayesian Analysis"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453125"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1216993.1217006"},{"key":"ref8","article-title":"An overview of the jmt queueing network simulator","author":"bertoli","year":"2007","journal-title":"Technical Report TR 2007 2 Politecnico di Milano - DEI"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ANSS.2007.41"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1002\/0471200581","author":"bolch","year":"1998","journal-title":"Queueing Networks and Markov Chains Modeling and Performance Evaluation with Computer Science Applications"},{"key":"ref1","author":"alves","year":"2006","journal-title":"Web services business process execution language version 2 0 OASIS Committee Draft"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.4"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/11691372_29","article-title":"PRISM: A tool for automatic verification of probabilistic systems","volume":"3920","author":"hinton","year":"2006","journal-title":"Proc 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS06)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919109"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2004.1348048"},{"key":"ref23","year":"0","journal-title":"JMeter"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3267-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/S1351324900000218"}],"event":{"name":"2009 IEEE 31st International Conference on Software Engineering","location":"Vancouver, BC, Canada","start":{"date-parts":[[2009,5,16]]},"end":{"date-parts":[[2009,5,24]]}},"container-title":["2009 IEEE 31st International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5062304\/5070493\/05070513.pdf?arnumber=5070513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T14:24:10Z","timestamp":1710426250000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5070513\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/icse.2009.5070513","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}