Content 2016

Vol. 35, 2016

This volume contains 60 articles.

Content 6/2016

Semantic Ontology Design for a Multi-Cooperative First Responder Interoperable Platform
Borka Jerman-Blažič, Nikolaos Matskanis, Rok Bojanc
pp. 1249–1276
TRACO: Source-to-Source Parallelizing Compiler
Marek Palkowski, Wlodzimierz Bielecki
pp. 1277–1306
Parallel Solver of Large Systems of Linear Inequalities Using Fourier-Motzkin Elimination
Ivan Šimeček, Richard Fritsch, Daniel Langr, Robert Lorencz
pp. 1307–1337
A New Sparse Representation Algorithm for 3D Human Pose Estimation
Azam Andalib, Seyed Morteza Babamir, Alireza Faraji
pp. 1338–1355
Application Performance Optimization in Multicloud Environment
Martin Bobák, Ladislav Hluchý, Viet Tran
pp. 1359–1385
Effective Computation Resilience in High Performance and Distributed Environments
Ladislav Hluchý, Giang Nguyen, Ján Astaloš, Viet Tran, Viera Šipková, Binh Minh Nguyen
pp. 1386–1415
Parallel Computation of Smoke Movement During a Car Park Fire
Peter Weisenpacher, Jan Glasa, Ladislav Halada
pp. 1416–1437
Dedicated Hardware for Complex Mathematical Operations
Peter Malík
pp. 1438–1466
Development of the Slovak HMM-Based TTS System and Evaluation of Voices in Respect to the Used Vocoding Techniques
Martin Sulír, Jozef Juhár, Milan Rusko
pp. 1467–1490
Artificial Intelligence Aggregating Opinions of a Group of People
Marek Bundzel, Jozef Lacko, Iveta Zolotová, Tomáš Kasanický, Jan Zelenka
pp. 1491–1514

Content 5/2016

Learning Agent for a Service-Oriented Context-Aware Recommender System in Heterogeneous Environment
Piotr Nawrocki, Bartłomiej Śnieżynski, Jakub Czyżewski
pp. 1005–1026
Blog Style Classification: Refining Affective Blogs
Martin Virik, Marian Simko, Maria Bielikova
pp. 1027–1049
A Novel Cooperation and Competition Strategy Among Multi-Agent Crawlers
Yajun Du, Yong Xu, Min Wang
pp. 1050–1078
Estimation-Based Queue Scheduling Model to Improve QoS for End Users in MANETs
Vishal Sharma, Rajesh Kumar
pp. 1079–1109
Early Failure Prediction in Software Programs: Dimensionality Reduction Kernel
Somaye Arabi Naree, Saeed Parsa
pp. 1110–1140
Evaluation of MoG Video Segmentation on GPU-based HPC System
Mirosław Jabłonski, Jaromir Przybyło
pp. 1141–1159
Verification in Privacy Preserving Data Publishing
Sandeep Varma Nadimpalli, Valli Kumari Vatsavayi
pp. 1160–1188
Copyright Protection for Digital Images on Portable Devices
Raffaele Pizzolante, Bruno Carpentieri
pp. 1189–1209
An Efficient Certificate-Based Designated Verifier Signature Scheme
Jiguo Li, Na Qian, Yichen Zhang, Xinyi Huang
pp. 1210–1230
Incremental and Decremental Nonparametric Discriminant Analysis for Face Recognition
Nitin Kumar, Ramesh Kumar Agrawal, Ajay Jaiswal
pp. 1231–1248

Content 4/2016

Static Analysis for Divide-and-Conquer Pattern Discovery
Tamás Kozsik, Melinda Tóth, István Bozó, Zoltán Horváth
pp. 764–791
Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang
Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, Aleksander Byrski
pp. 792–818
Defining C Preprocessor Macro Libraries with Functional Programs
Boldizsár Németh, Máté Karácsony, Zoltán Kelemen, Máté Tejfel
pp. 819–851
Evolution of Reactive Streams API for Context-Aware Mobile Applications
Przemysław Dadel, Krzysztof Zieliński
pp. 852–869
Using an Actor Framework for Scientific Computing: Opportunities and Challenges
Bartosz Balis, Krzysztof Borowski
pp. 870–889
Making Property-Based Testing Easier to Read for Humans
Laura M. Castro, Pablo Lamela, Simon Thompson
pp. 890–913
Improving Knowledge Acquisition in Collaborative Knowledge Construction Tool with Virtual Catalyst
Emerson Cabrera Paraiso, Geraldo Boz Junior, Milton Pires Ramos, Gilson Yukio Sato, Cesar A. Tacla
pp. 914–940
Energy Wall for Exascale Supercomputing
Zhiyuan Wang, Yuhua Tang, Juan Chen, Jingling Xue, Yun Zhou, Yong Dong
pp. 941–962
Efficient Two-Level Swarm Intelligence Approach for Multiple Sequence Alignment
Soniya Lalwani, Rajesh Kumar, Nilama Gupta
pp. 963–985
Infrastructure-Agnostic Programming and Interoperable Execution in Heterogeneous Grids
Enric Tejedor, Javier Álvarez, Rosa M. Badia
pp. 986–1004

Content 3/2016

Assessing Cognitive Complexity in Java-Based Object-Oriented Systems: Metrics and Tool Support
Marco Crasso, Cristian Mateos, Alejandro Zunino, Sanjay Misra, Pablo Polvoriín
pp. 497–527
Practical Aspects of Data Mining Using LISp-Miner
Petr Berka
pp. 528–554
Improving the Arc-Eager Model with Reverse Parsing
Daniel Fernández-González, Carlos Gómez-Rodríguez, David Vilares
pp. 555–585
Data De-Duplication with Adaptive Chunking and Accelerated Modification Identifying
Xingjun Zhang, Guofeng Zhu, Endong Wang, Scott Fowler, Xiaoshe Dong
pp. 586–614
Evolutionarily Tuned Generalized Pseudo-Inverse in Linear Discriminant Analysis
Tomasz Górecki, Maciej Łuczak
pp. 615–634
New Model of Maximal Covering Location Problem with Fuzzy Conditions
Darko Drakulić, Aleksandar Takači, Miroslav Marić
pp. 635–652
Implementing the Factory Pattern with the Help of Reflection
Matuš Chochlík
pp. 653–686
Fast Hardware Implementations of Static P Systems
Juan Quiros, Sergey Verlan, Julian Viejo, Alejandro Millan, Manuel J. Bellido
pp. 687–718
Functional Testing Using Object WorkFlow Nets
Stephane Julia, Liliane do Nascimento Vale, Ligia Maria Soares Passos
pp. 719–743
Document Summarization Using NMF and Pseudo Relevance Feedback Based on K-Means Clustering
Sun Park, ByungRae Cha, JongWon Kim
pp. 744–760

Content 2/2016

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

Content 1/2016

Thai Multi-Document Summarization: Unit Segmentation, Unit-Graph Formulation, and Unit Selection
Nongnuch Ketui, Thanaruk Theeramunkong
pp. 1–29
Integration of Link and Semantic Relations for Information Recommendation
Qin Zhao, Yuan He, Changjun Jiang, Pengwei Wang, Man Qi, Maozhen Li
pp. 30–54
Hierarchical Communication Diagrams
Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michał Wypych, Leszek Kotulski
pp. 55–83
Extensible Host Language for Domain-Specific Languages
Sergej Chodarev, Ján Kollár
pp. 84–110
Time Series Trend Analysis Based on K-Means and Support Vector Machine
Van Vo, Jiawei Luo, Bay Vo
pp. 111–127
Simple Multi-Authority Attribute-Based Encryption for Short Messages
Viktória I. Villányi
pp. 128–142
PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog
Ka Lok Man, Chi-Un Lei, Hemangee K. Kapoor, Tomas Krilavičius, Jieming Ma, Nan Zhang
pp. 143–176
Handover Architectures for Heterogeneous Networks Using the Media Independent Information Handover (MIH)
Muhammad Qasim Khan, Steinar Hidle Andresen, Muhammad Inam Ul Haq
pp. 177–202
Analysis of Range Images Used in 3D Facial Expression Recognition Systems
Xiaoli Li, Qiuqi Ruan, Gaoyun An, Yi Jin
pp. 203–221
IPO: An Inclined Planes System Optimization Algorithm
Mohammad Hamed Mozaffari, Hamed Abdy, Seyed-Hamid Zahiri
pp. 222–240