Table of Contents

• On the Measurement of Design-Time Adaptability for Process-Based SystemsJörg Lenhard, Matthias Geiger, Guido Wirtz. 1-10 [doi]
• Application of Sub-Graph Isomorphism to Extract Reoccurring Structures from BPMN 2.0 Process ModelsMarigianna Skouradaki, Katharina Görlach, Michael Hahn, Frank Leymann. 11-20 [doi]
• BPMN Conformance in Open Source EnginesMatthias Geiger, Simon Harrer, Jörg Lenhard, Mathias Casar, Andreas Vorndran, Guido Wirtz. 21-30 [doi]
• Improving the Static Analysis Conformance of BPEL Engines with BPELlintSimon Harrer, Matthias Geiger, Christian R. Preißinger, David Bimamisa, Stephan J. A. Schuberth, Guido Wirtz. 31-39 [doi]
• Modelling and Analysing Provenance Awareness Infrastructure for SOC systemsParaskevi Zerva, Steffen Zschaler, Simon Miles. 40-49 [doi]
• Optimizing Service Protection with Model Driven Security@run.timeWendpanga Francis Ouedraogo, Frédérique Biennier, Philippe Merle. 50-58 [doi]
• Relative QoS: A New Concept for Cloud Service QualityGustavo Alves, Caio Silva, Everton Cavalcante, Thaís Batista, Frederico Lopes. 59-68 [doi]
• End-to-End Performance Prediction for Selecting Cloud Services SolutionsRaed Karim, Chen Ding, Ali Miri. 69-77 [doi]
• LEONORE - Large-Scale Provisioning of Resource-Constrained IoT DeploymentsMichael Vögler, Johannes M. Schleicher, Christian Inzinger, Stefan Nastic, Sanjin Sehic, Schahram Dustdar. 78-87 [doi]
• Personal Mobility Service System in Urban Areas: The IRMA ProjectGianmario Motta, Daniele Sacco, Tianyi Ma, Linlin You, Kaixu Liu. 88-97 [doi]
• Sensor Data Propagation in Mobile Hosting NetworksRichard K. Lomotey, Ralph Deters. 98-106 [doi]
• Automatic Knowledge Sharing Across Communities: A Case Study on Android Issue Tracker and Stack OverflowTao Wang, Gang Yin, Huaimin Wang, Cheng Yang, Peng Zou. 107-116 [doi]
• Linking Quality of Service and Experience in Distributed Multimedia Systems Using PROV SemanticsStephen C. Phillips, Maxim Bashevoy, Michael Boniface, Simon Crowle, Vegard Engen, Zipani Sinkala, Stefanie Wiegand. 117-126 [doi]
• A Reusable Software Component for Integrated Syntax and Semantic Validation for Services ComputingLixin Tao, Steven Golikov, Keke Gai, Meikang Qiu. 127-132 [doi]
• A Flexible Engine for the Unified Execution of Service CompositionsKatharina Görlach, Frank Leymann. 133-142 [doi]
• Automated Testing of Web Services Based on Algebraic SpecificationsDongmei Liu, Yuxin Liu, Xin Zhang, Hong Zhu, Ian Bayley. 143-152 [doi]
• A Service Framework for Parallel Test Execution on a Developer's Local Development WorkstationMazedur Rahman, Zehua Chen, Jerry Zeyu Gao. 153-160 [doi]
• Integrating Fault-Tolerance Method into Service-Oriented ComputingAmal Alhosban, Khayyam Hashmi, Zaki Malik, Brahim Medjahed. 161-168 [doi]
• Integrated Adaptive Reasoning Testing Framework with Automated Fault DetectionWei-Tek Tsai, Guanqiu Qi. 169-178 [doi]
• Compatibility Testing Service for Mobile ApplicationsTao Zhang, Jerry Gao, Jing Cheng, Tadahiro Uehara. 179-186 [doi]
• JENERGY: A Fault Tolerant Stateless Architecture for High Performance ComputingMoussa Taifi, Justin Y. Shi, Yasin Celik. 187-194 [doi]
• Reconciling Service Orientation with the CloudValentino Baraldo, Alberto Zuccato, Tullio Vardanega. 195-202 [doi]
• Enriching Specifications to Represent Quality in Web Services in a Comprehensive WayDavide Tosi, Luigi Lavazza, Sandro Morasca. 203-208 [doi]
• An Adaptive Resource Allocation Algorithm for Partitioned Services in Mobile Cloud ComputingYanchen Liu, Myung J. Lee. 209-215 [doi]
• Multi-resource Packing for Job Scheduling in Virtual Machine Based Cloud EnvironmentDaochao Huang, Peng Du, Chunge Zhu, Hong Zhang, Xinran Liu. 216-221 [doi]
• A Cloud-Based Sustainable Business Model for Effective ICT Provision in Higher EducationFang Tao, John Panneerselvam, Thomas Holding, Lu Liu. 222-228 [doi]
• Modeling for I/O Intensive Applications in Cloud ComputingJunjie Peng, Yi Rao, Yongchuan Dai, Xiaofei Zhi. 229-234 [doi]
• Design, Implementation and Evaluation of an Application-Layer Virtualized NetworkYiming Zhang, Dongsheng Li, Yijie Wang, ZhiGang Sun, Feng Zhao, Jinshu Su. 235-240 [doi]
• Cocktail: A New Tool for Audit by Performance Evaluation on Local MachineJunwu Guo, Zhigang Zhou, Hongli Zhang. 241-246 [doi]
• A Scheduling Framework for Periodic Tasks in Geo-Distributed Data CentersYan Li, Hong Zhang, Yong Wang, Xinran Liu, Peng Zhang. 247-252 [doi]
• Performance Difference Prediction in Cloud Services for SLA-Based AuditingHongli Zhang, Panpan Li, Zhigang Zhou. 253-258 [doi]
• A Lightweight Encryption and Secure Protocol for Smartphone CloudWilliam Zegers, Sang-Yoon Chang, Younghee Park, Jerry Gao. 259-266 [doi]
• Expressing and Composing Actors for Deterministic and Scalable Programming in CloudLianghuan Kang, Hanglong Zhan, Donggang Cao. 267-275 [doi]
• Yadoop: An Elastic Resource Management Solution of YARNYing Zhao, Gang Wu. 276-283 [doi]
• AR-Tracker: Track the Dynamics of Mobile Apps via User Review MiningCuiyun Gao, Hui Xu, Junjie Hu, Yangfan Zhou. 284-290 [doi]
• Dependability Issues of Android Games: A First Look via Software AnalysisJiaojiao Fu, Yangfan Zhang, Yu Kang. 291-296 [doi]
• Military Training Game Requirement Description Framework Based on Multi-ViewsNan Yang, Xiaodong Mu, Qinghui Zhang, Yi Guo, Wei Song. 297-301 [doi]
• Mobile Compatibility Testing Using Multi-objective Genetic AlgorithmJing Cheng, Yian Zhu, Tao Zhang, Chuanxi Zhu, Wenqiang Zhou. 302-307 [doi]
• Testing Location-Based Function Services for Mobile ApplicationsOum-El-Kheir Aktouf, Tao Zhang, Jerry Gao, Tadahiro Uehara. 308-314 [doi]
• Mobile Functional Test on TaaS EnvironmentShenbin Zhang, Bingfeng Pi. 315-320 [doi]
• A Reusable Automated Acceptance Testing Architecture for Microservices in Behavior-Driven DevelopmentMazedur Rahman, Jerry Gao. 321-325 [doi]
• A Model-Based Framework to Support Complexity Analysis Service for Regression Testing of Component-Based SoftwareChuanqi Tao, Jerry Gao, Bixin Li. 326-331 [doi]
• A Truthful Online Auction for Tempo-spatial Crowdsourcing TasksYue Fan, Hailong Sun, Yanmin Zhu, Xudong Liu, Ji Yuan. 332-338 [doi]
• Game Theoretic Analysis for Offense-Defense Challenges of Algorithm Contests on TopCoderZhenghui Hu, Wenjun Wu 0001. 339-346 [doi]
• Developer Recommendation for Crowdsourced Software Development TasksKe Mao, Ye Yang, Qing Wang, Yue Jia, Mark Harman. 347-356 [doi]
• An Evaluation Framework for Extreme Learning Process (XLP)Wei-Tek Tsai, Kubatbek Alimbekov, Benjamin Hsueh-Yung Koo. 357-366 [doi]
• OSSEAN: Mining Crowd Wisdom in Open Source CommunitiesGang Yin, Tao Wang, Huaimin Wang, Qiang Fan, Yang Zhang, Yue Yu, Cheng Yang. 367-371 [doi]
• Towards an Effective Crowdsourcing Recommendation System: A Survey of the State-of-the-ArtEman Aldhahri, Vivek Shandilya, Sajjan G. Shiva. 372-377 [doi]
• Crowdsourcing as a Method for the Collection of Revealed Preferences DataBehrang Assemi, Daniel Schlagwein, Hamid Safi, Mahmoud Mesbah. 378-382 [doi]