Software - Practice and Experience, Volume 47

Volume 47, Number 1, January 2017

Research Articles

• 
  Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma:
  Reliable self-deployment of distributed cloud applications. 3-20
• 
  Ahmed Youssef, Muthucumaru Maheswaran, Lamis Youssef:
  Wireless GINI: an educational platform for hosting virtual wireless networks. 21-59
• 
  Héctor Pérez Tijero, Mario Aldea Rivas, Daniel Medina Ortega:
  Multiprocessor platform for partitioned real-time systems. 61-78
• 
  Kim T. Briggs, Baoguo Zhou, Gerhard W. Dueck:
  Cold object identification in the Java virtual machine. 79-95
• 
  Masoomeh Rudafshani, Paul A. S. Ward:
  LeakSpot: detection and diagnosis of memory leaks in JavaScript applications. 97-123
• 
  Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota:
  A web system for reasoning with probabilistic OWL. 125-142

Experience Report

• 
  James A. Kupsch, Elisa Heymann, Barton P. Miller, Vamshi Basupalli:
  Bad and good news about using software assurance tools. 143-156

Volume 47, Number 2, February 2017

Research Articles

• 
  Swaminathan Jayaraman, Bharat Jayaraman, Demian Lessa:
  Compact visualization of Java program execution. 163-191
• 
  Rui Humberto R. Pereira, J. Baltasar García Pérez-Schofield, Francisco Ortin:
  Modularizing application and database evolution - an aspect-oriented framework for orthogonal persistence. 193-221
• 
  Min Fu, Liming Zhu, Daniel Sun, Anna Liu, Len Bass, Qinghua Lu:
  Runtime recovery actions selection for sporadic operations on public cloud. 223-248
• 
  João Bispo, João M. P. Cardoso:
  A MATLAB subset to C compiler targeting embedded systems. 249-272

Extended Conference Papers

• 
  Leo Pruijt, Christian Köppe, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
  The accuracy of dependency analysis in static architecture compliance checking. 273-309
• 
  Sangharatna Godboley, Durga Prasad Mohapatra, Avijit Das, Rajib Mall:
  An improved distributed concolic testing approach. 311-342

Volume 47, Number 3, March 2017

Big Data and Cloud of Things (CoT)
Editorial

• 
  Rajiv Ranjan, Lizhe Wang, Prem Prakash Jayaraman, Karan Mitra, Dimitrios Georgakopoulos:
  Special issue on Big Data and Cloud of Things (CoT). 345-347

Special Issue Papers

• 
  Jiaqi Zhao, Changlong Xue, Xinlin Tao, Shugong Zhang, Jie Tao:
  Using adaptive resource allocation to implement an elastic MapReduce framework. 349-360
• 
  Xiaolong Xu, Wanchun Dou, Xuyun Zhang, Chunhua Hu, Jinjun Chen:
  A traffic hotline discovery method over cloud of things using big taxi GPS data. 361-377
• 
  Yunliang Chen, Fangyuan Li, Ze Deng, Xiaodao Chen, Jijun He:
  PM_2.5 forecasting with hybrid LSE model-based approach. 379-390
• 
  Quang Do, Ben Martini, Kim-Kwang Raymond Choo:
  Is the data on your wearable device secure? An Android Wear smartwatch case study. 391-403
• 
  Dan Chen, Yangyang Hu, Chang Cai, Ke Zeng, Xiaoli Li:
  Brain big data processing with massively parallel computing technology: challenges and opportunities. 405-420
• 
  Hao Sun, Xiaofeng Wang, Rajkumar Buyya, Jinshu Su:
  CloudEyes: Cloud-based malware detection with reversible sketch for resource-constrained internet of things (IoT) devices. 421-441
• 
  Michael Vögler, Johannes M. Schleicher, Christian Inzinger, Schahram Dustdar:
  Ahab: A cloud-based distributed big data analytics framework for the Internet of Things. 443-454
• 
  Raghavendra Kune, Pramodkumar Konugurthi, Arun Agarwal, Chillarige Raghavendra Rao, Rajkumar Buyya:
  XHAMI - extended HDFS and MapReduce interface for Big Data image processing applications in cloud computing environments. 455-472
• 
  Weishan Zhang, Pengcheng Duan, Laurence T. Yang, Feng Xia, Zhongwei Li, Qinghua Lu, Wenjuan Gong, Su Yang:
  Resource requests prediction in the cloud computing environment with a deep belief network. 473-488
• 
  Valter Vasic, Aleksandar Antonic, Kresimir Pripuzic, Miljenko Mikuc, Ivana Podnar Zarko:
  Adaptable secure communication for the Cloud of Things. 489-501

Volume 47, Number 4, April 2017

Research Articles

• 
  Sareh Fotuhi Piraghaj, Amir Vahid Dastjerdi, Rodrigo N. Calheiros, Rajkumar Buyya:
  ContainerCloudSim: An environment for modeling and simulation of containers in cloud data centers. 505-521
• 
  Jyrki Katajainen:
  All-in-one implementation framework for binary heaps. 523-558
• 
  Young-Kyoon Suh, Richard T. Snodgrass, John D. Kececioglu, Peter J. Downey, Robert S. Maier, Cheng Yi:
  EMP: execution time measurement protocol for compute-bound programs. 559-597

Survery Paper

• 
  Muhammad Aufeef Chauhan, Muhammad Ali Babar, Boualem Benatallah:
  Architecting cloud-enabled systems: a systematic survey of challenges and solutions. 599-644

Volume 47, Number 5, May 2017

Research Articles

• 
  Eduardo González López de Murillas, Javier Fabra, Pedro Álvarez, Joaquín Ezpeleta:
  Parallel computation of the reachability graph of petri net models with semantic information. 647-668
• 
  Howard Chivers:
  Optimising unicode regular expression evaluation with previews. 669-688
• 
  Ahmet Fatih Mustacoglu:
  A novel model-driven approach for seamless integration. 689-708
• 
  Yi Zhu, Zhiqiu Huang, Hang Zhou:
  Modeling and verification of Web services composition based on model transformation. 709-730
• 
  Tamanna Chhabra, Simone Faro, M. Oguzhan Külekci, Jorma Tarhio:
  Engineering order-preserving pattern matching with SIMD parallelism. 731-739

Experience Reports

• 
  Paul van der Walt, Charles Consel, Emilie Balland:
  Frameworks compiled from declarations: a language-independent approach. 741-762
• 
  Ana Rodriguez, Cristian Mateos, Alejandro Zunino:
  Improving scientific application execution on android mobile devices via code refactorings. 763-796

Volume 47, Number 6, June 2017

Research Articles

• 
  Szymon Grabowski, Robert Susik, Marcin Raniszewski:
  A Bloom filter based semi-index on q-grams. 799-811
• 
  Lingfang Zeng, Shijie Xu, Yang Wang, Kenneth B. Kent, David Bremner, Cheng-Zhong Xu:
  Toward cost-effective replica placements in cloud storage systems with QoS-awareness. 813-829
• 
  Alexandre Kandalintsev, Dzmitry Kliazovich, Renato Lo Cigno:
  Freeze'nSense: estimation of performance isolation in cloud environments. 831-847
• 
  Yue Ding, Dong Wang, Guoqiang Li, Daniel Sun, Xin Xin, Shiyou Qian:
  Exploiting long-term and short-term preferences and RFID trajectories in shop recommendation. 849-865
• 
  Enrique Costa-Montenegro, Alexander Tsybanev, Héctor Cerezo-Costas, Francisco Javier González-Castaño, Felipe J. Gil-Castiñeira, Ana Belén Barragáns-Martínez, Diego Almuiña-Troncoso:
  In-memory distributed software solution to improve the performance of recommender systems. 867-889
• 
  Hailong Sun, Bang Xiao, Xu Wang, Xudong Liu:
  Adaptive trade-off between consistency and performance in data replication. 891-906

Survery Paper

• 
  Guido Barbaglia, Simone Murzilli, Stefano Cudini:
  Definition of REST web services with JSON schema. 907-920

Extended Conference Paper

• 
  Herman De Beukelaer, Guy F. Davenport, Geert De Meyer, Veerle Fack:
  JAMES: An object-oriented Java framework for discrete optimization using local search metaheuristics. 921-938

Volume 47, Number 7, July 2017

Software Reuse
Editorial

• 
  Dae-Kyoo Kim, Eunjee Song, Jungwoo Ryoo, Y. Raghu Reddy:
  Special issue on software reuse. 941-942

Special Issue Papers

• 
  Denise Bombonatti, Miguel Goulão, Ana Moreira:
  Synergies and tradeoffs in software reuse - a systematic mapping study. 943-957
• 
  André L. Santos:
  Variability management of plugin-based systems using feature models. 959-970
• 
  Naveen Kulkarni, Vasudeva Varma:
  Perils of opportunistically reusing software module. 971-984
• 
  Omar Alam, Jörg Kienzle, Gunter Mussbacher:
  Modelling a family of systems for crisis management with concern-oriented reuse. 985-999
• 
  Neunghoe Kim, Soojin Park, Dongwon Jeong, ManSoo Hwang, Sooyong Park, Hoh Peter In:
  EURECA: End-user requirements engineering with collaborative animation. 1001-1012
• 
  Somayeh Malakuti:
  Modular composition of multiple applications with architectural event modules. 1013-1025
• 
  Eleni Constantinou, Ioannis Stamelos:
  Identifying evolution patterns: a metrics-based approach for external library reuse. 1027-1039

Volume 47, Number 8, August 2017

Software systems for data-centric smart city applications
Editorial

• 
  Dan Chen, Lizhe Wang, Suiping Zhou:
  Software systems for data-centric smart city applications. 1043-1044

Special Issue Papers

• 
  Zhixin Liu, Peng Zhang, Hak-Keung Lam, Kit Yan Chan, Kai Ma:
  Robust power optimization scheme for cooperative wireless relay system in smart city. 1045-1059
• 
  Jing Xiao, Zhongyuan Wang, Yu Chen, Liang Liao, Jun Xiao, Gen Zhan, Ruimin Hu:
  A sensitive object-oriented approach to big surveillance data compression for social security applications in smart cities. 1061-1080
• 
  Jin Liu, Xiao Yu, Zheng Xu, Kim-Kwang Raymond Choo, Liang Hong, Xiaohui Cui:
  A cloud-based taxi trace mining framework for smart city. 1081-1094
• 
  Darren Quick, Kim-Kwang Raymond Choo:
  Big forensic data management in heterogeneous distributed systems: quick analysis of multimedia forensic data. 1095-1109
• 
  Leyuan Liu, Jingying Chen, Changxin Gao, Nong Sang:
  A low-cost real-time face tracking system for ITSs and SDASs. 1111-1126
• 
  Weishan Zhang, Dehai Zhao, Zhi Chai, Laurence T. Yang, Xin Liu, Faming Gong, Su Yang:
  Deep learning and SVM-based emotion recognition from Chinese speech for smart affective services. 1127-1138
• 
  Prem Prakash Jayaraman, Charith Perera, Dimitrios Georgakopoulos, Schahram Dustdar, Dhavalkumar Thakker, Rajiv Ranjan:
  Analytics-as-a-service in a multi-cloud environment through semantically-enabled hierarchical data processing. 1139-1156

Volume 47, Number 9, September 2017

Cloud and Fog Computing
Special Issue Papers

• 
  Pooyan Jamshidi, Claus Pahl, Nabor C. Mendonça:
  Pattern-based multi-cloud architecture migration. 1159-1184
• 
  Antonio Celesti, Davide Mulfari, Maria Fazio, Antonio Puliafito, Massimo Villari:
  Evaluating alternative DaaS solutions in private and public OpenStack Clouds. 1185-1200
• 
  Lingfang Zeng, Yang Wang, Kenneth B. Kent, Ziliang Xiao:
  Naplus: a software distributed shared memory for virtual clusters in the cloud. 1201-1220
• 
  Mohsen Amini Salehi, Thomas Caldwell, Alejandro Fernandez, Emmanuel Mickiewicz, Eric Rozier, Saman A. Zonouz, David Redberg:
  RESeED: A secure regular-expression search tool for storage clouds. 1221-1241
• 
  Bashir Mohammed, Mariam Kiran, Kabiru M. Maiyama, Mumtaz M. Kamala, Irfan-Ullah Awan:
  Failover strategy for fault tolerance in cloud computing environment. 1243-1274
• 
  Harshit Gupta, Amir Vahid Dastjerdi, Soumya K. Ghosh, Rajkumar Buyya:
  iFogSim: A toolkit for modeling and simulation of resource management techniques in the Internet of Things, Edge and Fog computing environments. 1275-1296

Volume 47, Number 10, October 2017

Research Articles

• 
  Dmytro Ivanchykhin, Sergey Ignatchenko, Daniel Lemire:
  Regular and almost universal hashing: an efficient implementation. 1299-1323
• 
  Luiz Henrique Nunes, Júlio Cezar Estrella, Charith Perera, Stephan Reiff-Marganiec, Alexandre Cláudio Botazzo Delbem:
  Multi-criteria IoT resource discovery: a comparative analysis. 1325-1341
• 
  Pujana Paliyawan, Ruck Thawonmas:
  UKI: universal Kinect-type controller by ICE Lab. 1343-1363
• 
  B. B. Zaidan, A. A. Zaidan, H. Abdul Karim, N. N. Ahmad:
  A new digital watermarking evaluation and benchmarking methodology using an external group of evaluators and multi-criteria analysis based on 'large-scale data'. 1365-1392
• 
  Ritu Arora, Sanjay Goel, R. K. Mittal:
  Supporting collaborative software development over GitHub. 1393-1416

Experience Reports

• 
  Eric Hsiao-Kuang Wu, Shumin Chuang, Chen-Yen Shih, Hao-Che Hsueh, Shih-Syuan Huang, Hsiao-Ping Huang:
  A flexible and lightweight user-demand DRM system for multimedia contents over multiple portable device platforms. 1417-1441
• 
  Miyuru Dayarathna, Yuanlong Li, Yonggang Wen, Rui Fan:
  Energy consumption analysis of data stream processing: a benchmarking approach. 1443-1462

Volume 47, Number 11, November 2017

Research Articles

• 
  Samoel Mirachi, Valdir da Costa Guerra, Adilson Marques da Cunha, Luiz Alberto Vieira Dias, Emília Villani:
  Applying agile methods to aircraft embedded software: an experimental analysis. 1465-1484
• 
  Omar Kermia:
  Schedulability analysis and efficient scheduling of rate constrained messages in the TTEthernet protocol. 1485-1499
• 
  Vlad Nitu, Boris Teabe, Leon Fopa, Alain Tchana, Daniel Hagimont:
  StopGap: elastic VMs to enhance server consolidation. 1501-1519
• 
  Bruno Bachelet, Loïc Yon:
  Designing expression templates with concepts. 1521-1537
• 
  Subhrakanta Panda, Durga Prasad Mohapatra:
  Regression test suite minimization using integer linear programming model. 1539-1560
• 
  Luis Iribarne, José Andrés Asensio, Nicolás Padilla, Javier Criado:
  Modeling Big data-based systems through ontological trading. 1561-1596
• 
  Uwe Kastens, William M. Waite:
  Name analysis for modern languages: a general solution. 1597-1631
• 
  Neelofar, Lee Naish, Jason Lee, Kotagiri Ramamohanarao:
  Improving spectral-based fault localization using static analysis. 1633-1655
• 
  Teemu Sirkiä, Lassi Haaranen:
  Improving online learning activity interoperability with Acos server. 1657-1676
• 
  Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
  Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. 1677-1705
• 
  Datta Ramadasan, Marc Chevaldonné, Thierry Chateau:
  LMA: A generic and efficient implementation of the Levenberg-Marquardt Algorithm. 1707-1727
• 
  Fabienne Boyer, Olivier Gruber, Damien Pous:
  A robust reconfiguration protocol for the dynamic update of component-based software systems. 1729-1753

Extended Conference Papers

• 
  Szymon Grabowski, Marcin Raniszewski:
  Sampled suffix array with minimizers. 1755-1771
• 
  Daniela Briola, Vincenzo Deufemia, Viviana Mascardi, Luca Paolino:
  Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience. 1773-1799
• 
  Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina:
  Exogenous coordination of concurrent software components with JavaBIP. 1801-1836
• 
  A. Omar Portillo-Dominguez, Philip Perry, Damien Magoni, John Murphy:
  PHOEBE: an automation framework for the effective usage of diagnosis tools in the performance testing of clustered systems. 1837-1874

Volume 47, Number 12, December 2017

Research Articles

• 
  Jorma Tarhio, Jan Holub, Emanuele Giaquinta:
  Technology beats algorithms (in exact string matching). 1877-1885
• 
  Khadija Letrache, Omar El Beggar, Mohammed Ramdani:
  The automatic creation of OLAP cube using an MDA approach. 1887-1903
• 
  Mauro Caporuscio, Raffaela Mirandola, Catia Trubiani:
  Building design-time and run-time knowledge for QoS-based component assembly. 1905-1922
• 
  Achim D. Brucker, Bo Zhou, Francesco Malmignati, Qi Shi, Madjid Merabti:
  Modelling, validating, and ranking of secure service compositions. 1923-1943
• 
  Alireza Rouhi, Bahman Zamani:
  A model-based framework for automatic generation of a pattern language verifier. 1945-1980