The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 01 - Jan.-Feb. (vol. 10)
ISSN: 1939-1374

Guest Editorial: Advances in Web Services Research (HTML)

John A. Miller , Department of Computer Science, University of Georgia, Athens, GA
Hong Zhu , Oxford Brookes University, Oxford, United Kingdom
Jia Zhang , Carnegie Mellon University, Silicon-Valley, Moffett Field, CA
pp. 5-8

Software-Defined Service Networking: Performance Differentiation in Shared Multi-Tenant Cloud Applications (Abstract)

Indika Kumara , Swinburne University of Technology, Hawthorn, VIC, Australia
Jun Han , Swinburne University of Technology, Hawthorn, VIC, Australia
Alan Colman , Swinburne University of Technology, Hawthorn, VIC, Australia
Malinda Kapuruge , Swinburne University of Technology, Hawthorn, VIC, Australia
pp. 9-22

Towards Correct Cloud Resource Allocation in Business Processes (Abstract)

Mohamed Graiet , High School of Computer Science and Mathematics, Monastir University, Monastir, Tunisia
Amel Mammar , Computer Science Department, SAMOVAR, Telecom SudParis, CNRS, Paris-Saclay University, Evry, France
Souha Boubaker , Computer Science Department, SAMOVAR, Telecom SudParis, CNRS, Paris-Saclay University, Evry, France
Walid Gaaloul , Computer Science Department, SAMOVAR, Telecom SudParis, CNRS, Paris-Saclay University, Evry, France
pp. 23-36

Towards Efficient and Truthful Market Mechanisms for Double-Sided Cloud Markets (Abstract)

Sergei Chichin , Faculty of Science, Engineering and Technology, Swinburne University of Technology, Melbourne, Vic., Australia
Quoc Bao Vo , Faculty of Science, Engineering and Technology, Swinburne University of Technology, Melbourne, Vic., Australia
Ryszard Kowalczyk , Faculty of Science, Engineering and Technology, Swinburne University of Technology, Melbourne, Vic., Australia
pp. 37-51

Modeling Service Level Agreements with Linked USDL Agreement (Abstract)

Jose Maria Garcia , University of Seville, Sevilla, Spain
Pablo Fernandez , University of Seville, Sevilla, Spain
Carlos Pedrinaci , The Open University, Milton Keynes, United Kingdom
Manuel Resinas , University of Seville, Sevilla, Spain
Jorge Cardoso , CISUC/Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal
Antonio Ruiz-Cortes , University of Seville, Sevilla, Spain
pp. 52-65

On the Verification of Opacity in Web Services and Their Composition (Abstract)

Amina Bourouis , OASIS Reasearch Lab (ENIT), University of Tunis El Manar, Tunis, Tunisia
Kais Klai , LIPN, CNRS UMR 7030, University of Paris 13, Sorbonne Paris City, Villetaneuse, France
Nejib Ben Hadj-Alouane , OASIS Reasearch Lab (ENIT), University of Tunis El Manar, Tunis, Tunisia
Yamen El Touati , OASIS Reasearch Lab (ENIT), University of Tunis El Manar, Tunis, Tunisia
pp. 66-79

SDA-CLOUD: A Multi-VM Architecture for Adaptive Dynamic Data Race Detection (Abstract)

Changjiang Jia , City University of Hong Kong, Tat Chee Avenue, Hong Kong
Chunbai Yang , City University of Hong Kong, Tat Chee Avenue, Hong Kong
W. K. Chan , City University of Hong Kong, Tat Chee Avenue, Hong Kong
Yuen Tak Yu , City University of Hong Kong, Tat Chee Avenue, Hong Kong
pp. 80-93

Localizing Runtime Anomalies in Service-Oriented Systems (Abstract)

Qiang He , School of Software and Electrical Engineering, Swinburne University of Technology, Melbourne, Australia
Xiaoyuan Xie , State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China
Yanchun Wang , School of Software and Electrical Engineering, Swinburne University of Technology, Melbourne, Australia
Dayong Ye , School of Software and Electrical Engineering, Swinburne University of Technology, Melbourne, Australia
Feifei Chen , School of Software and Electrical Engineering, Swinburne University of Technology, Melbourne, Australia
Hai Jin , Services Computing Technology and System Lab, Cluster and Grid Computing Lab, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China
Yun Yang , School of Computer Science and Technology, Anhui University, China
pp. 94-106

Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method (Abstract)

Guillaume Babin , IRIT/INPT–ENSEEIHT, Université de Toulouse, Toulouse, France
Yamine Ait-Ameur , IRIT/INPT–ENSEEIHT, Université de Toulouse, Toulouse, France
Marc Pantel , IRIT/INPT–ENSEEIHT, Université de Toulouse, Toulouse, France
pp. 107-120

Querying Similar Process Models Based on the Hungarian Algorithm (Abstract)

Bin Cao , College of Computer Science, Zhejiang University of Technology, Hangzhou, China
Jiaxing Wang , College of Computer Science, Zhejiang University of Technology, Hangzhou, China
Jing Fan , College of Computer Science, Zhejiang University of Technology, Hangzhou, China
Jianwei Yin , College of Computer Science, Zhejiang University, Hangzhou, China
Tianyang Dong , College of Computer Science, Zhejiang University of Technology, Hangzhou, China
pp. 121-135

Efficient Alignment Between Event Logs and Process Models (Abstract)

Wei Song , School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China
Xiaoxu Xia , School of Computer Science and Engineering, Nanjing University of Science and Technology, Nanjing, China
Hans-Arno Jacobsen , Middleware Systems Research Group
Pengcheng Zhang , College of Computer and Information, Hohai University, Nanjing, China
Hao Hu , State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
pp. 136-149

2016 Reviewers List (PDF)

pp. 150-154
94 ms
(Ver 3.3 (11022016))