2016 · Vol. 35

6 issues

No. 1

10 articles · pp. 1–240 →

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 et al. pp. 30–54 Hierarchical Communication Diagrams Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki et al. 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 et al. 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 et al. pp. 203–221 IPO: An Inclined Planes System Optimization Algorithm Mohammad Hamed Mozaffari, Hamed Abdy, Seyed-Hamid Zahiri pp. 222–240

No. 2

10 articles · pp. 241–496 →

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 et al. 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 et al. pp. 299–337 Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification Nadia Menad, Philippe Dhaussy, Zoe Drey et al. 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 et al. pp. 470–496

No. 3

10 articles · pp. 497–760 →

Assessing Cognitive Complexity in Java-Based Object-Oriented Systems: Metrics and Tool Support Marco Crasso, Cristian Mateos, Alejandro Zunino et al. 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 et al. 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 et al. 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

No. 4

10 articles · pp. 764–1004 →

Static Analysis for Divide-and-Conquer Pattern Discovery Tamás Kozsik, Melinda Tóth, István Bozó et al. 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 et al. pp. 792–818 Defining C Preprocessor Macro Libraries with Functional Programs Boldizsár Németh, Máté Karácsony, Zoltán Kelemen et al. 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 et al. pp. 914–940 Energy Wall for Exascale Supercomputing Zhiyuan Wang, Yuhua Tang, Juan Chen et al. 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

No. 5

10 articles · pp. 1005–1248 →

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 et al. pp. 1210–1230 Incremental and Decremental Nonparametric Discriminant Analysis for Face Recognition Nitin Kumar, Ramesh Kumar Agrawal, Ajay Jaiswal pp. 1231–1248

No. 6

10 articles · pp. 1249–1514 →

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 et al. 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š et al. 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á et al. pp. 1491–1514