Table of Contents

• ACEC 2015 Track Report: Adaptive Computing (and Agents) for Enhanced CollaborationFederico Bergenti, M. Brian Blake, Giacomo Cabri, Usman Wajid. 1-2 [doi]
• Engineering Self-Adaptive Systems with the Role-Based Architecture of HelenaAnnabelle Klarl. 3-8 [doi]
• Collaborative Infrastructure for On-Demand Crowdsourced TasksJulian Jarrett, M. Brian Blake. 9-14 [doi]
• A Semantic Framework for Modeling Adaptive Autonomy in Task Allocation in Robotic FleetsDomagoj Drenjanac, Slobodanka Dana Kathrin Tomic, eva Kühn. 15-20 [doi]
• AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and ArchitecturesSlim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel. 21-22 [doi]
• A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed SystemsHouda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem. 23-28 [doi]
• Formal Modeling for Verifying SCA Dynamic Composition with Event-BAida Lahouij, Lazhar Hamel, Mohamed Graiet. 29-34 [doi]
• Towards a Provisioning Algorithm for Dynamic Workflows in the CloudFairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem. 35-40 [doi]
• Collaborative Autonomic Container for the Management of Component-Based ApplicationsNabila Belhaj, Imen Ben Lahmar, Mohamed Mohamed, Djamel Belaïd. 41-43 [doi]
• Modeling Change Patterns for Impact and Conflict Analysis in Event-Driven ArchitecturesSimon Tragatschnig, Uwe Zdun. 44-46 [doi]
• CDCGM 2015 Track Report: Convergence of Distributed Clouds, Grids and their ManagementFabrizio Messina, Rao Mikkilineni, Giovanni Morana. 47-50 [doi]
• Cognitive Application Area Networks: A New Paradigm for Distributed Computing and Intelligent Service OrchestrationRao Mikkilineni, Giovanni Morana, Daniele Zito. 51-56 [doi]
• MAROQ: A Resource Allocation Model Driven through Quality of ExperienceAndre Luiz Tinassi D'Amato, Mario Antonio Ribeiro Dantas, Douglas D. J. de Macedo. 57-62 [doi]
• Cloud Service Matchmaking Using Constraint ProgrammingBegum Ilke Zilci, Mathias Slawik, Axel Küpper. 63-68 [doi]
• Monitoring List for Compute Infrastructure in Eucalyptus CloudAparna Datt, Anita Goel, Suresh Chand Gupta. 69-71 [doi]
• Load Index Characterization: The Scientific Challenge and a Survey ApproachGuilherme Maciel Ferreira, Mario Antonio Ribeiro Dantas. 72-77 [doi]
• Clustering EU's Countries According to I. Th. Mazi's Systemic Geopolitical Theory Using K-Means and MPIIlias K. Savvas, Alekos Stogiannos, Ioannis Th. Mazis. 78-83 [doi]
• A Self-Optimized Storage for Distributed Data as a ServiceKlaithem Al Nuaimi, Nader Mohamed, Mariam Al Nuaimi, Jameela Al-Jaroodi. 84-89 [doi]
• Understanding the Effect of Multiple Factors on a Parallel File System's PerformanceEduardo Camilo Inacio, Laércio Lima Pilla, Mario Antonio Ribeiro Dantas. 90-92 [doi]
• REST-Based SLA Management for Cloud ApplicationsAlessandra De Benedictis, Massimiliano Rak, Mauro Turtur, Umberto Villano. 93-98 [doi]
• An Evolutionary Approach for Cloud Learning Agents in Multi-cloud Distributed ContextsAntonello Comi, Lidia Fotia, Fabrizio Messina, Giuseppe Pappalardo, Domenico Rosaci, Giuseppe M. L. Sarnè. 99-104 [doi]
• Contrology - An Ontology-Based Cloud Assurance ApproachUlrich Koinig, Simon Tjoa, Jungwoo Ryoo. 105-107 [doi]
• A Reputation-Based Approach to Improve QoS in Cloud Service CompositionAntonello Comi, Lidia Fotia, Fabrizio Messina, Giuseppe Pappalardo, Domenico Rosaci, Giuseppe M. L. Sarnè. 108-113 [doi]
• CPS 2015 Track Report: Cyber Physical SocietyWalid Gaaloul, Joaquin Ezpeleta, ZhangBing Zhou, Mahmoud Barhamgi. 114-115 [doi]
• A Decision-Oriented Approach Supporting Enterprise Architecture EvolutionKhaled Gaaloul, Sérgio Guerreiro. 116-121 [doi]
• Analyzing Social Web Services' CapabilitiesZakaria Maamar, Hamdi Yahyaoui, Azzam Mourad, Mohamed Sellami. 122-127 [doi]
• A Semantic Similarity Measure for Conceptual Web Services ClassificationAhmed Abid, Nizar Messai, Mohsen Rouached, Thomas Devogele, Mohamed Abid. 128-133 [doi]
• ATP: An Aggregation and Transmission Protocol for Conserving Energy in Periodic Sensor NetworksHassan Harb, Abdallah Makhoul, Raphaël Couturier, Maguy Medlej. 134-139 [doi]
• Privacy-Aware Cloud Services CompositionSamer Abdul Ghafour, Parisa Ghodous, Christine Bonnet. 140-142 [doi]
• CSP 2015 Track Report: Collaborative Software ProcessesYassine Jamoussi, Bernard Coulette. 143 [doi]
• Role Framework to Support Collaborative Virtual Prototyping of System of SystemsJean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn. 144-149 [doi]
• Collaborative Enterprise Applications Based on Business and Social ArtifactsZakaria Maamar, Vanilson Arruda Burégio, Mohamed Sellami. 150-155 [doi]
• Impact Analysis of Process Change at Run-TimeMojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnès Front, Claudia Roncancio. 156-161 [doi]
• FISA 2015 Track Report: Future Internet Services and ApplicationsHatem Hadj Kacem, Anderson Santana de Oliveira, Mohamed Sellami, Sylvain Lefebvre. 162-163 [doi]
• Models and Adaptive Architecture for Smart Data ManagementPierre De Vettor, Michael Mrissa, Djamal Benslimane. 164-169 [doi]
• Towards an Architecture for End-to-End-Encrypted File Synchronization SystemsChristian Hoffmann, Christoph Brand, Steffen Heinzl. 170-175 [doi]
• Managing Web Resource CompositionsMahdi Bennara, Youssef Amghar, Michael Mrissa. 176-181 [doi]
• FVSBS 2015 Track Report: Formal Verification of Service Based SystemsMohamed Graiet, Kais Klai. 182 [doi]
• Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service CompositionRaoudha Maraoui, Bechir Ayeb. 183-189 [doi]
• MADYNE 2015 Track Report: Management of Dynamic Networked EnterprisesNawal Guermouche, Saïd Tazi 0001. 190 [doi]
• CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL SpecificationSirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem. 191-196 [doi]
• VSC 2015 Track Report: Validating Software for Critical SystemsAndrea Calvagna, Emiliano Tramontana. 197 [doi]
• Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by MutationHana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana. 198-203 [doi]
• Equivalence-Based Selection of Best-Fit Models to Support Wiki DesignGiuseppe De Ruvo, Antonella Santone. 204-209 [doi]
• Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip SystemsShafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel. 210-215 [doi]
• Web2Touch 2015 Track Report: Modeling the Collaborative Web KnowledgeOlga Nabuco, Rodrigo Bonacin, Mariagrazia Fugini. 216-217 [doi]
• RAMIRES: Risk Adaptive Management in Resilient Environments with SecurityMariagrazia Fugini, Mahsa Teimourikia. 218-223 [doi]
• Analysing Wiki Quality Using Probabilistic Model CheckingGiuseppe De Ruvo, Antonella Santone. 224-229 [doi]
• An Entity-Driven Approach to Web Resource Clustering and ExplorationSilvana Castano, Alfio Ferrara, Stefano Montanelli. 230-235 [doi]
• Towards Ontology-Enabled BioContexts for Bioinformatics ResearchNicoletta Dessì, Giuliano Ferrentino, Emanuele Pascariello, Barbara Pes. 236-238 [doi]
• Expressivity and Accuracy of By-Example Structured Queries on WikipediaMaurizio Atzori, Carlo Zaniolo. 239-244 [doi]