Content 2/2016

Vol. 35, 2016, No. 2

This number contains 10 articles.

Improving Accuracy of Virtual Machine Power Model by Relative-PMC Based Heuristic Scheduling
Peng Xiao, Dong-Bo Liu
pp. 241–258
Eliciting the End-to-End Behavior of SOA Applications in Clouds
Ivan Zoraja, Goran Trlin, Vaidy Sunderam
pp. 259–281
Selected Issues on Histograming on GPUs
Janusz Chwastowski, Krzysztof Korcyl, Joanna Płazek, Piotr Poznański
pp. 282–298
Combining the Continuous Integration Practice and the Model-Driven Engineering Approach
Vicente García-Díaz, Jordan Pascual Espada, Edward Rolando Nunez-Valdez, B. Cristina Pelayo G-Bustelo, Juan Manuel Cueva Lovelle
pp. 299–337
Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification
Nadia Menad, Philippe Dhaussy, Zoe Drey, Rachida Mekki
pp. 338–368
Effective Scheduling of Grid Resources Using Failure Prediction
Woochul Kang, Jibum Kim
pp. 369–390
Propagation-Based Biclustering Algorithm for Extracting Inclusion-Maximal Motifs
Patryk Orzechowski, Krzysztof Boryczko
pp. 391–410
A Set of Refactoring Rules for UML-B Specifications
Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab
pp. 411–440
Automated Implementation Process of Machine Translation System for Related Languages
Jernej Vičič, Petr Homola, Vladislav Kuboň
pp. 441–469
Modelling of Hazards Effect on Safety Integrity of Open Transmission Systems
Karol Rástočný, Mária Franeková, Peter Holečko, Iveta Zolotová
pp. 470–496