table of contents - sigapp · table of contents scroll to the title and select a blue link to open...

42
Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left to return to the beginning of the Table of Contents. Symposium Organizing Committee ................................................................................................................. iii Sponsoring SIG Information ............................................................................................................................ iv Track Chairs (Co-Editors) .................................................................................................................................. v Message from the Symposium Chairs ................................................................................................................ x Message from the Program Chairs .................................................................................................................. xi Volume I: Artificial Intelligence & Agents, Distributed Systems, and Information Systems BioHealth Informatics Track Track Co-Chairs: Paola Lecca, University of Trento, Italy Josette Jones, Indiana University Purdue University, USA Dan Tulpan, National Research Council, Canada Mathew Palakal, Indiana University Purdue University, USA Track Editorial ................................................................................................................................................... 1 Parameter Estimation and Simulation for One-Choice Ratcliff Diffusion Model ....................................... 3 Amiya Patanaik, Nanyang Technological University, Singapore Vitali Zagorodnov, Nanyang Technological University, Singapore C.K. Kwoh, Nanyang Technological University, Singapore Improved Heart Rate Detection using Smart Phone ...................................................................................... 8 Arpan Pal, Tata Consultancy Services, India Aishwarya Visvanathan, Tata Consultancy Services, India Anirban Dutta Choudhury, Tata Consultancy Services, India Aniruddha Sinha, Tata Consultancy Services, India Secure Monitoring for Dementia Patients ....................................................................................................... 14 Udaya Tupakula, Macquarie University, Australia Vijay Varadharajan, Macquarie University, Australia

Upload: others

Post on 28-Jun-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left to return to the beginning of the Table of Contents.

Symposium Organizing Committee ................................................................................................................. iii

Sponsoring SIG Information ............................................................................................................................ iv

Track Chairs (Co-Editors) .................................................................................................................................. v

Message from the Symposium Chairs ................................................................................................................ x

Message from the Program Chairs .................................................................................................................. xi

Volume I: Artificial Intelligence & Agents, Distributed Systems, and Information Systems

BioHealth Informatics Track Track Co-Chairs: Paola Lecca, University of Trento, Italy Josette Jones, Indiana University Purdue University, USA Dan Tulpan, National Research Council, Canada Mathew Palakal, Indiana University Purdue University, USA

Track Editorial ................................................................................................................................................... 1

Parameter Estimation and Simulation for One-Choice Ratcliff Diffusion Model ....................................... 3 Amiya Patanaik, Nanyang Technological University, Singapore Vitali Zagorodnov, Nanyang Technological University, Singapore C.K. Kwoh, Nanyang Technological University, Singapore

Improved Heart Rate Detection using Smart Phone ...................................................................................... 8 Arpan Pal, Tata Consultancy Services, India Aishwarya Visvanathan, Tata Consultancy Services, India Anirban Dutta Choudhury, Tata Consultancy Services, India Aniruddha Sinha, Tata Consultancy Services, India

Secure Monitoring for Dementia Patients ....................................................................................................... 14 Udaya Tupakula, Macquarie University, Australia Vijay Varadharajan, Macquarie University, Australia

Page 2: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Bespoke Video Games to Provide Early Response Markers to Identify the Optimal Strategies for Maximizing Rehabilitation ........................................................................................ 20 S. Graziadio, Newcastle University, UK R. Davison, Newcastle University, UK K. Shalabi, Newcastle University, UK K.M.A. Sahota, Newcastle University, UK G. Ushaw, Newcastle University, UK G. Morgan, Newcastle University, UK J.A. Eyre, Newcastle University, UK

A Model-Based Architecture for Testing Medical Cyber-Physical Systems ................................................ 25 Lenardo C. Silva, UFCG, Brazil Mirko Perkusich, UFCG, Brazil Frederico M. Bublitz, UEPB, Brazil Hyggo O. Almeida, UFCG, Brazil Angelo Perkusich, UFCG, Brazil

Poster Papers

Similar MRI Object Retrieval based on Modified Contour to Centroid Triangulation with Arc Difference Rate .......................................................................................................... 31 Byung K. Jung, South Dakota State University, USA Sung Y. Shin, South Dakota State University, USA Wei Wang, South Dakota State University, USA Hyung D. Choi, Electronics and Telecommunications Research Institute, South Korea Jeong K. Pack, Chungnam National University, South Korea

Design and Implementation of a Personal Health Monitoring System with an Effective SVM-Based PVC Detection Algorithm in Cardiology ................................................................... 33 Huan Chen, National Chung Hsing University, Taiwan Guo-Tan Liao, National Chung Cheng University, Taiwan Yao-Chung Fan, National Chung Hsing University, Taiwan Bo-Chao Cheng, National Chung Cheng University, Taiwan Cheng-Min Chen, National Chung Hsing University, Taiwan Ting-Chun Kuo, National Chung Hsing University, Taiwan

A Low Cost Digital Operating Room ............................................................................................................... 36 A. Klinger, UFRGS, Brazil G.L. de Lima, UFRGS and I9access Technology, Brazil V. Roesler, UFRGS, Brazil G. Maron, UFRGS, Brazil G. Longoni, UFRGS, Brazil V. Goulart, UFRGS, Brazil F.S. dos Santos, UFRGS, Brazil M.D. Ferreira, Santa Casa de Misericórdia, Brazil M.B. Mariano, Brazilian Santa Casa de Misericordia de Porto Alegre, Brazil

Page 3: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Computational Intelligence and Video & Image Analysis Track Track Co-Chairs: Agostinho Rosa, LaSEEB – ISR – IST – Technical University of Lisbon, Portugal Yin-Fu Huang, National Yunlin University of Science and Technology, Taiwan

Track Editorial ................................................................................................................................................... 38

Feature Description based on Center-Symmetric Local Mapped Patterns ................................................. 39 Carolina Toledo Ferraz, University of São Paulo, Brazil Osmando Pereira, Jr., University of São Paulo, Brazil Adilson Gonzaga, University of São Paulo, Brazil

Faster Seam Carving with Minimum Energy Windows ................................................................................ 45 César L. Blum Silveira, University of Vale do Rio dos Sinos, Brazil Luiz Gonzaga, Jr., University of Vale do Rio dos Sinos, Brazil Kleinner Farias, University of Vale do Rio dos Sinos, Brazil Fabio de Oliveira Mierlo, V3D::Innovative Visualization Company, Brazil Cristiano André da Costa, University of Vale do Rio dos Sinos, Brazil Rodrigo da Rosa Righi, University of Vale do Rio dos Sinos, Brazil

Representing Local Binary Descriptors with BossaNova for Visual Recognition ....................................... 49 Carlos Caetano, Federal University of Minas Gerais, Brazil Sandra Avila, Federal University of Minas Gerais, Brazil Silvio Guimarães, Pontifical Catholic University of Minas Gerais, Brazil Arnaldo de A. Araújo, Federal University of Minas Gerais, Brazil

Poster Papers

Face Recognition based on Global and Local Features .................................................................................. 55 Cleber Zanchettin, Federal University of Pernambuco, Brazil

Two Level Reversible Data Hiding in 2D Images ........................................................................................... 58 N. Ramalingeswara Swamy, Indian Institute of Technology, India Saiful Islam, Indian Institute of Technology, India Phalguni Gupta, Indian Institute of Technology, India

Anthropometric and Human Gait Identification using Skeleton Data from Kinect Sensor ...................... 60 Virginia Andersson, UFPel, Brazil Rafael Dutra, UFPel, Brazil Ricardo Araújo, UFPel, Brazil

Data Mining Track Track Co-Chairs: Hasan Jamil, University of Idaho, USA Raymond Wong, University of New South Wales, Australia Stefan Kramer, Johannes Gutenberg University – Mainz, Germany

Track Editorial ................................................................................................................................................... 62

Online Learning with Mobile Sensor Data for user Recognition .................................................................. 64 Haiguang Li, University of Vermont, USA Xindong Wu, University of Vermont, USA Zhao Li, TCL Research America, USA

Page 4: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Fast Time Series Classification under Lucky Time Warping Distance ...................................................... 71 Stephan Spiegel, Berlin Institute of Technology, Germany Brijnesh-Johannes Jain, Berlin Institute of Technology, Germany Sahin Albayrak, Berlin Institute of Technology, Germany

A Parameter-Free Label Propagation Algorithm using Bipartite Heterogeneous Networks for Text Classification .................................................................................................................... 79 Rafael G. Rossi, University of São Paulo, Brazil Alneu A. Lopes, University of São Paulo, Brazil Solange O. Rezende, University of São Paulo, Brazil

Diffusion-Based Clustering Analysis of Coherent X-Ray Scattering Patterns of Self-Assembled Nanoparticles ......................................................................................................................... 85 Hao Huang, Stony Brook University, USA Shinjae Yoo, Brookhaven National Laboratory, USA Konstantine Kaznatcheev, Brookhaven National Laboratory, USA Kevin G. Yager, Brookhaven National Laboratory, USA Fang Lu, Brookhaven National Laboratory, USA Dantong Yu, Brookhaven National Laboratory, USA Oleg Gang, Brookhaven National Laboratoryersity, USA Andrei Fluerasu, Brookhaven National Laboratoryersity, USA Hong Qin, Stony Brook University, USA

Comparing the Staples in Latent Factor Models for Recommender Systems ........................................... 91 Cheng Chen, University of Victoria, Canada Lan Zheng, University of Victoria, Canada Alex Thomo, University of Victoria, Canada Kui Wu, University of Victoria, Canada Venkatesh Srinivasan, University of Victoria, Canada

Single Multiplicatively Updated Matrix Factorization for Co-Clustering ................................................. 97 Zhao Li, TCL Research America, USA Xindong Wu, University of Vermont, USA

GEM – An Elastic and Translation-Invariant Similarity Measure with Automatic Trend Adjustment ...... 105 Christian Hundt, Johannes Gutenberg Universität Mainz, Germany Bertil Schmidt, Johannes Gutenberg Universität Mainz, Germany Elmar Schömer, Johannes Gutenberg Universität Mainz, Germany Herbert Göttler, Johannes Gutenberg Universität Mainz, Germany Hoang-Vu Dang, Johannes Gutenberg Universität Mainz, Germany

Fair Pattern Discovery .................................................................................................................................... 113 Sara Hajian, Universitat Rovira i Virgili, Spain Anna Monreale, Università di Pisa, Italy Dino Pedreschi, Università di Pisa, Italy Josep Domingo-ferrer, Universitat Rovira i Virgili, Spain Fosca Giannotti, ISTI-CNR, Italy

Structural Clustering of Millions of Molecular Graphs ............................................................................... 121 Madeleine Seeland, Technische Universität München, Germany Andreas Karwath, Johannes Gutenberg-Universität Mainz, Germany Stefan Kramer, Johannes Gutenberg-Universität Mainz, Germany

Page 5: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Extracting Information from Support Vector Machines for Pattern-Based Classification ..................... 129 Madeleine Seeland, Technische Universität München, Germany Andreas Maunz, Oncotest GmbH, Germany Andreas Karwath, Johannes Gutenberg-Universität Mainz, Germany Stefan Kramer, Johannes Gutenberg-Universität Mainz, Germany

Poster Papers

The Discovery of user Related Rare Sequential Patterns of Topics in the Internet Document Stream ....... 137 Zhongyi Hu, Chinese Academy of Sciences, China Hongan Wang, Chinese Academy of Sciences, China Jiaqi Zhu, Chinese Academy of Sciences, China

Applications of Evolutionary Computing Track Track Co-Chairs: Raúl Giráldez Rojo, Pablo de Olavide University, Spain Beatriz Pontes Balanza, University of Seville, Spain

Track Editorial ................................................................................................................................................. 139

Investigation of Hungarian Mating Schemes for Genetic Algorithms ........................................................ 140 Chanju Jung, Seoul National University, South Korea Yong-Hyuk Kim, Kwangwoon University, South Korea Yourim Yoon, LG Electronics, South Korea Byung-Ro Moon, Seoul National University, South Korea

A Hybrid GA-ANN Approach for Autonomous Robots Topological Navigation ...................................... 148 Valéria de Carvalho Santos, University of São Paulo, Brazil Daniel Oliva Sales, University of São Paulo, Brazil Cláudio Fabiano Motta Toledo, University of São Paulo, Brazil Fernando Santos Osório, University of São Paulo, Brazil

Poster Papers

Mirrored Orthogonal Sampling with Pairwise Selection in Evolution Strategies ..................................... 154 Hao Wang, Leiden University, Netherlands Michael Emmerich, Leiden University, Netherlands Thomas Bäck, Leiden University, Netherlands

Towards Automated Malware Creation: Code Generation and Code Integration ................................... 157 Andrea Cani, Indipendent scholar, Italy Marco Gaudesi, Politecnico di Torino, Italy Ernesto Sanchez, Politecnico di Torino, Italy Giovanni Squillero, Politecnico di Torino, Italy Alberto Tonda, INRA, UMR 782 GMPA, France

Page 6: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Smart Human Computer Interaction Track Track Co-Chairs: Anand Paul, Kyungpook National University, Korea Jia-Ji Wu, Xidian University, China Bo-Wei Chen, National Cheng Kung University, Taiwan

Track Editorial ................................................................................................................................................. 159

Automated Versioning and Temporal Navigation for Model Sketches on Large Interactive Displays ....... 161 Markus Kleffmann, University of Duisburg-Essen, Germany Erik Hebisch, University of Duisburg-Essen, Germany Matthias Book, University of Duisburg-Essen, Germany Volker Gruhn, University of Duisburg-Essen, Germany

Rapid Development of First Person Serious Games using the APEX Platform: The Asthma Game ...... 169 Tiago Gomes, Universidade do Minho & HASLab/INESC TEC, Portugal Tiago Abade, Universidade do Minho & HASLab/INESC TEC, Portugal José C. Campos, Universidade do Minho & HASLab/INESC TEC, Portugal Michael Harrison, Queen Mary University London & Newcastle University, UK José Luís Silva, M-ITI/University of Madeira, Portugal

A Detection of Overlapping Community in Mobile Social Network ........................................................... 175 Paul Kim, Kyungpook National University, Korea Sangwook Kim, Kyungpook National University, Korea

QR-Code based Online Robot Augmented Reality System for Education ................................................. 180 Jung Pil Park, Kyungpook National University, Korea Min Woo Park, Kyungpook National University, Korea Soon Ki Jung, Kyungpook National University, Korea

Poster Papers

A User Study on Tailoring GUIs for Smartphones ....................................................................................... 186 David Alonso-Ríos, University of A Coruña, Spain David Raneburger, Vienna University of Technology, Austria Roman Popp, Vienna University of Technology, Austria Hermann Kaindl, Vienna University of Technology, Austria Jürgen Falb, PocketScience GmbH, Austria

Method for Visualizing Undone Operations based on Changes on Desktop Screen ................................. 193 Arisa Sakamoto, Kobe University, Japan Takuya Katayama, Kobe University, Japan Tsutomu Terada, Kobe University, Japan Masahiko Tsukamoto, Kobe University, Japan

Student Research Competition Papers

Student Research Abstract: A Privacy-Preserving Profile Matching based Authentication System for Mobile Health Networks .................................................................................... 196 David Hundely Abraham Davidraj, Anna University Regional Centre, India

Page 7: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Intelligent Information Fusion Track Track Co-Chairs: Juan Manuel Corchado, University of Salamanch, Spain Javier Bajo, Technical University of Madrid, Spain

Track Editorial ................................................................................................................................................. 198

Intelligent Event Processing for Emergency Medical Assistance ................................................................ 200 Holger Billhardt, Universidad Rey Juan Carlos, Spain Marin Lujak, Universidad Rey Juan Carlos, Spain Sascha Ossowski, Universidad Rey Juan Carlos, Spain Ralf Bruns, Hannover University of Applied Sciences and Arts, Germany Jürgen Dunkel, Hannover University of Applied Sciences and Arts, Germany

Parametric Investigation of a Distributed Strategy for Multiple Agents Systems Applied to Cooperative Tasks ......................................................................................................................... 207 Rodrigo Calvo, University of Sao Paulo, Brazil Janderon R. de Oliveira, University of Sao Paulo, Brazil Mauricio Figueiredo, Federal University of Sao Carlos, Brazil Roseli Ap. Romero, University of Sao Paulo, Brazil

Poster Papers

Smell Classification using Weakly Responding Data ................................................................................... 213 Sigeru Omatu, Osaka Institute of Technology, Japan Mitsuaki Yano, Osaka Institute of Technology, Japan

Intelligent and Interactive Learning Environments Track Track Co-Chairs: Ig Bittencourt, Federal Universiti of Alagoas, Brazil Seiji Isotani, University of Sao Paulo, Brazil Emmanuel Blanchard, University of Montreal, Canada Jelana Javanovic, University of Belgrade, Serbia

Track Editorial ................................................................................................................................................. 215

A Systematic Mapping on Gamification Applied to Education ................................................................... 216 Simone de Sousa Borges, University of São Paulo, Brazil Vinicius H.S. Durelli, University of São Paulo, Brazil Helena Macedo Reis, University of São Paulo, Brazil Seiji Isotani, University of São Paulo, Brazil

Statistical Methods in the Evaluation of Sensory-Motor Skills Acquisition in 3D Interactive Virtual Environments ............................................................................................................ 223 Alexandre M. dos Anjos, Laboratory for Interactive Technologies (Interlab) – USP, Brazil Romero Tori, Laboratory for Interactive Technologies (Interlab) – USP, Brazil Anderson Castro Soares de Oliveira, Institute of Exact Sciences and Earth – UFMT, Brazil Fátima L.S. Nunes, Laboratory for Informatics Applications in Health (LApIS) – USP, Brazil

Lessons Learned from an Online Open Course: A Brazilian Case Study .................................................. 229 Ranilson Paiva, UFCG, Brazil Daniel Borges, UFAL, Brazil Jário Santos, UFAL, Brazil Ig Ibert Bittencourt, UFAL, Brazil Alan Pedro da Silva, UFAL, Brazil

Page 8: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

A Dynamic Bayesian Network for Inference of Learners' Algebraic Knowledge ..................................... 235 Henrique M. Seffrin, UNISINOS, Brazil Geiseane L. Rubi, UNISINOS, Brazil Patricia A. Jaques, UNISINOS, Brazil

Poster Papers

Towards a Framework for Relevant Guidance ............................................................................................. 241 Elaine H.T. Oliveira, Federal University of Amazonas, Brazil Erika H. Nozawa, Environmental and Technological Institute of the Amazon, Brazil Rosa M. Vicari, Federal University of Rio Grande do Sul, Brazil

WAVE: An Architecture for Predicting Dropout in Undergraduate Courses using EDM ...................... 243 Laci Mary Barbosa Manhães, UFRJ, Brazil Sérgio Manuel Serra da Cruz, UFRRJ, Brazil Geraldo Zimbrão, UFRJ, Brazil

Recommender Systems: Theory and Applications Track Track Co-Chairs: Bracha Shapira, Ben-Grion University, Israel Lior Rokach, Ben-Grion University, Italy Francesco Ricci, Ben-Grion University, Italy

Track Editorial ................................................................................................................................................. 246

From Ratings to Trust: An Empirical Study of Implicit Trust in Recommender Systems ...................... 248 Guibing Guo, Nanyang Technological University, Singapore Jie Zhang, Nanyang Technological University, Singapore Daniel Thalmann, Nanyang Technological University, Singapore Anirban Basu, KDDI R\&D Laboratories, Inc., Japan Neil Yorke-Smith, American University of Beirut and University of Cambridge, Beirut and UK

Recommendation based on Weighted Social Trusts and Item Relationships ............................................ 254 Di Wang, Shandong University, China Jun Ma, Shandong University, China Tao Lian, Shandong University, China Lei Guo, Shandong University, China

Instant Expert Hunting: Building an Answerer Recommender System for a Large Scale Q&A Website .............................................................................................................................. 260 Tianjian Chen, Baidu Inc., China Jing Cai, Baidu Inc., China Hao Wang, Baidu Inc., China Yu Dong, Baidu Inc., China

Beyond Personalization and Anonymity: Towards a Group-Based Recommender System .................... 266 Shang Shang, Princeton University, USA Yuk Hui, Leuphana University, Germany Pan Hui, The Hong Kong University of Science and Technology, China Paul Cuff, Princeton University, USA Sanjeev Kulkarni, Princeton University, USA

Page 9: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Splitting Approaches for Context-Aware Recommendation: An Empirical Study ................................... 274 Yong Zheng, DePaul University, USA Robin Burke, DePaul University, USA Bamshad Mobasher, DePaul University, USA

A Unified Approach to Collaborative Data Visualization ............................................................................ 280 Afshin Moin, INRIA Nancy Grand Est, France

Poster Papers

PrefRank: Fair Aggregation of Subjective user Preferences ....................................................................... 287 Anirban Basu, KDDI R&D Laboratories, Inc., Japan Juan Camilo Corena, KDDI R&D Laboratories, Inc., Japan Shinsaku Kiyomoto, KDDI R&D Laboratories, Inc., Japan Jaideep Vaidya, Rutgers, The State University of New Jersey, USA Stephen Marsh, University of Ontario Institute of Technology, Canada Yutaka Miyake, KDDI R&D Laboratories, Inc., Japan

A Recommendation Approach for Digital TV Systems based on Multimodal Features .......................... 289 Reudismam Rolim, UFCG, Brazil Felipe Barbosa, UFCG, Brazil Alexandre Costa, UFCG, Brazil Giovanni Calheiros, UFCG, Brazil Hyggo Almeida, UFCG, Brazil Angelo Perkusich, UFCG, Brazil Aldenor Martins, UFCG, Brazil

Student Research Competition Papers

Student Research Abstract: Semi-Supervised Context-Aware Matrix Factorization: Using Contexts in a Way of "Latent" Factors .............................................................................................. 292 Yong Zheng, DePaul University, USA

The Semantic Web and Applications Track Track Co-Chairs: Hyoil Han, Marshall University, USA Soon Ae Chun, City University of New York, USA Byung-Kwon Park, Donga University, Korea

Is Ontology Alignment like Analogy? Knowledge Integration with LISA ................................................. 294 Elie Raad, Memorial University of Newfoundland, Canada Joerg Evermann, Memorial University of Newfoundland, Canada

LEGi: Context-Aware Lexicon Consolidation by Graph Inspection .......................................................... 302 Giovanni Sá, Universidade Federal de São João Del Rey, Brazil Thiago Silveira, Universidade Federal de São João Del Rey, Brazil Rodrigo Chaves, Universidade Federal de São João Del Rey, Brazil Felipe Teixeira, Universidade Federal de São João Del Rey, Brazil Fernando Mourão, Universidade Federal de Minas Gerais, Brazil Leonardo Rocha, Universidade Federal de São João Del Rey, Brazil

Page 10: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

ICM-Wind: Semantics-Empowered Fluid Condition Monitoring of Wind Turbines .............................. 308 Matthias Klusch, German Research Center for Artificial Intelligence, Germany Ankush Meshram, German Research Center for Artificial Intelligence, Germany Patrick Kapahnke, German Research Center for Artificial Intelligence, Germany Andreas Schuetze, Centre for Mechatronics and Automation Technology, Germany

A Semi-Automatic Approach for Generating Customized R2RML Mappings ......................................... 316 Vânia Maria Pontes Vidal, Federal University of Ceará, Brazil Marco A. Casanova, PUC-Rio, Brazil Luís Eufrasio T. Neto, Federal University of Ceará, Brazil José Maria Monteiro, Federal University of Ceará, Brazil

Towards an Enterprise Ontology Pattern Language ................................................................................... 323 Ricardo de Almeida Falbo, Federal University of Espírito Santo, Brazil Fabiano Borges Ruy, Federal University of Espírito Santo and Federal Institute of Espírito Santo, Brazil Monalessa Perini Barcellos, Federal Institute of Espírito Santo, Brazil Giancarlo Guizzardi, Federal University of Espírito Santo, Brazil João Paulo Andrade Almeida, João Paulo Andrade, Brazil

Poster Papers

Analyzing Network Privacy Preserving Methods: A Perspective of Social Network Characteristics ..... 331 Duck-Ho Bae, Hanyang University, Korea, South Jong-Min Lee, Hanyang University, Korea, South Sang-Wook Kim, Hanyang University, Korea, South Youngjoon Won, Hanyang University, Korea, South Yongsu Park, Hanyang University, Korea, South

Utilizing Domain-Specific Keywords for Discovering Public SPARQL Endpoints: A Life-Sciences Use-Case ................................................................................................................................ 333 Muntazir Mehdi, National University of Ireland, Galway, Ireland Aftab Iqbal, National University of Ireland, Galway, Ireland Ali Hasnain, National University of Ireland, Galway, Ireland Yasar Khan, National University of Ireland, Galway, Ireland Stefan Decker, National University of Ireland, Galway, Ireland Ratnesh Sahay, National University of Ireland, Galway, Ireland

Cloud Computing Track Track Co-Chairs: Umesh Bellur, Indian Institute of Technology, Bombay, India Rajiv Ramnath, Ohio State University, USA S D Madhu Kumar, National Institute of Technology Calicut, India

Track Editorial ................................................................................................................................................. 336

A Catalog of Security Requirements Patterns for the Domain of Cloud Computing Systems ................... 337 Kristian Beckers, University Duisburg-Essen, Germany Isabelle Côté, ITESYS GmbH, Germany Ludger Goeke, ITESYS GmbH, Germany

Page 11: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Generic Cloud Platform Multi-Objective Optimization Leveraging [email protected] .......................... 343 Donia El Kateb, SNT, Luxembourg François Fouquet, SNT, Luxembourg Grégory Nain, SNT, Luxembourg Jorge Augusto Meira, SNT, Luxembourg Michel Ackerman, EBRC, Luxembourg Yves Le Traon, SNT, Luxembourg

Collecting Cloud Provenance Metadata with Matriohska: A Case Study with Genomic Workflows ..... 351 Sergio Manuel Serra da Cruz, PPGMMC/UFRRJ, Brazil Laci Mary M. Barbosa, COPPE/UFRJ, Brazil Jorge Zavaleta, COPPE/UFRJ, Brazil Raimundo M. Costa, COPPE/UFRJ, Brazil Maria Luiza Machado Campos, PPGI/UFRJ, Brazil

A Green Analysis of Mobile Cloud Computing Applications ...................................................................... 357 Kelie Zhan, Carleton University, Canada Chung-Horng Lung, Carleton University, Canada Pradeep Srivastava, Sanstream Technology, Canada

Poster Papers

Experimenting on Virtual Machines Co-Residency in the Cloud: A Comparative Study of Available Test Beds ............................................................................................... 363 Abdulaziz Alabdulhafez, Newcastle University, UK Paul Ezhilchelvan, Newcastle University, UK

Towards Better Manageability of Database Clusters on Cloud Computing Platforms ............................ 366 Miguel G. Xavier, PUCRS, Brazil Israel C. De Oliveira, PUCRS, Brazil Robson D. Dos Passos, PUCRS, Brazil Cesar A.F. De Rose, PUCRS, Brazil

Dependable and Adaptive Distributed Systems Track Track Co-Chairs: Karl M. Goeschka, Vienna University of Technology, Austria Rui Oliveira, Universidade do Minho, Portugal Peter Pietzuch, Imperial College London, UK Giovanni Russello, University of Auckland, New Zealand

Track Editorial ................................................................................................................................................. 368

Autonomic Configuration of HyperDex via Analytical Modelling .............................................................. 370 Nuno Diegues, Universidade de Lisboa, Portugal Muhammet Orazov, Universidade de Lisboa, Portugal João Paiva, Universidade de Lisboa, Portugal Luís Rodrigues, Universidade de Lisboa, Portugal Paolo Romano, Universidade de Lisboa, Portugal

Page 12: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Robustness Evaluation of the Rainbow Framework for Self-Adaptation .................................................. 376 Javier Cámara, Carnegie Mellon University, USA Rogério de Lemos, University of Kent, UK Nuno Laranjeiro, University of Coimbra, Portugal Rafael Ventura, University of Coimbra, Portugal Marco Vieira, University of Coimbra, Portugal

Improving Adaptiveness of AUTOSAR Embedded Applications ............................................................... 384 Hélène Martorell, Renault S.A.S. and Univ. de Toulouse, France Jean-Charles Fabre, Univ. de Toulouse, France Matthieu Roy, Univ. de Toulouse, France Régis Valentin, Renault S.A.S., France

ACTRESS: Domain-Specific Modeling of Self-Adaptive Software Architectures .................................... 391 Filip Křikava, University Lille 1 / LIFL, France Philippe Collet, Université Nice, France Robert B. France, Colorado State University, USA

Workload-Aware Table Splitting for NoSQL ............................................................................................... 399 Francisco Cruz, HASLab – INESC TEC and U. Minho, Portugal Francisco Maia, HASLab – INESC TEC and U. Minho, Portugal Rui Oliveira, HASLab – INESC TEC and U. Minho, Portugal Ricardo Vilaça, HASLab – INESC TEC and U. Minho, Portugal

Poster Papers

Hierarchical Topology Adaptation for Distributed Convergecast Applications ....................................... 405 Sandip Chakraborty, IIT Guwahati, India Suchetana Chakraborty, IIT Guwahati, India Sushanta Karmakar, IIT Guwahati, India Hridoy Sankar Dutta, Gauhati University, India

An Energy-Aware Service Composition Framework for Service-Oriented Wireless Sensor Networks ...... 408 Tao Wang, Guangdong University of Technology, China Ke Zhang, Guangdong University of Technology, China Lianglun Cheng, Guangdong University of Technology, China

Mobile Computing and Applications Track Track Co-Chairs: Hong Va Leong, The Hong Kong Polytechnic University, Hong Kong, China Alvin Chan, The Hong Kong Polytechnic University, Hong Kong, China

Track Editorial ................................................................................................................................................. 411

Kalimucho: Middleware for Mobile Applications ........................................................................................ 413 Keling Da, LIUPPA / University of Pau, France Marc Dalmau, LIUPPA / University of Pau, France Philippe Roose, LIUPPA / University of Pau, France

A Model-Based Approach to Test Automation for Context-Aware Mobile Applications ........................ 420 Tobias Griebe, University Duisburg-Essen, Germany Volker Gruhn, University Duisburg-Essen, Germany

Page 13: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Location-Aware Information Retrieval for Identifying Local and Distant Landmark ............................ 428 Yoshihide Hosokawa, Gunma University, Japan Yuichiro Nakazawa, Gunma University, Japan Takanori Yamamoto, Gunma University, Japan

Entity-Adaptation: A Programming Model for Development of Context-Aware Applications ................. 436 Sanjin Sehic, Vienna University of Technology, Austria Stefan Nastic, Vienna University of Technology, Austria Michael Vögler, Vienna University of Technology, Austria Fei Li, Vienna University of Technology, Austria Schahram Dustdar, Vienna University of Technology, Austria

A Personalized Model for Monitoring Vital Signs using Camera of the Smart Phones ........................... 444 Mohammad Adibuzzaman, Marquette University, USA Sheikh Iqbal Ahamed, Marquette University, USA Richard Love, International Breast Cancer Research Foundation, USA

A Model Driven Framework for Modeling and Composing Service based Android Applications ......... 450 Chung Le, Indepedent Software Consultant, USA

Self-Management of Self-Organising Mobile Computing Applications: A Separation of Concerns Approach ............................................................................................................. 458 Jose Luis Fernandez-Marquez, University of Geneva, Switzerland Giovanna Di Marzo Serugendo, University of Geneva, Switzerland Graeme Stevenson, University of St. Andrews, UK Juan Ye, University of St. Andrews, UK Simon Dobson, University of St. Andrews, UK Franco Zambonelli, Università di Modena e Reggio Emilia, Italy

Poster Papers

Integrating IEEE 11073 and Constrained Application Protocol for Personal Health Devices ................... 466 Danilo F.S. Santos, Signove Tecnologia S.A., Brazil Frederico M. Bublitz, State University of Paraiba, Brazil Hyggo O. Almeida, Federal University of Campina Grande, Brazil Angelo Perkusich, Federal University of Campina Grande, Brazil

Smartphone based Multimodal Activity Detection System using Plantar Pressure Sensors ................... 468 Ferdaus Ahmed Kawsar, Marquette University, USA Sheikh Iqbal Ahamed, Marquette University, USA Richard Love, International Breast Cancer Research Foundation, USA

Student Research Competition Papers

Student Research Abstract: A Real-Time Smartphone- and Smartshoe-Based Fall Prevention System ..... 470 A.K.M. Jahangir Alam Majumder, Marquette University, USA

Page 14: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Networking Track Track Co-Chairs: Mario M. Freire, University of Beira Interior, Portugal Marilia Curado, University of Coimbra, Portugal Manuela Pereira, University of Beira Interior, Portugal Teresa Vazão, IST/INESC ID Lisboa, Portugal

Track Editorial ................................................................................................................................................. 472

Visual Comparison of Network Anomaly Detectors with Chord Diagrams .............................................. 473 Johan Mazel, JFLI/NII, Japan Romain Fontugne, JFLI/NII, Japan Kensuke Fukuda, NII, Japan

Large-Scale Message Synchronization in Challenged Networks ................................................................. 481 Niels Zeilemaker, Delft University of Technology, Netherlands Boudewijn Schoon, Delft University of Technology, Netherlands Johan Pouwelse, Delft University of Technology, Netherlands

A Similarity Model for Virtual Networks Negotiation ................................................................................. 489 Rafael L. Gomes, University of Campinas, Brazil Luiz F. Bittencourt, University of Campinas, Brazil Edmundo R.M. Madeira, University of Campinas, Brazil

Wavelength Resources based Lightpath-Level Active Rerouting in All-Optical WDM Networks ......... 495 Sheng-Wei Wang, Fo Guang University, Taiwan Chin-Yen Wen, Fo Guang University, Taiwan

Hiding user Content Interest while Preserving P2P Performance .............................................................. 501 Riccardo Petrocco, Delft University of Technology, Netherlands Mihai Capotă, Delft University of Technology, Netherlands Johan Pouwelse, Delft University of Technology, Netherlands Dick H.J. Epema, Delft University of Technology, Netherlands

Poster Papers

A Low-Latency Service Composition Approach in Mobile Ad Hoc Networks .......................................... 509 Chenyang Liu, Shanghai JiaoTong University, China Jian Cao, Shanghai JiaoTong University, China Frédéric Le Mouël, University of Lyon, France

Smart Grid and Smart Technologies Track Track Co-Chairs: Gail-Joon Ahn, Arizona State University, USA Dongwan Shin, New Mexico Tech, USA Seong-Je Cho, Dankook University, Korea

3D Cloud Detection and Tracking for Solar Forecast using Multiple Sky Imagers .................................. 512 Zhenzhou Peng, Stony Brook University, USA Shinjae Yoo, Brookhaven National Laborotary, USA Dantong Yu, Brookhaven National Laborotary, USA Dong Huang, Brookhaven National Laborotary, USA Paul Kalb, Brookhaven National Laborotary, USA John Heiser, Brookhaven National Laborotary, USA

Page 15: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Dealing with Storage without Forecasts in Smart Grids: Problem Transformation and Online Scheduling Algorithm .................................................................................................................. 518 Giorgos Georgiadis, Chalmers University of Technology, Sweden Marina Papatriantafilou, Chalmers University of Technology, Sweden

Design of an Automatic Demand-Side Management System based on Evolutionary Algorithms .................. 525 Edgar Galván-López, Trinity College Dublin, Ireland Adam Taylor, Trinity College Dublin, Ireland Siobhán Clarke, Trinity College Dublin, Ireland Vinny Cahill, Trinity College Dublin, Ireland

Lightweight Privacy for Smart Metering Data by Adding Noise ................................................................ 531 Pedro Barbosa, Federal University of Campina Grande, Brazil Andrey Brito, Federal University of Campina Grande, Brazil Hyggo Almeida, Federal University of Campina Grande, Brazil Sebastian Clauß, Dresden University of Technology, Germany

SEDE: State Estimation-Based Dynamic Encryption Scheme for Smart Grid Communication ................. 539 Ting Liu, Xi’an Jiaotong University, China Yuhong Gui, Xi’an Jiaotong University, China Yanan Sun, Xi’an Jiaotong University, China Yang Liu, Xi’an Jiaotong University, China Yao Sun, University of Toronto, Canada Feng Xiao, Shanghai Jiaotong University, China

Poster Papers

Cyber-Secure Communication Architecture for Active Power Distribution Networks ........................... 545 Teklemariam Tsegay Tesfay, EPFL, Switzerland Jean-Pierre Hubaux, EPFL, Switzerland Jean-Yves Le Boudec, EPFL, Switzerland Philippe Oechslin, EPFL, Switzerland

Paper Withdrawn ............................................................................................................................................. 553

Energy Disaggregation meets Heating Control ............................................................................................. 559 Stephan Spiegel, Berlin Institute of Technology, Germany Sahin Albayrak, Berlin Institute of Technology, Germany

Monitoring Water Scarcity Risk in Africa .................................................................................................... 567 Kala Fleming, IBM Research Africa, Kenya Komminist Weldemariam, IBM Research Africa, Kenya Haggai Wangusi, IBM Research Africa, Kenya Osamuyimen Stewart, IBM Research Africa, Kenya

Student Research Competition Papers

Student Research Abstract: Demand Behavior Analysis and Coordination Scheduling for Energy Saving in Smart Building ......................................................................................... 569 Siyun Chen, Xi’an Jiaotong University, China

Page 16: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Social Network and Media Analysis Track Track Co-Chairs: Sang-Wook Kim, Hanyang University, Korea

Track Editorial ................................................................................................................................................. 571

Multi-Agent Simulation of Perception of Safety from Crime ...................................................................... 573 J. Octavio Gutierrez-Garcia, Instituto Tecnológico Autónomo de México, Mexico Andrés Gómez de Silva Garza, Instituto Tecnológico Autónomo de México, Mexico

Rocovo: Robust Communal Publication Scheme .......................................................................................... 579 Thomas Largillier, Normandie Univiversity, France Guillaume Peyronnet, Nalrem Medias, France Sylvain Peyronnet, Normandie Univiversity, France

'Sorry, I was hacked'' – A Classification of Compromised Twitter Accounts ........................................... 587 Eva Zangerle, University of Innsbruck, Austria Günther Specht, University of Innsbruck, Austria

Reachability Vectors: Features for Link-Based Similarity Measures ........................................................ 594 Seok-Ho Yoon, Hanyang University, Korea Ji-Soo Kim, Hanyang University, Korea Jiwoon Ha, Hanyang University, Korea Sang-Wook Kim, Hanyang University, Korea Minsoo Ryu, Hanyang University, Korea Ho-Jin Choi, KAIST, Korea

What makes your Opinion Popular? Predicting the Popularity of Micro-Reviews in Foursquare ......... 598 Marisa Vasconcelos, Universidade Federal de Minas Gerais, Brazil Jussara Almeida, Universidade Federal de Minas Gerais, Brazil Marcos Gonçalves, Universidade Federal de Minas Gerais, Brazil

Exploring the Significance of Human Mobility Patterns in Social Link Prediction .................................. 604 Basma Alharbi, King Abdullah University of Science and Technology, Saudi Arabia Xiangliang Zhang, King Abdullah University of Science and Technology, Saudi Arabia

An Approximate Framework for Scaling Social Influence Computation in Large Networks ................. 610 Yao-Chung Fan, National Chung Hsing University, Taiwan Huan Chen, National Chung Hsing University, Taiwan

Information Diffusion in OSNs: The Impact of Nodes’ Sociality ................................................................ 616 Valerio Arnaboldi, IIT-CNR, Italy Marco Conti, IIT-CNR, Italy Massimiliano La Gala, IIT-CNR, Italy Andrea Passarella, IIT-CNR, Italy Fabio Pezzoni, IIT-CNR, Italy

The Importance of Geographic Locality for Online Information Diffusion .............................................. 622 Rodrigo Marotti Togneri, Federal University of ABC, Brazil Bruno Tadeu Caetano, Federal University of ABC, Brazil Carlos Alberto Kamienski, Federal University of ABC, Brazil

Page 17: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Pathways for Irony Detection In Tweets ....................................................................................................... 628 Larissa A. de Freitas, PUCRS, Brazil Aline A. Vanin, PUCRS, Brazil Denise N. Hogetop, PUCRS, Brazil Marco N. Bochernitsan, PUCRS, Brazil Renata Vieira, PUCRS, Brazil

A Structural Analysis of Literary Fictions with Social Network Framework ........................................... 634 Jong-Kyu Seo, Pusan National University, Korea Sung-Hwan Kim, Pusan National University, Korea Hae-Sung Tak, Pusan National University, Korea Hwan-Gue Cho, Pusan National University, Korea

Poster Papers

Automatic Categorization of Questions from Q&A Sites ............................................................................ 641 Eduardo Cunha Campos, Federal University of Uberlândia, Brazil Marcelo de Almeida Maia, Federal University of Uberlândia, Brazil

A Hybrid Algorithm for Recommendation to Twitter Peers ....................................................................... 644 James N.K. Liu, The Hong Kong Polytechnic University, Hong Kong Zongnong Meng, The Hong Kong Polytechnic University, Hong Kong Yanxing Hu, The Hong Kong Polytechnic University, Hong Kong Yulin He, Hebei University, China Simon C.K. Shiu, The Hong Kong Polytechnic University, Hong Kong Vincent W.S. Cho, The Hong Kong Polytechnic University, Hong Kong

Preventing the Diffusion of Negative Information based on Local Influence Tree ................................... 650 Li Yang, Chinese Academy of Sciences, China Sha Ying, Chinese Academy of Sciences, China Shan Jixi, Chinese Academy of Sciences, China Jiang Bo, Chinese Academy of Sciences, China Wu Jianjun, Chinese Academy of Sciences, China

Spectral Analysis and Text Processing Over the Computer Science Literature: Patterns and Discoveries ................................................................................................................................. 653 Rosa V.E. Quille, ICMC-USP, Brazil Caetano Traina Jr., ICMC-USP, Brazil Jose F. Rodrigues Jr., ICMC-USP, Brazil

The Strength of Social Strength: An Evaluation Study of Algorithmic versus User-Defined Ranking ..... 658 Juwel Rana, Telenor Research, Norway Johan Kristiansson, Ericsson Research, Sweden Kåre Synnes, Luleå University of Technology, Sweden

Page 18: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Wireless Communications and Networking Track Track Co-Chairs: Dongkyun Kim, Kyungpook National University, Korea Wei Wang, South Dakota State University, USA

Track Editorial ................................................................................................................................................. 660

Self-Localisation in Indoor Environments Combining Learning and Evolution with Wireless Networks ................................................................................................................................... 661 Gustavo Pessin, Vale Institute of Technology, Brazil Fernando S. Osósio, University of Sao Paulo, Brazil Jó Ueyama, University of São Paulo, Brazil Denis F. Wolf, University of São Paulo, Brazil Renan C. Moioli, International Institute for Neuroscience of Natal, Brazil Patrícia A. Vargas, Heriot-Watt University, UK

Modeling and Analysis on Network Performance for Cloud Service Delivery with Multiple Paths ....... 667 Jun Huang, Chongqing University of Posts and Telecommunications, China Juan Lv, Chongqing University of Posts and Telecommunications, China Qiang Duan, The Pennsylvania State University, USA

Effective Tumor Feature Extraction for Smart Phone based Microwave Tomography Breast Cancer Screening .......................................................................................................... 674 Samaneh Aminikhanghahi, South Dakota State University, USA Wei Wang, South Dakota State University, USA Sung Shin, South Dakota State University, USA Seong H. Son, Electronics and Telecommunications Research Institute, South Korea Soon I. Jeon, Electronics and Telecommunications Research Institute, South Korea

WSN-Based Flutter Control Application for Aircraft Wings Structural Health Monitoring .................. 680 Dhouha Krichen, University of Carthage, Tunisia Walid Abdallah, University of Carthage, Tunisia Noureddine Boudriga, University of Carthage, Tunisia

A Dynamic Frame Slotted ALOHA Anti-Collision Algorithm for the Internet of Things ....................... 686 Rafael Perazzo Barbosa Mota, USP, Brazil Daniel M. Batista, USP, Brazil

GB-MAC: A Backbone based Low Latency Protocol for WSNs ................................................................ 692 Tales Heimfarth, Federal University of Lavras, Brazil João Carlos Giacomin, Federal University of Lavras, Brazil Alexandre Victor Fassio, Federal University of Lavras, Brazil João Paulo de Araujo, Federal University of Lavras, Brazil

A Biometric-Based Authenticated Key Agreement Scheme using ECC for Wireless Sensor Networks ..... 699 Eun-Jun Yoon, Kyungil University, South Korea Kee-Young Yoo, Kyungpook National University, South Korea

EENC – Energy Efficient Nested Clustering in UASN ................................................................................. 706 Syed Hassan Ahmed, Kyungpook National University, Korea Abdul Wahid, Kardan University, Afghanistan Dongkyun Kim, Kyungpook National University, Korea

Page 19: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Poster Papers

DDoS Attack Detection by using Packet Sampling and Flow Features ...................................................... 711 Jae-Hyun Jun, Kyungpook National University, South Korea Cheol-Woong Ahn, Keimyung College University, South Korea Sung-Ho Kim, Kyungpook National University, South Korea

Student Research Competition Papers

Student Research Abstract: Mechanisms to Ensure Quality of Service for the Internet of Things ........ 713 Rafael Perazzo Barbosa Mota, University of Sao Paulo, Brazil

Student Research Abstract: Vehicle to Vehicle Communication using Zigbee Protocol .......................... 715 Alfred Daniel, Kyungpook National University, Korea

Student Research Abstract: An Optimized Handover Scheme based on Media Independent Handover Standard IEEE 802.21 ................................................................................ 717 Murad Khan, Kyungpook National University, Korea

Web Technologies Track Track Co-Chairs: Angelo Di Iorio, University of Bologna, Italy Davide Rossi, University of Bologna, Italy Stefano Zacchiroli, Université Paris Diderot – Paris 7, France

Track Editorial ................................................................................................................................................. 719

Keyboard Navigation Mechanisms in Tab Widgets: An Investigation on ARIA's Conformance ................. 721 Willian Massami Watanabe, UTFPR Technological Federal University of Paraná, Brazil Rafael José Geraldo, University of São Paulo, Brazil Renata Pontin de Mattos Fortes, University of São Paulo, Brazil

WikiNEXT: A Wiki for Exploiting the Web of Data ................................................................................... 727 Pavel Arapov, INRIA and I3S Laboratories, France Michel Buffa, INRIA and I3S Laboratories, France Amel Ben Othmane, INRIA and I3S Laboratories, France

Enforcing Entailment Constraints in Offline Editing Scenarios for Real-Time Collaborative Web Documents .................................................................................................... 735 Patrick Gaubatz, University of Vienna, Austria Waldemar Hummer, Vienna University of Technology, Austria Uwe Zdun, University of Vienna, Austria Mark Strembeck, WU Vienna, Austria

Generalizing the “Like” Button: Empowering Websites with Monitoring Capabilities .......................... 743 Jon Iturrioz, University of the Basque Country, Spain Iker Azpeitia, University of the Basque Country, Spain Oscar Diaz, University of the Basque Country, Spain

Page 20: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

A Nonintrusive Approach for Implementing Single Database, Multitenant Services from Web Applications ............................................................................................... 751 Alexandre Michetti Manduca, Universidade de Sao Paulo, Brazil Ethan V. Munson, University of Wisconsin-Milwaukee, USA Renata P.M. Fortes, Universidade de Sao Paulo, Brazil Mariada Graça C. Pimentel, Universidade de Sao Paulo, Brazil

Poster Papers

Cross-Platform Mobile Development: A Study on Apps with Animations ................................................ 757 Matteo Ciman, University of Padua, Italy Ombretta Gaggi, University of Padua, Italy Nicola Gonzo, University of Padua, Italy

OSBS: Online Storm-Water Billing System .................................................................................................. 760 Wook-Sung Yoo, Fairfield University, USA

Cooperative Systems Track Track Co-Chairs: Rachid Anane, Coventry University, UK Minoru Nakayama, Tokyo Institute of Technology, Japan

Track Editorial ................................................................................................................................................. 762

Impact Analysis for Event-Based Systems using Change Patterns ............................................................. 763 Simon Tragatschnig, University of Vienna, Austria Huy Tran, University of Vienna, Austria Uwe Zdun, University of Vienna, Austria

Secure Positioning in a UAV Swarm using On-Board Stereo Cameras ..................................................... 769 Roberto Sadao Yokoyama, Universidade de São Paulo, Brasil Bruno Yuji Lino Kimura, Universidade Federal de Itajubá, Brasil Edson dos Santos Moreira, Universidade de São Paulo, Brasil

Poster Papers

Redesigning Transaction Load Balancing on Electronic Funds Transfer Scenarios ................................ 775 Rodrigo da Rosa Righi, Universidade do Vale do Rio dos Sinos, Brazil Cristiano André da Costa, Universidade do Vale do Rio dos Sinos, Brazil Luis Gonzaga, Jr., Universidade do Vale do Rio dos Sinos, Brazil Kleinner Farias, Universidade do Vale do Rio dos Sinos, Brazil Alexandre Luis Andrade, Universidade do Vale do Rio dos Sinos, Brazil Lucas Graebin, Universidade do Vale do Rio dos Sinos, Brazil

Towards a Learning Design Authoring Tool that Generates Personalized Units of Learning for CSCL ..... 778 Geiser Chalco Challco, University of São Paulo, Brazil Seiji Isotani, University of São Paulo, Brazil

Choosing my Partners based on How They will Evaluate my Behavior .................................................... 781 Elane Cristina da Rocha Cardoso Saraiva, IFPI, Brazil Viviane Torres da Silva, UFF, Brazil

Page 21: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Data Streams Track Track Co-Chairs: Pedro Rodrigues, University Porto, Portugal Albert Bifet, Yahoo! Research Barcelona, Spain João Gama, LIAAD-University Porto, Portugal Shonali Krishnaswamy, Monash University, Australia

Track Editorial ................................................................................................................................................. 784

SFNClassifier: A Scale-Free Social Network Method to Handle Concept Drift ........................................ 786 Jean Paul Barddal, Pontifícia Universidade Católica do Paraná, Brazil Heitor Murilo Gomes, Pontifícia Universidade Católica do Paraná, Brazil Fabrício Enembreck, Pontifícia Universidade Católica do Paraná, Brazil

Change Detection in Categorical Evolving Data Streams ............................................................................ 792 Dino Ienco, IRSTEA, France Albert Bifet, Yahoo! Research Barcelona, Spain Bernhard Pfahringer, University of Waikato, New Zealand Pascal Poncelet, LIRMM, France

SAE2: Advances on the Social Adaptive Ensemble Classifier for Data Streams ...................................... 798 Heitor Murilo Gomes, Pontifícia Universidade Católica do Paraná, Brazil Fabrício Enembreck, Pontifícia Universidade Católica do Paraná, Brazil

Adaptive Semi Supervised Opinion Classifier with Forgetting Mechanism .............................................. 805 Max Zimmermann, Otto-von-Guericke-University of Magdeburg, Germany Eirini Ntoutsi, LMU, Munich, Germany Myra Spiliopoulou, Otto-von-Guericke-University of Magdeburg, Germany

Database Theory, Technology and Applications Track Track Co-Chairs: Junping Sun, Nova Southeastern University, USA Ramzi A. Haraty, Lebanese American University, Lebanon Apostolos Papadopoulos, Aristotle University, Greece

Information Leakage Analysis of Database Query Languages ................................................................... 813 Raju Halder, Indian Institute of Technology Patna, India Matteo Zanioli, Università Ca’ Foscari, Italy Agostino Cortesi, Università Ca’ Foscari, Italy

Finding Targets with the Nearest Favor Neighbor and Farthest Disfavor Neighbor by a Skyline Query ...... 821 Yi-Wen Lin, National Tsing-Hua University, Taiwan En Tzu Wang, Industrial Technology Research Institute, Taiwan Chieh-Feng Chiang, National Chengchi University, Taiwan Arbee L.P. Chen, National Chengchi University, Taiwan

LittleD: A SQL Database for Sensor Nodes and Embedded Applications ................................................. 827 Graeme Douglas, University of British Columbia, Canada Ramon Lawrence, University of British Columbia, Canada

Towards Semantic Diff of XML Documents ................................................................................................. 833 Alessandreia Oliveira, Fluminense Federal University and Juiz de Fora Federal University, Brazil Leonardo Murta, Fluminense Federal University, Brazil Vanessa Braganholo, Fluminense Federal University, Brazil

Page 22: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Temporal Join Processing with Hilbert Curve Space Mapping .................................................................. 839 Jaime Raigoza, Nova Southeastern University, USA Junping Sun, Nova Southeastern University, USA

Sampling in Online Social Networks .............................................................................................................. 845 Sang-Wook Kim, Hanyang University, Korea Seok-Ho Yoon, Hanyang University, Korea Ki-Nam Kim, Hanyang University, Korea Sunju Park, Yonsei University, Korea

Mining Key and Referential Constraints Enforcement Patterns ................................................................ 850 Kaiping Liu, Nanyang Technological University, Singapore Hee Beng Kuan Tan, Nanyang Technological University, Singapore Hongyu Zhang, Tsinghua University, China

Poster Papers

Speaking in Tongues: SQL Access to NoSQL Systems ................................................................................ 855 Julian Rith, FAU Erlangen-Nürnberg, Germany Philipp S. Lehmayr, FAU Erlangen-Nürnberg, Germany Klaus Meyer-Wegener, FAU Erlangen-Nürnberg, Germany

A Test Framework for Large Scale Declarative Queries: Preliminary Results ......................................... 858 Amin Mesmoudi, Université de Lyon, France Mohand-Saïd Hacid, Université de Lyon, France

Heterogeneous Computing Track Track Co-Chairs: Donghoon Yoo, Samsung Advanced Institute of Technology, Korea

GPU-Aware Distributed Quantum Simulation ............................................................................................. 860 Anderson Avila, Federal University of Pelotas, Brazil Adriano Maron, University of Pittsburgh, USA Renata Reiser, Federal University of Pelotas, Brazil Mauricio Pilla, Federal University of Pelotas, Brazil Adenauer Yamin, Federal University of Pelotas, Brazil

Efficient Dynamic Scheduling of Heterogeneous Applications in Hybrid Architectures ......................... 866 Guilherme Andrade, Universidade Federal de Minas Gerais, Brazil Gabriel Ramos, Universidade Federal de São João Del Rey, Brazil Daniel Madeira, Universidade Federal de São João Del Rey and Universidade Federal Fluminense, Brazil Rafael Sachetto, Universidade Federal de São João Del Rey, Brazil Esteban Clua, Universidade Federal Fluminense, Brazil Renato Ferreira, Universidade Federal de Minas Gerais, Brazil Leonardo Rocha, Universidade Federal de São João Del Rey, Brazil

Creating Heterogeneity at Run Time by Dynamic Cache and Bandwidth Partitioning Schemes ........... 872 Aryabartta Sahu, IIT Guwahati, India Saparapu Ramakrishna, Infosys Pvt. Ltd., India

On the Support of Task-Parallel Algorithmic Skeletons for Multi-GPU Computing ............................... 880 Fernando Alexandre, Universidade Nova de Lisboa, Portugal Ricardo Marques, Universidade Nova de Lisboa, Portugal Hervé Paulino, Universidade Nova de Lisboa, Portugal

Page 23: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

The Future of Accelerator Programming: Abstraction, Performance or Can We Have Both? ................. 886 Kamil Rocki, IBM Research, USA Martin Burtscher, Texas State University, USA Reiji Suda, University of Tokyo, Japan

Information Access and Retrieval Track Track Co-Chairs: Gloria Bordogna, CNR, Italy Gabriella Pasi, Univ. Milano Bicocca, Italy

Track Editorial ................................................................................................................................................. 894

GeoTime-Based Tag Ranking Model for Automatic Image Annotation .................................................... 896 Mădălina Mitran, University of Toulouse, France Guillaume Cabanac, University of Toulouse, France Mohand Boughanem, University of Toulouse, France

A New Local Feature Extraction Approach for Content-Based 3D Medical Model Retrieval using Shape Descriptor ....................................................................................................... 902 Leila C.C. Bergamasco, University of São Paulo, Brazil Fátima L.S. Nunes, University of São Paulo, Brazil

C-Rank: A Contribution-Based Web Page Ranking Approach .................................................................. 908 Dong-Jin Kim, NHN Institute for The Next Network, Korea Sang-Chul Lee, Hanyang University, Korea Ho-Yong Son, Hanyang University, Korea Sang-Wook Kim, Hanyang University, Korea Jae Bum Lee, NHN Corp., Korea

Recommend-Me: Recommending Query Regions for Image Search ......................................................... 913 Thanh Duc Ngo, University of Information Technology – VNU HCM, Vietnam Sang Phan, The Graduate University for Advanced Studies, Japan Duy-Dinh Le, National Institute of Informatics, Japan Shin'ichi Satoh, National Institute of Informatics, Japan

Personalized Collaborative Filtering: A Neighborhood Model based on Contextual Constraints .......... 919 Edson B. Santos Jr., São Paulo University, Brazil Rudinei Goularte, São Paulo University, Brazil Marcelo G. Manzato, São Paulo University, Brazil

Poster Papers

Probabilistic Opinion Models based on Subjective Sources ........................................................................ 925 Faiza Belbachir, University of Toulouse, France Mohand Boughanem, University of Toulouse, France Malik M.Saad Missen, University of Bahawapur, Pakistan

Improved Named Entity Recognition – Patterns in Columns Model (PCM) ............................................. 927 Chun Yong Moon, University of New South Wales, Australia Manjula Pilaka, University of New South Wales, Australia Hye-young Paik, University of New South Wales, Australia John Shepherd, University of New South Wales, Australia

Page 24: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Exploring Query Reformulation for Named Entity Expansion in Information Retrieval ....................... 929 Bissan Audeh, Ecole des Mines de Saint-Étienne, France Philippe Beaune, Ecole des Mines de Saint-Étienne, France Michel Beigbeder, Ecole des Mines de Saint-Étienne, France

Paper Withdrawn ............................................................................................................................................. 931

Multimedia and Visualization Track Track Co-Chairs: Maria da Graça C. Pimentel, Universidade de São Paulo, Brazil Takayuki Itoh, Ochanomizu University, Japan Rudinei Goularte, Universidade de São Paulo, Brazil

Visualization of Oceanographic Applications using a Common Data Model ............................................ 933 Jie Li, Tianjin University and National Ocean Technology Center, China Zhao-Peng Meng, Tianjin University, China Kang Zhang, University of Texas, Dallas, USA

MALL: A Life Log based Music Recommendation System and Portable Music Player .......................... 939 Ai Uno, Ochanomizu University, Japan Takayuki Itoh, Ochanomizu University, Japan

MFS-Map: Efficient Context and Content Combination to Annotate Images .......................................... 945 Alceu Ferraz Costa, University of São Paulo, Brazil Agma Juci Machado Traina, University of São Paulo, Brazil Caetano Traina, Jr., University of São Paulo, Brazil

Visualizing Large Hierarchies with Drawer Trees ....................................................................................... 951 Yalong Yang, Tianjin University, China Ning Dou, Tianjin University, China Shuai Zhao, Tianjin University, China Zhichao Yang, Tianjin University, China Kang Zhang, Tianjin University and The University of Texas at Dallas, China and USA Quang Vinh Nguye, University of Western Sydney, Australia

Text Entry using a Foot for Severely Motor-Impaired Individuals ............................................................ 957 Diogo Pedrosa, Universidade de São Paulo, Brazil Maria da Graça C. Pimentel, Universidade de São Paulo, Brazil

Content-based Image Retrieval Towards the Automatic Characterization of Soybean Seed Vigor ....... 964 Marcus G.F. Santanna, Federal Technological University of Paraná, Brazil Priscila T.M. Saito, Federal Technological University of Paraná, Brazil Pedro H. Bugatti, Federal Technological University of Paraná, Brazil

Motivating People to Perform Better in Exergames: Competition in Virtual Environments .................. 970 Mateus Nunes, UFRGS, Brazil Luciana Nedel, UFRGS, Brazil Valter Roesler, UFRGS, Brazil

Aero-Screen: Blimp-Based Ubiquitous Screen for Novel Digital Signage and Information Visualization ..... 976 Hiroaki Tobita, Sony CSL, Japan

Page 25: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Poster Papers

An Approach to Support Stereoscopic 3D Web .......................................................................................... 981 Qinshui Chen, Peking University, China Wenmin Wang, Peking University, China Ronggang Wang, Peking University, China Jianlong Zhang, Peking University, China Zhongxin Liu, Peking University, China

Introduction of a Multi-Layer Predictive Search Strategy for Scalable Video Coding .......................... 985 Ronaldo Husemann, UFRGS, Brazil Valter Roesler, UFRGS, Brazil

Volume II: Software Development, System Software & Security

Requirements Engineering Track Track Co-Chairs: Maria Lencastre, Universidade de Pernambuco, Brazil Joao Araujo, UNL, Portugal

Are Smartphones Better than CRC Cards? ................................................................................................ 987 Rainer Lutz, University of Trier, Germany Sascha Schäfer, University of Trier, Germany Stephan Diehl, University of Trier, Germany

From Requirements to Statecharts via Design Refinement ....................................................................... 995 João Pimentel, UFPE, Brazil Jaelson Castro, UFPE, Brazil John Mylopoulos, UNITN, Italy Konstantinos Angelopoulos, UNITN, Italy Vítor E. Silva Souza, UFES, Brazil

Eliciting Concepts from the Brazilian Access Law using a Combined Approach ................................... 1001 Priscila Engiel, PUC-RIO, Brazil Claudia Cappelli, UNIRIO, Brazil Julio Cesar Sampaio do Prado Leite, PUC-RIO, Brazil

Towards Software Modularization from Requirements ............................................................................ 1007 Eduardo Almentero, PUC-RIO, Brazil Julio Cesar Sampaio do Prado Leite, PUC-RIO, Brazil Carlos Lucena, PUC-RIO, Brazil

Cloud Adoption: Prioritizing Obstacles and Obstacles Resolution Tactics using AHP .......................... 1013 Shehnila Zardari, University of Birmingham, UK Rami Bahsoon, University of Birmingham, UK Aniko Ekárt, Aston University, UK

Poster Papers

Quality of Requirements Specifications: A Preliminary Overview of an Automatic Validation Approach .................................................................................................................. 1021 Alberto Rodrigues da Silva, Instituto Superior Técnico, Universidade de Lisboa, Portugal

Page 26: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Transformation Approach from KAOS Goal Models to BPMN Models using Refinement Patterns ... 1023 Hiroki Horita, The University of Electro-Communications, Japan Kozo Honda, The University of Electro-Communications, Japan Yuichi Sei, The University of Electro-Communications, Japan Hiroyuki Nakagawa, The University of Electro-Communications, Japan Yasuyuki Tahara, The University of Electro-Communications, Japan Akihiko Ohsuga, The University of Electro-Communications, Japan

Software Architecture: Theory, Technology, and Applications Track Track Co-Chairs: Antonio Bucchiarone, Bruno Kessler Foundation of Trento, Italy Raffaela Mirandola, Politecnico di Milano, Israel Patrizia Scandurra, University of Bergamo, Italy Sungwon Kang, Koera Advanced Institute of Science and Technology, Korea

Track Editorial ............................................................................................................................................... 1025

Generative Adaptation of Model Transformation Assets: Experiences, Lessons and Drawbacks ........ 1027 Fábio Paulo Basso, Universidade Federal do Rio de Janeiro, Brazil Raquel Mainardi Pillat, Universidade Federal do Rio de Janeiro, Brazil Toacy Cavalcante Oliveira, Universidade Federal do Rio de Janeiro, Brazil Marcos Didonet Del Fabro, Universidade Federal do Paraná, Brazil

A Hierarchical Model for Traceability between Requirements and Architecture .................................. 1035 Jeho Oh, Samsung Techwin, Republic of Korea Sungwon Kang, KAIST, Republic of Korea

On the Impact of Obliviousness and Quantification on Model Composition Effort ............................... 1043 Everton Guimaraes, PUC-Rio, Brazil Alessandro Garcia, PUC-Rio, Brazil Kleinner Farias, PUC-Rio, Brazil

Research Challenges in Business Process Adaptability .............................................................................. 1049 Riccardo Cognini, University of Camerino, Italy Flavio Corradini, University of Camerino, Italy Stefania Gnesi, ISTI-CNR, Italy Andrea Polini, ISTI-CNR, Italy Barbara Re, University of Camerino, Italy

Poster Papers

Ontology Driven Builder Pattern – A Plug and Play Component ............................................................. 1055 Amrita Chaturvedi, Indian Institute of Technology, India Prabhakar T.V., Indian Institute of Technology, India

Page 27: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Software Engineering Track Track Co-Chairs: W. Eric Wong, UT-Dallas, USA Chang Oan Sung, Indiana University Southeast, USA John Kim, Utica College, USA Zhenyu Chen, Software Institute Nanjing University, China

Adaptive Random Prioritization for Interaction Test Suites .................................................................... 1058 Rubing Huang, Jiangsu University, Huazhong University of Science and Technology, China Jinfu Chen, Jiangsu University, China Zhicheng Li, Jianghan University, China Rongcun Wang, Huazhong University of Science and Technology, China Yansheng Lu, Huazhong University of Science and Technology, China

Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines .... 1064 Tewfik Ziadi, UPMC LIP6, France Christopher Henard, University of Luxembourg, Luxembourg Mike Papadakis, University of Luxembourg, Luxembourg Mikal Ziane, LIP6, France Yves Le Traon, University of Luxembourg, Luxembourg

Success Factors in Mobile Social Networking Application Development: Case Study of Instagram .... 1072 Rong Peng, Wuhan University, China Dong Sun, Wuhan University, China Wei-Tek Tsai, Arizona State University, USA

Schedulability Analysis Support for Automotive Systems: From Requirement to Implementation ..... 1080 Eun-Young Kang, Namur University, Belgium Pierre-Yves Schobbens, Namur University, Belgium

Project Centralization based on Graph Coloring ....................................................................................... 1086 Lei Ma, The University of Tokyo, Japan Cyrille Artho, Research Institute for Secure Systems AIST, Japan Hiroyuki Sato, The University of Tokyo, Japan

An Empirical Study of Requirements-Based Test Generation on an Automobile Control System ....... 1094 Ruizhi Gao, University of Texas at Dallas, USA Jeong Soo Eo, Hyundai Motor Company, Korea W. Eric Wong, University of Texas at Dallas, USA Xinwei Gao, University of Texas at Dallas, USA Shou-Yu Lee, University of Texas at Dallas, USA

Locating Fault-Inducing Patterns from Structural Inputs ........................................................................ 1100 Hai-Feng Guo, University of Nebraska at Omaha, USA Zongyan Qiu, Peking University, P.R. China Harvey Siy, University of Nebraska at Omaha, USA

Using Models to Dynamically Refactor Runtime Code .............................................................................. 1108 Mohammed Al-Refai, Colorado State University, USA Walter Cazzola, Università degli Studi di Milano, Italy Robert France, Colorado State University, USA

A Fault Deployment and Activation Approach for Testing Self-Recovery Mechanisms ........................ 1114 Kiev Gama, Universidade Federal de Pernambuco, Brazil Didier Donsez, University of Grenoble, France

Page 28: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Computing Contextual Metric Thresholds .................................................................................................. 1120 Matthieu Foucault, University of Bordeaux, France Marc Palyart, University of Bordeaux, France Jean-Rémy Falleri, University of Bordeaux, France Xavier Blanc, University of Bordeaux, France

Planning for Declarative Processes .............................................................................................................. 1126 Yoann Laurent, LIP6, France Reda Bendraou, LIP6, France Souheib Baarir, LIP6, France Marie-Pierre Gervais, LIP6, France

Utilizing a Multi-Developer Network-based Developer Recommendation Algorithm to Fix Bugs Effectively ................................................................................................................ 1134 Geunseok Yang, University of Seoul, South Korea Tao Zhang, University of Seoul, South Korea Byungjeong Lee, University of Seoul, South Korea

Automatic Construction of Timing Diagrams from UML/MARTE Models for Real-Time Embedded Software .................................................................................................................... 1140 Minh Chau Nguyen, ETRI, Republic of Korea Eunkyoung Jee, KAIST, Republic of Korea Jinho Choi, ADD, Republic of Korea Doo-Hwan Bae, KAIST, Republic of Korea

Activities Performed by Programmers while using Framework Examples as a Guide .......................... 1146 Reihane Boghrati, University of Southern California, USA Abbas Heydarnoori, Sharif University of Technology, Iran Majeed Kazemitabaar, Sharif University of Technology, Iran

Unveiling Developers Contributions Behind Code Commits: An Exploratory Study ............................ 1152 Daniel Alencar da Costa, UFRN, Brazil Uirá Kulesza, UFRN, Brazil Eduardo Aranha, UFRN, Brazil Roberta Coelho, UFRN, Brazil

Detecting Architecturally-Relevant Code Anomalies: A Case Study of Effectiveness and Effort ......... 1158 Manuele Ferreira, PUC-Rio, Brazil Eiji Barbosa, PUC-Rio, Brazil Isela Macia, PUC-Rio, Brazil Roberta Arcoverde, PUC-Rio, Brazil Alessandro Garcia, PUC-Rio, Brazil

Risk Assessment of Code Injection Vulnerabilities using Fuzzy Logic-Based System ............................ 1164 Hossain Shahriar, Kennesaw State University, USA Hisham Haddad, Kennesaw State University, USA

Poster Papers

Dynamics of Open-Source Software Developer's Commit Behavior: An Empirical Investigation of Subversion ................................................................................................... 1171 Yutao Ma, Wuhan University, China Yang Wu, LingYun Science and Technology Group Co., Ltd., China Youwei Xu, Wuhan Housing Security and Management Bureau, China

Page 29: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Rethinking Agribusiness Models in Africa .................................................................................................. 1174 Charity Wayua, IBM Research – Africa, Kenya Komminist Weldemariam, IBM Research – Africa, Kenya Osamuyimen Stewart, IBM Research – Africa, Kenya

A Dynamic Analysis Technique to Extract Symptoms that Suggest Side Effects in Framework Applications ..................................................................................................... 1176 Izuru Kume, Nara Institute of Science and Technology, Japan Naoya Nitta, Konan University, Japan Masahide Nakamura, Kobe University, Japan Etsuya Shibayama, The University of Tokyo, Japan

Combining Research and Education of Software Testing: A Preliminary Study ................................... 1179 Zhenyu Chen, Nanjing University, China Atif Memon, University of Maryland, USA Bin Luo, Nanjing University, China

Towards a Quality Model for Model Composition Effort ......................................................................... 1181 Kleinner Farias, University of Vale do Rio dos Sinos, Brazil Alessandro Garcia, Pontifical Catholic University of Rio de Janeiro, Brazil Carlos Lucena, Pontifical Catholic University of Rio de Janeiro, Brazil Luiz Gonzaga Jr., University of Vale do Rio dos Sinos, Brazil Cristiano André da Costa, University of Vale do Rio dos Sinos, Brazil Rodrigo da Rosa Righi, University of Vale do Rio dos Sinos, Brazil Fábio Basso, Federal University of Rio de Janeiro, Brazil Toacy Oliveira, Federal University of Rio de Janeiro, Brazil

Build System Analysis with Link Prediction ............................................................................................... 1184 Xin Xia, Zhejiang University, China David Lo, Singapore Management University, Singapore Xinyu Wang, Zhejiang University, China Bo Zhou, Zhejiang University, China

An Empirical Study of Bugs in Build Process ............................................................................................. 1187 Xiaoqiong Zhao, Zhejiang University, China Xin Xia, Zhejiang University, China Pavneet Singh Kochhar, Singapore Management University, Singapore David Lo, Singapore Management University, Singapore Shanping Li, Zhejiang University, China

A Survey on Research in Software Reliability Engineering in the Last Decade ...................................... 1190 Joicymara Xavier, Federal University of Uberlandia, Brazil Autran Macêdo, Federal University of Uberlandia, Brazil Rivalino Matias, Federal University of Uberlandia, Brazil Lucio Borges, Federal University of Uberlandia, Brazil

Page 30: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Software Engineering Aspects of Green Computing Track Track Co-Chairs: Somayeh Malakuti, University of Twente, Netherlands Wolfgang Lohmann, Federal Laboratories for Materials

Science and Technology, Switzerland Mehmet Aksit, University of Twente, Netherlands

Track Editorial ............................................................................................................................................... 1192

EACOF: A Framework for Providing Energy Transparency to Enable Energy-Aware Software Development ......................................................................................................... 1194 Hayden Field, University of Bristol, UK Glen Anderson, University of Bristol, UK Kerstin Eder, University of Bristol, UK

Unit Testing of Energy Consumption of Software Libraries ..................................................................... 1200 Adel Noureddine, Inria, University Lille 1, France Romain Rouvoy, Inria, University Lille 1, France Lionel Seinturier, Inria, University Lille 1, Institut Universitaire de France, France

A Tool-Supported Approach for Modular Design of Energy-Aware Software ....................................... 1206 Steven te Brinke, University of Twente, Netherlands Somayeh Malakuti, University of Twente, Germany Christoph Bockisch, University of Twente, Netherlands Lodewijk Bergmans, University of Twente, Netherlands Mehmet Akşit, University of Twente, Netherlands Shmuel Katz, The Technion, Israel

Method Reallocation to Reduce Energy Consumption: An Implementation in Android OS ................ 1213 Luis Corral, Free University of Bolzano, Italy Anton B. Georgiev, Free University of Bolzano, Italy Alberto Sillitti, Free University of Bolzano, Italy Giancarlo Succi, Free University of Bolzano, Italy

Poster Papers

Green-as-a-Service (GaaS) for Cloud Service Provision Operation ......................................................... 1219 Mahamat Issa Hassan, University of Birmingham, UK Rami Bahsoon, University of Birmingham, UK

Student Research Competition Papers

Student Research Abstract: Interpreting Energy Profiles with CEGAR ................................................. 1221 Steven te Brinke, University of Twente, Netherlands

Page 31: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Service-Oriented Architecture and Programming Track Track Co-Chairs: Mario Bravetti, University of Bologna, Italy Fabrizio Montesi, ItalianaSoftware, Italy Manuel Mazzara, University of Newcastle, UK Alberto Lluch Lafuente, IMT Lucca, Italy Ilsun You, Korean Bible University, Korea

Track Editorial ............................................................................................................................................... 1223

A Method to Identify Services using Master Data and Artifact-Centric Modeling Approach ................. 1225 Rosane S. Huergo, Universidade Federal do Rio de Janeiro, Brazil Paulo F. Pires, Universidade Federal do Rio de Janeiro, Brazil Flavia C. Delicato, Universidade Federal do Rio de Janeiro, Brazil

An SOA Approach for Automating Software Product Line Adoption ..................................................... 1231 Carlos Parra, Heinsohn Business Technology, Colombia Diego Joya, Heinsohn Business Technology, Colombia Leonardo Giral, Heinsohn Business Technology, Colombia Alvaro Infante, Heinsohn Business Technology, Colombia

In the Wild: A Large Scale Study of Web Service Vulnerabilities ............................................................ 1239 Sushama Karumanchi, Pennsylvania State University, USA Anna Cinzia Squicciarini, Pennsylvania State University, USA

Quantitative Analysis of Reo-Based Services Coordination ...................................................................... 1247 Nuno Oliveira, Universidade do Minho, Portugal Alexandra Silva, Radboud University, Netherlands Luís S. Barbosa, Universidade do Minho, Portugal

Student Research Competition Papers

Student Research Abstract: A Fault-Tolerant Architecture for Decentralized Compositions of Services in the Wild .................................................................................. 1255 Felipe Pontes Guimaraes, IME-USP, Brasil

Software Verification and Testing Track Track Co-Chairs: Jun Pang, University of Luxembourg, Luxembourg Marielle Stoelinga, University of Twente, Netherlands

Crashmaker: An Improved Binary Concolic Testing Tool for Vulnerability Detection ........................ 1257 Bing Chen, Nanjing University, China Qingkai Zeng, Nanjing University, China Weiguang Wang, Nanjing University, China

Translating Event-B to JML-Specified Java Programs ............................................................................. 1264 Víctor Rivera, The University of Madeira, Portugal Néstor Cataño, University EAFIT, Colombia

Input-Output Conformance Testing based on Featured Transition Systems .......................................... 1272 Harsh Beohar, Halmstad University, Sweden Mohammad Reza Mousavi, Halmstad University, Sweden

Page 32: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Runtime Enforcement of Regular Timed Properties ................................................................................. 1279 Srinivas Pinisetty, INRIA, France Yliès Falcone, Université Grenoble I, France Thierry Jéron, INRIA, France Hervé Marchand, INRIA, France

On the Completeness of Test Suites ............................................................................................................. 1287 Adilson Luiz Bonifacio, University of Londrina, Brazil Arnaldo Vieira Moura, University of Campinas, Brazil

Effective Fault Localization via Mutation Analysis: A Selective Mutation Approach ........................... 1293 Mike Papadakis, University of Luxembourg, Luxembourg Yves Le Traon, University of Luxembourg, Luxembourg

A Systematic Literature Review on Modified Condition and Decision Coverage ................................... 1301 Tanay Kanti Paul, Swinburne University of Technology, Australia Man Fai Lau, Swinburne University of Technology, Australia

Complexity Checking of ARM Programs, by Deduction ........................................................................... 1309 Mário Pereira, Universidade do Porto, Portugal Simão Melo de Sousa, Universidade da Beira Interior, Portugal

User Interface Generation Track Track Co-Chairs: Roman Popp, Vienna University of Technology, Austria David Raneburger, Vienna University of Technology, Austria Gerrit Meixner, Heilbronn University, Germany

Track Editorial ............................................................................................................................................... 1315

XIS-Mobile: A DSL for Mobile Applications .............................................................................................. 1316 André Ribeiro, Instituto Superior Técnico, Portugal Alberto Rodrigues da Silva, Instituto Superior Técnico, Portugal

A Process for Facilitating Interaction Design through Automated GUI Generation .............................. 1324 David Raneburger, Vienna University of Technology, Austria Hermann Kaindl, Vienna University of Technology, Austria Roman Popp, Vienna University of Technology, Austria Vedran Šajatović, Vienna University of Technology, Austria Alexander Armbruster, Vienna University of Technology, Austria

Coordination Models, Languages and Applications Track Track Co-Chairs: Mirko Viroli, Alma Mater Studiorum, Università di Bologna, Italy Gabriella Castelli, Università di Modena e Reggio Emilia, Italy Jose Luis Fernandez Marquez, Université de Genève, Switzerland

Reliable Self-Deployment of Cloud Applications ........................................................................................ 1331 Xavier Etchevers, Orange Labs, France Gwen Salaün, Grenoble INP, Inria, France Fabienne Boyer, UJF-Grenoble 1, France Thierry Coupaye, Orange Labs, France Noël De Palma, UJF-Grenoble 1, France

Page 33: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Declarative Scheduling for Active Objects .................................................................................................. 1339 Ludovic Henrio, University Nice Sophia Antipolis, France Justine Rochas, University Nice Sophia Antipolis, France

Practical Implementation Techniques of Ambient Calculus in Conventional Dynamic Languages ..... 1345 Seiji Umatani, Kyoto University, Japan

Poster Papers

Flexible Modeling of Policy-Driven Upstream Notification Strategies ..................................................... 1352 Eva Kühn, TU-Vienna, Austria Stefan Craß, TU-Vienna, Austria Gerson Joskowicz, TU-Vienna, Austria Martin Novak, TU-Vienna, Austria

Self-Composition of Services with Chemical Reactions ............................................................................. 1355 Francesco De Angelis, University of Geneva, Switzerland Jose Luis Fernandez-Marquez, University of Geneva, Switzerland Giovanna Di Marzo Serugendo, University of Geneva, Switzerland

Constraint Solving and Programming Track Track Co-Chairs: Stefano Bistarelli, Università di Perugia, Italy and IIT-CNR, Pisa, Italy Eric Monfroy, LINA-Université de Nantes, France Barry O'Sullivan, University College Cork, Ireland

An Enhanced Features Extractor for a Portfolio of Constraint Solvers .................................................. 1357 Roberto Amadini, University of Bologna, Italy Maurizio Gabbrielli, University of Bologna, Italy Jacopo Mauro, University of Bologna, Italy

Flexible Cooperation in Parallel Local Search ............................................................................................ 1360 Danny Munera, University of Paris 1, France Daniel Diaz, University of Paris 1, France Salvador Abreu, University of Évora / CENTRIA, Portugal Philippe Codognet, JFLI-CNRS / UPMC / University of Tokyo, Japan

Enterprise Engineering Track Track Co-Chairs: Artur Caetano, IST, Technical University of Lisbon, Portugal Rafael Accorsi, Freiburg University, Germany Minseok Song, Ulsan National Institute of Science and Technology, Korea Jianmin Wang, Tsinghua National Laboratory for Information

Science and Technology, China

Track Editorial ............................................................................................................................................... 1362

How Social Distance of Process Designers Affects the Process of Process Modeling: Insights From a Controlled Experiment ...................................................................................................... 1364 Jens Kolb, Ulm University, Germany Michael Zimoch, Ulm University, Germany Barbara Weber, University of Innsbruck, Austria Manfred Reichert, Ulm University, Germany

Page 34: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Execution Support for Agenda-Driven Case Management ....................................................................... 1371 Marian Benner-Wickner, University Duisburg-Essen, Germany Matthias Book, University Duisburg-Essen, Germany Tobias Brückmann, University Duisburg-Essen, Germany Volker Gruhn, University Duisburg-Essen, Germany

Predicting Change Propagation Impacts in Collaborative Business Processes ....................................... 1378 Walid Fdhila, University of Vienna, Austria Stefanie Rinderle-Ma, University of Vienna, Austria

Towards an Assessment Model for Balancing Process Model Production and Use ................................ 1386 Toomas Saarsen, University of Tartu, Estonia Marlon Dumas, University of Tartu, Estonia

A Collaborative Processes Synchronization Method with Regards to System Crashes and Network Failures ........................................................................................................ 1393 Lei Wang, University of Twente, The Netherlands Andreas Wombacher, University of Twente and Nspyre, The Netherlands Luís Ferreira Pires, University of Twente, The Netherlands Marten J. van Sinderen, University of Twente, The Netherlands Chi-Hung Chi, Computational Informatics – Hobart, CSIRO, Australia

Modeling of Privacy-Aware Business Processes in BPMN to Protect Personal Data ............................. 1399 Wadha Labda, University of Manchester, UK Nikolay Mehandjiev, University of Manchester, UK Pedro Sampaio, University of Manchester, UK

Conformance Checking for BPMN-Based Process Models ....................................................................... 1406 Thomas Molka, SAP (UK) Ltd, Belfast, UK David Redlich, SAP (UK) Ltd, Belfast, UK Marc Drobek, SAP (UK) Ltd, Belfast, UK Artur Caetano, University of Lisbon, Portugal Xiao-Jun Zeng, University of Manchester, UK Wasif Gilani, SAP (UK) Ltd, Belfast, UK

Poster Papers

Big Data meets Process Mining: Implementing the Alpha Algorithm with Map-Reduce ...................... 1414 Joerg Evermann, Memorial University of Newfoundland, Canada Ghazal Assadipour, Memorial University of Newfoundland, Canada

eXtreme Enterprise Architecture Planning ................................................................................................. 1417 Hugo Ramos, INOV – Inesc Inovação, Portugal André Vasconcelos, INOV – Inesc Inovação, Portugal

Ontology-Based Enterprise Architecture Model Analysis ......................................................................... 1420 Gonçalo Antunes, University of Lisbon, Portugal Marzieh Bakhshandeh, University of Lisbon, Portugal Rudolf Mayer, SBA Research GmbH, Austria José Borbinha, University of Lisbon and INESC-ID, Portugal Artur Caetano, University of Lisbon and INESC-ID, Portugal

Page 35: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Embedded Systems Track Track Co-Chairs: Alessio Bechini, University of Pisa, Italy Li-Pin Chang, National Chiao-Tung University, Taiwan

Track Editorial ............................................................................................................................................... 1423

A Thermal-Throttling Server in 3D Multicore Chips ................................................................................ 1425 Ting-Hao Tsai, National Taiwan University of Science and Technology, Taiwan Ya-Shu Chen, National Taiwan University of Science and Technology, Taiwan

A Heuristic to Minimize the Cardinality of a Real-Time Task Set by Automated Task Clustering ..... 1431 Antoine Bertout, University Lille1, LIFL, France Julien Forget, University Lille1, LIFL, France Richard Olejnik, University Lille1, LIFL, France

A Traffic-Balanced Routing Scheme for Heat Balance in 3D Networks-on-Chip ................................... 1437 Wan-Chi Chang, National Chung-Hsing University, Taiwan, R.O.C. Hsueh-Wen Tseng, National Chung-Hsing University, Taiwan, R.O.C. Chin-Fu Kuo, National University of Kaohsiung, Taiwan, R.O.C.

Building a WSN Infrastructure with COTS Components for the Thermal Monitoring of Datacenters ..... 1443 Gustavo Zanatta, Universidade Federal Fluminense, Brazil Giulio Dariano Bottari, Universidade Federal Fluminense, Brazil Raphael Guerra, Universidade Federal Fluminense, Brazil Julius Leite, Universidade Federal Fluminense, Brazil

The Least-Dirty-First Cache Replacement Policy for Phase-Change Memory ....................................... 1449 Seunghoon Yoo, Korea Air Force Academy, Korea Eunji Lee, Ewha University, Korea Hyokyung Bahn, Ewha University, Korea

Mobile Platforms Track Track Co-Chairs: Jian-Jia Chen, Karlsruhe Institute of Technology, Germany Hong Min, Hoseo University, Korea

A Copula-Based Risk Evaluation Method (C-REM) in a Corporate Mobile Banking Context ............... 1455 Abdullah A.I. Alnajem, The University of Manchester, UK Ning Zhang, The University of Manchester, UK

Context-Aware Music Recommendation in Mobile Smart Devices .......................................................... 1463 Jiwon Hong, Hanyang University, Republic of Korea Won-Seok Hwang, Hanyang University, Republic of Korea Jin-Hyung Kim, Hanyang University, Republic of Korea Sang-Wook Kim, Hanyang University, Republic of Korea

Application Behavior Analysis in Resource Consumption for Mobile Devices ....................................... 1469 Su-Wei Chang, National Taiwan University, Taiwan Sheng-Wei Cheng, National Taiwan University, Taiwan Pi-Cheng Hsiu, Academia Sinica, Taiwan Tei-Wei Kuo, National Taiwan University, Taiwan Ching-Wen Lin, Smart Network System Institute, Taiwan

Page 36: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Poster Papers

Traffic 411: A Traffic Congestion Routing and Awareness Platform for Nairobi .................................. 1475 Andrew Kinai, Carnegie Mellon University-Rwanda, Rwanda Reginald E. Bryant, IBM Research Africa, Kenya Aisha Walcott-Bryant, IBM Research Africa, Kenya Eric Mibuari, IBM Research Africa, Kenya Komminist Weldemariam, IBM Research Africa, Kenya Osamuyimen Stewart, IBM Research Africa, Kenya

Operating Systems Track Track Co-Chairs: Tei-Wei Kuo, National Taiwan University, Taiwan Seongwon Lee, Samsung Electronics, Korea

Track Editorial ............................................................................................................................................... 1477

ICAP, a New Flash Wear-Leveling Algorithm Inspired by Locality ........................................................ 1478 Shi-wu Lo, National Chung-Cheng University, Taiwan Bo-Hong Chen, National Chung-Cheng University, Taiwan Yu-Wei Chen, National Chung-Cheng University, Taiwan Tzu-Chieh Shen, Industrial Technology Research Institute, Taiwan You-Ching Lin, Industrial Technology Research Institute, Taiwan

Rollback Mechanism of Nested Virtual Machines for Protocol Fuzz Testing ......................................... 1484 Kuniyasu Suzaki, National Institute of Advanced Industrial Science and Technology, Japan Toshiki Yagi, National Institute of Advanced Industrial Science and Technology, Japan Akira Tanaka, National Institute of Advanced Industrial Science and Technology, Japan Yutaka Oiwa, National Institute of Advanced Industrial Science and Technology, Japan Etsuya Shibayama, National Institute of Advanced Industrial Science and Technology and

The University of Tokyo, Japan

An Effective Data Clustering Method based on Expected Update Time in Flash Memory Environment ... 1492 Duck-Ho Bae, Hanyang University, Korea Se-Mi Park, Hanyang University, Korea Sang-Wook Kim, Hanyang University, Korea Ji-Woong Chang, Korea Polytechnic University, Korea Byeong-Soo Jeong, Kyung Hee University, Korea Seong-je Cho, Dankook University, Korea

Delay-Based Incrementally Mapping of Virtual Machines in Cloud Computing Systems ..................... 1498 Chin-Fu Kuo, National University of Kaohsiung, Taiwan Hsueh-Wen Tseng, National Chung-Hsing University, Taiwan

Optimizing FTL Mapping Cache for Random-Write Workloads using Adaptive Block Partitioning .... 1504 Li-Pin Chang, National Chiao-Tung University, Taiwan Sheng-Min Huang, National Chiao-Tung University, Taiwan Wen-Ping Li, National Chiao-Tung University, Taiwan

An I/O Scheduler based on Fine-Grained Access Patterns to Improve SSD Performance and Lifespan ... 1511 Mingyang Wang, University of Cincinnati, USA Yiming Hu, University of Cincinnati, USA

Page 37: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Cooperative Kernel: Online Memory Test Platform using Inter-Kernel Context Switch and Memory Isolation ........................................................................................................ 1517 Heekwon Park, University of Pittsburgh, USA Dongwoo Kang, Dankook University, Korea Jongmoo Choi, Dankook University, Korea

An Empirical Exploratory Study on Operating System Reliability .......................................................... 1523 Rivalino Matias, Federal University of Uberlandia, Brazil Marcela Prince, Federal University of Uberlandia, Brazil Lúcio Borges, Federal University of Uberlandia, Brazil Claudio Sousa, Federal University of Uberlandia, Brazil Luan Henrique, Federal University of Uberlandia, Brazil

An Experimental Study on Execution Time Variation in Computer Experiments ................................. 1529 Paulo Eduardo Nogueira, Federal Institute for Education, Science, and Technology, Brazil Rivalino Matias Jr., Federal University of Uberlandia, Brazil Elder Vicente, Federal University of Triangulo Mineiro, Brazil

DTFS: Exploiting the Similarity of Data Versions to Design a Write-Efficient File System in Phase-Change Memory ................................................................................................................ 1535 Eunji Lee, Samsung Electronics, Korea Jee-eun Jang, Seoul National University, Korea Hyokyung Bahn, Ewha University, Korea

Poster Papers

Per-Cluster Allocation of Relocation Staff on Electric Vehicle Sharing Systems .................................... 1541 Junghoon Lee, Jeju National University, Republic of Korea Gyung-Leen Park, Jeju National University, Republic of Korea Jihyun Kang, Jeju National University, Republic of Korea Naram Ham, Jeju National University, Republic of Korea

Mapping of the Synchronization Mechanisms of the Linux Kernel to the Response-Time Analysis Model .................................................................................................................... 1543 Daniel Bristot de Oliveira, Federal University of Santa Catarina, Brazil Rômulo Silva de Oliveira, Federal University of Santa Catarina, Brazil

Experimental and Theoretical Analyses of Memory Allocation Algorithms ........................................... 1545 Diego Elias, Federal University of Uberlandia, Brazil Rivalino Matias, Federal University of Uberlandia, Brazil Marcia Fernandes, Federal University of Uberlandia, Brazil Lucio Borges, Federal University of Uberlandia, Brazil

Large Scale Processing of Landsat Data on Various Software Platforms ................................................ 1547 George Hamer, South Dakota State University, USA Jason Werpy, Information Dynamics, USA

Student Research Competition Papers

Student Research Abstract: A Domain Specific Language for Process Scheduling ................................ 1550 Daniel Röhrig, Technische Universität Berlin, Germany

Student Research Abstract: A Platform Independent Scheduler Framework ........................................ 1552 Christian René Sechting, Technische Universität Berlin, Germany

Page 38: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Programming Languages Track Track Co-Chairs: Marjan Mernik, University of Maribor, Slovenia Barrett Bryant, University of North Texas, USA

Track Editorial ............................................................................................................................................... 1554

Locking Fast ................................................................................................................................................... 1556 Manuel Serrano, INRIA Mediterranée, France Johan Grande, Université Nice Sophia Antipolis, France

Fully Abstract Trace Semantics for Low-Level Isolation Mechanisms .................................................... 1562 Marco Patrignani, KU Leuven, Belgium Dave Clarke, KU Leuven, Belgium

Defining the Syntax of Extensible Languages ............................................................................................. 1570 Leonardo V.S. Reis, Universidade Federal de Ouro Preto, Brazil Vladimir O. Di Iorio, Universidade Federal de Viçosa, Brazil Roberto S. Bigonha, Universidade Federal de Minas Gerais, Brazil

Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem .... 1577 Frédéric Loulergue, Université Orléans, ENSI de Bourges, France Simon Robillard, Université Orléans, ENSI de Bourges, France Julien Tesson, Université Paris Est, LACL, UPEC, France Joeffrey Legaux, Université Orléans, ENSI de Bourges, France Zhenjiang Hu, National Institute of Informatics, Japan

Nested Atomic Sections with Thread Escape: A Formal Definition ......................................................... 1585 Frédéric Dabrowski, Université d'Orléans, France Frédéric Loulergue, Université d'Orléans, France Thomas Pinsard, Université d'Orléans, France

Arithmetic Algorithms for Hereditarily Binary Natural Numbers .......................................................... 1593 Paul Tarau, University of North Texas, USA Bill Buckles, University of North Texas, USA

Extending JUnit 4 with Java Annotations and Reflection to Test Variant Model Transformation Assets ................................................................................................ 1601 Fábio Paulo Basso, Federal University of Rio de Janeiro (UFRJ) COPPE, Brazil Toacy Cavalcante Oliveira, Federal University of Rio de Janeiro (UFRJ) COPPE, Brazil Kleinner Farias, Universidade do Vale do Rio dos Sinos (Unisinos), PIPCA, Brazil

Poster Papers

Global Value Numbering for Redundancy Detection: A Simple and Efficient Algorithm ..................... 1609 Nabizath Saleena, National Institute of Technology Calicut, India Vineeth Paleri, National Institute of Technology Calicut, India

Manipulating Models using Internal Domain-Specific Languages ........................................................... 1612 Filip Křikava, University Lille 1, France Philippe Collet, Université Nice, France Robert B. France, Colorado State University, USA

Page 39: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Linter – A Tool for Finding Bugs and Potential Problems in Scala Code ................................................ 1615 Matic Potočnik, University of Ljubljana, Slovenia Uroš Čibej, University of Ljubljana, Slovenia Boštjan Slivnik, University of Ljubljana, Slovenia

Programming for Separation of Concerns Track Track Co-Chairs: Corrado Santoro, University of Catania, Italy Emiliano Tramontana, University of Catania, Italy

Track Editorial ............................................................................................................................................... 1617

An Aspect Pointcut for Parallelizable Loops ............................................................................................... 1619 John S. Dean, Park University, USA Frank J. Mitropoulos, Nova Southeastern University, USA

Declarative Design Pattern-Based Development using Aspect Oriented Programming ......................... 1625 Mario L. Bernardi, Universtity of Sannio, Italy Marta Cimitile, Unitelma Sapienza University, Italy Giuseppe A. Di Lucca, University of Sannio, Italy

Computer Security Track Track Co-Chairs: Giampaolo Bella, Università di Catania, Italy Steve Kremer, Inria Nancy, France Manuel Bernardo Barbosa, Universidade do Minho, Portugal

Track Editorial ............................................................................................................................................... 1631

X-Pire 2.0 – A User-Controlled Expiration Date and Copy Protection Mechanism ............................... 1633 Michael Backes, Saarland University and MPI-SWS, Germany Sebastian Gerling, Saarland University, Germany Stefan Lorenz, peloba, Germany Stephan Lukas, Heinrich-Heine-Gymnasium, Munich, Germany

Building Secure and Anonymous Communication Channel: Formal Model and Its Prototype Implementation ....................................................................................................................... 1641 Keita Emura, National Institute of Information and Communications Technology, Japan Akira Kanaoka, National Institute of Information and Communications Technology, and Toho University, Japan Satoshi Ohta, National Institute of Information and Communications Technology, Japan Takeshi Takahashi, National Institute of Information and Communications Technology, Japan

Do You Feel Lucky? A Large-Scale Analysis of Risk-Rewards Trade-Offs in Cyber Security ................ 1649 Yan Shoshitaishvili, University of California, Santa Barbara, USA Luca Invernizzi, University of California, Santa Barbara, USA Adam Doupe, University of California, Santa Barbara, USA Giovanni Vigna, University of California, Santa Barbara, USA

Extracting Probable Command and Control Signatures for Detecting Botnets ...................................... 1657 Ali Zand, University of California, Santa Barbara, USA Giovanni Vigna, University of California, Santa Barbara, USA Xifeng Yan, University of California, Santa Barbara, USA Christopher Kruegel, University of California, Santa Barbara, USA

Page 40: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

JSFlow: Tracking Information Flow in JavaScript and Its APIs ............................................................. 1663 Daniel Hedin, Chalmers University of Technology, Sweden Arnar Birgisson, Chalmers University of Technology, Sweden Luciano Bello, Chalmers University of Technology, Sweden Andrei Sabelfeld, Chalmers University of Technology, Sweden

Lanus: Secure and Holistic Coexistence with Kernel Extensions – A Immune System-Inspired Approach ........................................................................................................ 1672 Daniela Oliveira, Bowdoin College, USA Jesus Navarro, NVIDIA, USA Nicholas Wetzel, Bowdoin College, USA Max Bucci, Bowdoin College, USA

Design of Touch Dynamics based User Authentication with an Adaptive Mechanism on Mobile Phones ...................................................................................................... 1680 Yuxin Meng, City University of Hong Kong, Hong Kong Duncan S. Wong, City University of Hong Kong, Hong Kong Lam-For Kwok, City University of Hong Kong, Hong Kong

Efficient Protocols for Private Record Linkage .......................................................................................... 1688 Zikai Wen, University of Strathclyde & Beijing University of Chemical Technology, UK Changyu Dong, University of Strathclyde, UK

Student Research Competition Papers

Student Research Abstract: Android Malware Detection based on Kullback-Leibler Divergence ....... 1695 Vanessa N. Cooper, Kennesaw State University, USA

Trust, Reputation, Evidence and other Collaboration Know-How Track Track Co-Chairs: Jean-Marc Seigneur, University of Geneva, Switzerland Ali Chehab, American University of Beirut, Lebanon Sini Ruohomaa, University of Helsinki, Finland

Track Editorial ............................................................................................................................................... 1697

Case Study: Legal Requirements for the use of Social Login Features for Online Reputation Updates ... 1698 Yung Shin Van Der Sype, ICRI – KU Leuven, Belgium Jean-Marc Seigneur, Université de Genève, Switzerland

Privacy Preserving Trusted Social Feedback .............................................................................................. 1706 Anirban Basu, KDDI R&D Laboratories, Inc., Japan Juan Camilo Corena, KDDI R&D Laboratories, Inc., Japan Shinsaku Kiyomoto, KDDI R&D Laboratories, Inc., Japan Stephen Marsh, University of Ontario Institute of Technology, Canada Jaideep Vaidya, Rutgers, The State University of New Jersey, USA Guibing Guo, Nanyang Technological University, Singapore Jie Zhang, Nanyang Technological University, Singapore Yutaka Miyake, KDDI R&D Laboratories, Inc., Japan

Privacy-Preserving Reputation Management ............................................................................................. 1712 Ronald Petrlic, University of Paderborn, Germany Sascha Lutters, University of Paderborn, Germany Christoph Sorge, University of Paderborn, Germany

Page 41: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

MUSES: A Corporate User-Centric System which Applies Computational Intelligence Methods ....... 1719 A.M. Mora, University of Granada, Spain P. De las Cuevas, University of Granada, Spain J.J. Merelo, University of Granada, Spain S. Zamarripa, S2 Grupo, Spain M. Juan, S2 Grupo, Spain A.I. Esparcia-Alcázar, S2 Grupo, Spain M. Burvall, Sweden Connectivity, Sweden H. Arfwedson, Sweden Connectivity, Sweden Z. Hodaie, University of Hamburg, Germany

Poster Papers

Learning Reputation in an Authorship Network ........................................................................................ 1724 Charanpal Dhanjal, Télécom ParisTech, France Stéphan Clémençon, Télécom ParisTech, France

Advanced and Convergent IT Track Track Co-Chairs: Eul Gyu Im, Hanyang University, Korea

Encountering Smartphones in Network Simulation: A Preliminary Result on Multi-Radio Multicast .... 1727 Yongwoon Park, Dong-A University, Korea Wonyong Yoon, Dong-A University, Korea

Modeling for Context-Aware Healthcare Service using Ontology ............................................................ 1729 Junho Choi, Chosun University, Korea Jeongin Kim, Chosun University, Korea Pankoo Kim, Chosun University, Korea

Analysis of Binary Code Topology for Dynamic Analysis ......................................................................... 1731 Byeongho Kang, Hanyang University, Korea Eul Gyu Im, Hanyang University, Korea

A Novel Double Linear–Cubic Convolution Interpolation for Digital Image Scaling ............................ 1733 Hae-Min Moon, Chosun University, Korea Kyeong-Ri Ko, Chosun University, Korea JuHyun Shin, Chosun University, Korea Sung Bum Pan, Chosun University, Korea

Method for Fast Clustering of Data Distributed on a Sphere Surface ..................................................... 1735 Tran Tin, Konkuk University, Korea Sung-Ryul Kim, Konkuk University, Korea

A Kernel-Based Monitoring Approach for Analyzing Malicious Behavior on Android ........................ 1737 Youn-sik Jeong, Dankook University, Korea Hwan-taek Lee, Dankook University, Korea Seong-je Cho, Dankook University, Korea Sangchul Han, Konkuk University, Korea Minkyu Park, Konkuk University, Korea

Performance Analysis of the Golden-SM in the V2V Network ................................................................. 1739 Myung Chul Park, Kyungbuk National University, Korea Dong Seog Han, Kyungbuk National University, Korea

Page 42: Table of Contents - SIGAPP · Table of Contents Scroll to the title and select a Blue link to open a paper. After viewing the paper, use the bookmarks to the left ... Vijay Varadharajan,

Matrix Correlation Distance for 2D Image Classification ......................................................................... 1741 Hyunsoek Choi, Kyungpook National University, Korea Jeongin Seo, Kyungpook National University, Korea Hyeyoung Park, Kyungpook National University, Korea

A New Device Discovery Scheme in Lighting Control Networks .............................................................. 1743 Sang-Il Choi, Kyungpook National University, Korea Seoki-Joo Koh, Kyungpook National University, Korea Insu Kim, Electronics and Telecommunications Research Institute, Korea Sang-Kyu Lim, Electronics and Telecommunications Research Institute, Korea Tae-Gyu Kang, Electronics and Telecommunications Research Institute, Korea

An Optimal Device Selection for User Satisfaction of Content Sharing ................................................... 1745 Jiamei Tang, Kyungpook National University, Korea Paul Kim, Kyungpook National University, Korea Sangwook Kim, Kyungpook National University, Korea

A CUDA-Based Implementation of OpenGL-Compatible Rasterization Library Prototype ................ 1747 Young Chun Kwon, Kyungpook National University, Korea Nakhoon Baek, Kyungpook National University, Korea

Design of a Cellular Automata Cell with Rule 30 on Quantum-Dot Cellular Automata ........................ 1749 Sang-Ho Shin, Kyungpook National University, Korea Jun-Cheol Jeon, Kumoh National Institute of Technology, Korea Gil-Je Lee, Kyungpook National University, Korea Kee-Young Yoo, Kyungpook National University, Korea

Respiratory Motion Estimation using Visual Coded Markers for Radiotherapy ................................... 1751 Udaya Wijenayake, Kyungpook National University, Korea Soon-Yong Park, Kyungpook National University, Korea

The Effect of IMPORT Change in Software Change History ................................................................... 1753 Jungil Kim, Kyungpook National University, Korea Eunjoo Lee, Kyungpook National University, Korea

Virtual Prototype Generation by Shockwave Flash for Simulating HW Components of Embedded System ....................................................................................................... 1755 Soo Young Jang, Kyungpook National University, Korea Ajay Kumar Jha, Kyungpook National University, Korea Woo Jin Lee, Kyungpook National University, Korea

Impacts of Delayed Replication on the Key-Value Store ........................................................................... 1757 Minwoo Jang, Soongsil University, Korea Woochur Kim, Soongsil University, Korea Yookun Cho, Seoul National University, Korea Jiman Hong, Soongsil University, Korea