Software - Practice and Experience, Volume 45

Volume 45, Number 1, January 2015

Research Articles

• 
  Daniel Lemire, Leonid Boytsov:
  Decoding billions of integers per second through vectorization. 1-29
• 
  Chung-Ming Huang, Shih Yang Lin, Tsung-Han Hsieh:
  The personalized context-aware mobile advertisement system using a novel approaching detection method over cellular networks. 31-52
• 
  Olli Salli, Olli Nevalainen, Ville Leppänen:
  Event-driven asynchronous method calls with the D-Bus message system. 53-74
• 
  Girish Maskeri Rama, Avinash C. Kak:
  Some structural measures of API usability. 75-110

Extended Conference Paper

• 
  Sergio Nesmachnow, Francisco Luna, Enrique Alba:
  An empirical time analysis of evolutionary algorithms as C programs. 111-142

Volume 45, Number 2, February 2015

Research Articles

• 
  Daniel A. Rodríguez-Silva, Iria Rodríguez-Cruz, Francisco Javier González-Castaño:
  A software architecture for virtualized educational multimedia games in IPTV environments. 143-160
• 
  Mehdi Sheikhalishahi, Lucio Grandinetti, Richard M. Wallace, José Luis Vázquez-Poletti:
  Autonomic resource contention-aware scheduling. 161-175
• 
  Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Yérom-David Bromberg, Gilles Muller:
  Implementing an embedded compiler using program transformation rules. 177-196
• 
  Amir Vahid Dastjerdi, Saurabh Kumar Garg, Omer F. Rana, Rajkumar Buyya:
  CloudPick: a framework for QoS-aware and ontology-based service deployment across clouds. 197-231

Experience Report

• 
  Anshu Dubey, Klaus Weide, Dongwook Lee, John Bachan, Christopher S. Daley, Samuel Olofin, Noel T. Taylor, Paul M. Rich, Lynn B. Reid:
  Ongoing verification of a multiphysics community code: FLASH. 233-244

Extended Conference Paper

• 
  Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
  A suite of abstract domains for static analysis of string values. 245-287

Volume 45, Number 3, March 2015

Research Articles

• 
  Fernando J. Barros:
  Aspect-oriented programming and pluggable software units: a comparison based on design patterns. 289-314
• 
  Ricardo Terra, Marco Túlio Valente, Krzysztof Czarnecki, Roberto da Silva Bigonha:
  A recommendation system for repairing violations detected by static architecture conformance checking. 315-342
• 
  Nader Mohamed, Jameela Al-Jaroodi:
  MidCloud: an agent-based middleware for effective utilization of replicated Cloud services. 343-363

Survey Paper

• 
  Mario Andrés Paredes-Valverde, Giner Alor-Hernández, Alejandro Rodríguez González, Rafael Valencia-García, Enrique Jiménez-Domingo:
  A systematic review of tools, languages, and methodologies for mashup development. 365-397

Extended Conference Paper

• 
  Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki:
  Fast in-memory XPath search using compressed indexes. 399-434

Volume 45, Number 4, April 2015

Research Articles

• 
  Roy Friedman, Amit Portnoy:
  A generic decentralized trust management framework. 435-454
• 
  Luca Abeni, Csaba Király:
  Running repeatable and controlled virtual routing experiments. 455-471
• 
  Dae-Kyoo Kim:
  Design pattern based model transformation with tool support. 473-499
• 
  Minh Ngoc Dinh, David Abramson, Chao Jin, Andrew Gontarek, Bob Moench, Luiz De Rose:
  A data-centric framework for debugging highly parallel applications. 501-526
• 
  Dietrich Kammer, Dana Henkens, Christin Henzen, Rainer Groh:
  Gesture Formalization for Multitouch. 527-548
• 
  Tseng-Yi Chen, Hsiu-lien Yeh, Hsin-Wen Wei, Mei-ju Sun, Tsan-sheng Hsu, Wei-Kuan Shih:
  An effective monitoring framework and user interface design. 549-570

Short Communication

• 
  Tom Hume, Des Watson:
  Is superoptimization viable for VM instruction sets? 571-579

Volume 45, Number 5, May 2015

Research Articles

• 
  Alper Ortac, Martin Monperrus, Mira Mezini:
  Abmash: mashing up legacy Web applications by automated imitation of human actions. 581-612
• 
  Alain Tchana, Noel De Palma, Bruno Dillenseger, Xavier Etchevers:
  A self-scalable load injection service. 613-632
• 
  Rodrigo da Rosa Righi, Lucas Graebin, Cristiano André da Costa:
  On the replacement of objects from round-based applications over heterogeneous environments. 633-656
• 
  Yanmei Zhang, Shujuan Jiang, Guan Yuan, Xiaolin Ju, Hongchang Zhang:
  An approach of class integration test order determination based on test levels. 657-687

Experience Report

• 
  Vítor E. Silva Souza, John Mylopoulos:
  Designing an adaptive computer-aided ambulance dispatch system with Zanshin: an experience report. 689-725

Volume 45, Number 6, June 2015

Research Articles

• 
  Yannis Lilis, Anthony Savidis:
  An integrated implementation framework for compile-time metaprogramming. 727-763
• 
  Leila Ismail, Latifur Khan:
  Implementation and performance evaluation of a scheduling algorithm for divisible load parallel applications in a cloud computing environment. 765-781
• 
  Strahil Ristov, Damir Korencic:
  Fast construction of space-optimized recursive automaton. 783-799
• 
  Francesco Leotta, Massimo Mecella:
  PLaTHEA: a marker-less people localization and tracking system for home automation. 801-835

Extended Conference Paper

• 
  Jung Woo Kim, Jungjoo Seo, Jin Hong, Kunsoo Park, Sung-Ryul Kim:
  High-speed parallel implementations of the rainbow method based on perfect tables in a heterogeneous system. 837-855

Experience Report

• 
  Charles T. Cook, Yu-Shan Sun, Murali Sitaraman:
  Experience report: evolution of a web-integrated software development and verification environment. 857-872

Volume 45, Number 7, July 2015

Focus Section on Quality Software
Editorial

• 
  T. H. Tse, Arnaud Gotlieb, Zhenyu Chen:
  Focus section on quality software. 873-874

Special Issue Papers

• 
  Mickaël Delahaye, Lydie du Bousquet:
  Selecting a software engineering tool: lessons learnt from mutation analysis. 875-891
• 
  Ji Wu, Tao Yue, Shaukat Ali, Huihui Zhang:
  A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software. 893-924

Research Articles

• 
  Cristian Mateos, Juan Manuel Rodriguez, Alejandro Zunino:
  A tool to improve code-first Web services discoverability through text mining techniques. 925-948
• 
  Manoj Kumar, Arun Sharma, Rajesh Kumar:
  An empirical evaluation of a three-tier conduit framework for multifaceted test case classification and selection using fuzzy-ant colony optimisation approach. 949-971
• 
  Yang Wang, Kenneth B. Kent, Graeme Johnson:
  Improving J9 virtual machine with LTTng for efficient and effective tracing. 973-987

Experience Report

• 
  Zhe Chen, Yi Gu, Zhiqiu Huang, Jun Zheng, Chang Liu, Ziyi Liu:
  Model checking aircraft controller software: a case study. 989-1017

Volume 45, Number 8, August 2015

Intelligent Technologies and Applications for Big Data Analytics
Editorial

• 
  Ilsun You, Marek R. Ogiela, Myunggwon Hwang:
  Intelligent technologies and applications for big data analytics. 1019-1021

Special Issue Papers

• 
  Chen Li, Linpeng Huang, Luxi Chen:
  Breeze graph grammar: a graph grammar approach for modeling the software architecture of big data-oriented software systems. 1023-1050
• 
  Jamshaid Ashraf, Omar Khadeer Hussain, Farookh Khadeer Hussain:
  Making sense from Big RDF Data: OUSAF for measuring ontology usage. 1051-1071
• 
  Dongjin Choi, Pankoo Kim:
  Identifying the most appropriate expansion of acronyms used in wikipedia text. 1073-1086
• 
  Shih-Hao Hung, Tien-Tzong Tzeng, Gyun-De Wu, Jeng-Peng Shieh:
  A code offloading scheme for big-data processing in android applications. 1087-1101
• 
  Seong-hun Park, Sung-min Kim, Young-Guk Ha:
  Scalable visualization for DBpedia ontology analysis using Hadoop. 1103-1114
• 
  Taehong Kim, Myunggwon Hwang, Mi-Nyeong Hwang, Sa-Kwang Song, Do-Heon Jeong, Hanmin Jung:
  Translation of technical terminologies between English and Korean based on textual big data. 1115-1126
• 
  Aniello Castiglione, Marco Gribaudo, Mauro Iacono, Francesco Palmieri:
  Modeling performances of concurrent big data applications. 1127-1144
• 
  Antonio J. Jara, Dominique Genoud, Yann Bocchi:
  Big data for smart cities with KNIME a real experience in the SmartSantander testbed. 1145-1160

Volume 45, Number 9, September 2015

Research Articles

• 
  Damaris Fuentes-Lorenzo, Luis Sánchez, Antonio Cuadra Sánchez, Maria del Mar Cutanda-Rodríguez:
  A RESTful and semantic framework for data integration. 1161-1188
• 
  Françoise Baude, Ludovic Henrio, Cristian Ruz:
  Programming distributed and adaptable autonomous components - the GCM/ProActive framework. 1189-1227
• 
  Hsung-Pin Chang, Syuan-You Liao, Da-Wei Chang, Guo-Wei Chen:
  Profit data caching and hybrid disk-aware Completely Fair Queuing scheduling algorithms for hybrid disks. 1229-1249
• 
  Francesco Buccafurri, Gianluca Lax, Antonino Nocera, Domenico Ursino:
  A system for extracting structural information from Social Network accounts. 1251-1275

Extended Conference Paper

• 
  Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S. McKinley:
  Debugging mixed-environment programs with Blink. 1277-1306

Volume 45, Number 10, October 2015

Research Articles

• 
  Vladimir Sor, Satish Narayana Srirama, Nikita Salnikov-Tarnovski:
  Memory leak detection in Plumbr. 1307-1330
• 
  Sunny Dhillon, Qusay H. Mahmoud:
  An evaluation framework for cross-platform mobile application development tools. 1331-1357
• 
  Hasan Sözer:
  Integrated static code analysis and runtime verification. 1359-1373

Survey Paper

• 
  Chris Schneider, Adam Barker, Simon A. Dobson:
  A survey of self-healing systems frameworks. 1375-1398

Experience Reports

• 
  Johannes Willkomm, Christian H. Bischof, H. Martin Bücker:
  RIOS: efficient I/O in reverse direction. 1399-1427
• 
  Alex Dvinsky, Roy Friedman:
  Chameleon - a group communication framework for smartphones. 1429-1455

Volume 45, Number 11, November 2015

Research Articles

• 
  Diana Berbecaru, Antonio Lioy:
  Exploiting the European Union trusted service status list for certificate validation in STORK: design, implementation, and lessons learnt. 1457-1477
• 
  Xiaoyan Zhu, E. James Whitehead Jr., Caitlin Sadowski, Qinbao Song:
  An analysis of programming language statement frequency in C, C++, and Java source code. 1479-1495
• 
  Ghassan Shobaki, Laith Sakka, Najm Eldeen Abu Rmaileh, Hasan Al-Hamash:
  Experimental evaluation of various register-pressure-reduction heuristics. 1497-1517

Extended Conference Papers

• 
  Hai-Feng Guo, Zongyan Qiu:
  A dynamic stochastic model for automatic grammar-based test generation. 1519-1547
• 
  Sungju Huh, Jonghun Yoo, Seongsoo Hong:
  Cross-layer resource control and scheduling for improving interactivity in Android. 1549-1570
• 
  Sheng Di, Franck Cappello:
  GloudSim: Google trace based cloud simulator with virtual machines. 1571-1590

Short Communication

• 
  John Aycock:
  Stringlish: improved English string searching in binary files. 1591-1595

Volume 45, Number 12, December 2015

Research Articles

• 
  Nuwan Goonasekera, William J. Caelli, Colin J. Fidge:
  LibVM: an architecture for shared library sandboxing. 1597-1617
• 
  Giuseppina Cretella, Beniamino Di Martino:
  A semantic engine for porting applications to the cloud and among clouds. 1619-1637
• 
  Dominique Colnet, Benoît Sonntag:
  Exploiting array manipulation habits to optimize garbage collection and type flow analysis. 1639-1657
• 
  Aurélie Hurault, Kyungim Baek, Henri Casanova:
  Selecting linear algebra kernel composition using response time prediction. 1659-1676
• 
  Javier Criado, Diego Rodríguez-Gracia, Luis Iribarne, Nicolás Padilla:
  Toward the adaptation of component-based architectures by model transformation: behind smart user interfaces. 1677-1718

Experience Report

• 
  Cristian Duran-Faundez, Mario Ramos, Pedro Rodriguez:
  Applying Gaia and AUML for the development of multiagent-based control software for flexible manufacturing systems: addressing methodological and implementation issues. 1719-1737