%0 Conference Proceedings
%T HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration
%+ Department of Computer and Control Engineering [Rzeszow]
%+ Department of Automatics (AGH-UST)
%A Samolej, Sławomir
%A Szmuc, Tomasz
%Z Part 2: Modelling and Formal Methods in Software Development
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 4th Central and East European Conference on Software Engineering Techniques (CEESET)
%C Krakow, Poland
%Y David Hutchison
%Y Takeo Kanade
%Y Madhu Sudan
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Moshe Y. Vardi
%Y Gerhard Weikum
%Y Tomasz Szmuc
%Y Marcin Szpyrka
%Y Jaroslav Zendulka
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%Y Bernhard Steffen
%I Springer
%3 Advances in Software Engineering Techniques
%V LNCS-7054
%P 97-108
%8 2009-10-12
%D 2009
%R 10.1007/978-3-642-28038-2_8
%K Hierarchical Timed Coloured Petri Nets
%K Web-Server Systems
%K Performance Evaluation
%K Dynamic Reconfiguration
%Z Computer Science [cs]Conference papers
%X An extension of HTCPNs-based software tool for Internet systems modelling and evaluation has been proposed in the paper. After the extension the tool provides new possibilities for modelling and analysis of dynamic cluster reconfiguration algorithm. Some implementation details of the algorithm has been presented. The algorithm has been preliminary assessed by simulation.
%G English
%Z TC 2
%2 https://inria.hal.science/hal-01527395/document
%2 https://inria.hal.science/hal-01527395/file/978-3-642-28038-2_8_Chapter.pdf
%L hal-01527395
%U https://inria.hal.science/hal-01527395
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-LNCS-7054
%~ IFIP-CEESET