Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/epew/epew2007.bht:"
@inproceedings{DBLP:conf/epew/BabkaDT07, author = {Vlastimil Babka and Martin Deck{\'{y}} and Petr Tuma}, editor = {Katinka Wolter}, title = {Resource Sharing in Performance Models}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {245--259}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_18}, doi = {10.1007/978-3-540-75211-0\_18}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/epew/BabkaDT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/BeginBBWF07, author = {Thomas Begin and Alexandre Brandwajn and Bruno Baynat and Bernd E. Wolfinger and Serge Fdida}, editor = {Katinka Wolter}, title = {Towards an Automatic Modeling Tool for Observed System Behavior}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {200--212}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_15}, doi = {10.1007/978-3-540-75211-0\_15}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/BeginBBWF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/BellH07, author = {Alexander Bell and Boudewijn R. Haverkort}, editor = {Katinka Wolter}, title = {Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {2--17}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_2}, doi = {10.1007/978-3-540-75211-0\_2}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/BellH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/BusicP07, author = {Ana Busic and Nihal Pekergin}, editor = {Katinka Wolter}, title = {Closed Form Absorption Time Bounds}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {33--47}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_4}, doi = {10.1007/978-3-540-75211-0\_4}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/BusicP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/CortellessaF07, author = {Vittorio Cortellessa and Laurento Frittella}, editor = {Katinka Wolter}, title = {A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {171--185}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_13}, doi = {10.1007/978-3-540-75211-0\_13}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/CortellessaF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/FourneauPY07, author = {Jean{-}Michel Fourneau and Nihal Pekergin and Sana Youn{\`{e}}s}, editor = {Katinka Wolter}, title = {Censoring Markov Chains and Stochastic Bounds}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {213--227}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_16}, doi = {10.1007/978-3-540-75211-0\_16}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/FourneauPY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/FreitagCCBNA07, author = {Felix Freitag and Pablo Chacin and Isaac Chao and Ren{\'{e}} Brunner and Leandro Navarro and Oscar Ardaiz}, editor = {Katinka Wolter}, title = {Performance Measuring Framework for Grid Market Middleware}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {141--153}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_11}, doi = {10.1007/978-3-540-75211-0\_11}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/FreitagCCBNA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/GoeringHHH07, author = {Patrick Goering and Geert J. Heijenk and Boudewijn R. Haverkort and Robbert Haarman}, editor = {Katinka Wolter}, title = {The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {284--300}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_21}, doi = {10.1007/978-3-540-75211-0\_21}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/epew/GoeringHHH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/HorvathT07, author = {G{\'{a}}bor Horv{\'{a}}th and Mikl{\'{o}}s Telek}, editor = {Katinka Wolter}, title = {A Canonical Representation of Order 3 Phase Type Distributions}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {48--62}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_5}, doi = {10.1007/978-3-540-75211-0\_5}, timestamp = {Wed, 25 Apr 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/HorvathT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/KuntzH07, author = {Matthias Kuntz and Boudewijn R. Haverkort}, editor = {Katinka Wolter}, title = {Faster {SPDL} Model Checking Through Property-Driven State Space Generation}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {80--96}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_7}, doi = {10.1007/978-3-540-75211-0\_7}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/epew/KuntzH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/LopezNR07, author = {Natalia L{\'{o}}pez and Manuel N{\'{u}}{\~{n}}ez and Ismael Rodr{\'{\i}}guez}, editor = {Katinka Wolter}, title = {{SPAMR:} Extending {PAMR} with stochastic time}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {63--79}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_6}, doi = {10.1007/978-3-540-75211-0\_6}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/LopezNR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/Marco07, author = {Alessandro Di Marco}, editor = {Katinka Wolter}, title = {Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {260--274}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_19}, doi = {10.1007/978-3-540-75211-0\_19}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/Marco07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/MarkovskiSTV07, author = {Jasen Markovski and Ana Sokolova and Nikola Trcka and Erik P. de Vink}, editor = {Katinka Wolter}, title = {Compositionality for Markov Reward Chains with Fast Transitions}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {18--32}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_3}, doi = {10.1007/978-3-540-75211-0\_3}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/MarkovskiSTV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/MelloMF07, author = {Emerson Ribeiro de Mello and Aad P. A. van Moorsel and Joni da Silva Fraga}, editor = {Katinka Wolter}, title = {Evaluation of {P2P} Search Algorithms for Discovering Trust Paths}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {112--124}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_9}, doi = {10.1007/978-3-540-75211-0\_9}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/MelloMF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/MerayoNR07, author = {Mercedes G. Merayo and Manuel N{\'{u}}{\~{n}}ez and Ismael Rodr{\'{\i}}guez}, editor = {Katinka Wolter}, title = {Testing Finite State Machines Presenting Stochastic Time and Timeouts}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {97--111}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_8}, doi = {10.1007/978-3-540-75211-0\_8}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/MerayoNR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/Mitrani07, author = {Isi Mitrani}, editor = {Katinka Wolter}, title = {Optimization Problems in Service Provisioning Systems}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {1}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_1}, doi = {10.1007/978-3-540-75211-0\_1}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/Mitrani07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/MohammedOM07, author = {Aminu Mohammed and Mohamed Ould{-}Khaoua and Lewis M. Mackenzie}, editor = {Katinka Wolter}, title = {An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {275--283}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_20}, doi = {10.1007/978-3-540-75211-0\_20}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/MohammedOM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/NouKT07, author = {Ramon Nou and Samuel Kounev and Jordi Torres}, editor = {Katinka Wolter}, title = {Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: {A} Globus Toolkit Case Study}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {125--140}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_10}, doi = {10.1007/978-3-540-75211-0\_10}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/NouKT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/SachsKBB07, author = {Kai Sachs and Samuel Kounev and Jean Bacon and Alejandro P. Buchmann}, editor = {Katinka Wolter}, title = {Workload Characterization of the SPECjms2007 Benchmark}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {228--244}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_17}, doi = {10.1007/978-3-540-75211-0\_17}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/SachsKBB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/SadreHR07, author = {Ramin Sadre and Boudewijn R. Haverkort and Patrick Reinelt}, editor = {Katinka Wolter}, title = {A Fixed-Point Algorithm for Closed Queueing Networks}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {154--170}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_12}, doi = {10.1007/978-3-540-75211-0\_12}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/epew/SadreHR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/SlegersMT07, author = {Joris Slegers and Isi Mitrani and Nigel Thomas}, editor = {Katinka Wolter}, title = {Optimal Dynamic Server Allocation in Systems with On/Off Sources}, booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, pages = {186--199}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0\_14}, doi = {10.1007/978-3-540-75211-0\_14}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/SlegersMT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/epew/2007, editor = {Katinka Wolter}, title = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany, September 27-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4748}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75211-0}, doi = {10.1007/978-3-540-75211-0}, isbn = {978-3-540-75210-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.