Models and Adaptive Architecture for Smart Data Management

Pierre De Vettor, Michael Mrissa and Djamal Benslimane

Engineering Self-Adaptive Systems with Role-Based Architectures

Annabelle Klarl

Towards an architecture for end-to-end-encrypted file synchronization systems

Christian Hoffmann, Christoph Brand and Steffen Heinzl

Collaborative Infrastructure for On-Demand Crowd sourced Tasks

Julian Jarrett and M. Brian Blake

Managing Web Resource Composition

Mahdi Bennara, Michaël Mrissa and Youssef Amghar

A Semantic Framework for Modeling Adaptive Autonomy in Task Allocation in Robotic Fleets

Domagoj Drenjanac, Slobodanka Dana Kathrin Tomic and Eva Kuhn

A mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems

H. Khlif, H. Hadj Kacem, S.P. Hernandez and A. Hadj Kacem

Non-Deterministic Timed Pushdown Automata-based Testing Evaluated by Mutation

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson and Riadh Robbana

Formal Modeling for Verifying SCA Dynamic Composition with Event-B

Aida Lahouij, Lazhar Hamel and Mohamed Graiet

Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems

Shafaq Iqtedar, Osman Hasan, Muhammad Shafique and Jörg Henkel

Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud

Fairouz Fakhfakh, Hatem Hadj Kacem and Ahmed Hadj Kacem

Equivalence-based Selection of Best-fit Models to Support Wiki Design

Giuseppe De Ruvo and Antonella Santone

Collaborative Autonomic Container for the Management of Component-based Applications in the Cloud

Nabila Belhaj, Imen Ben Lahmar, Mohamed Mohamed and Djamel Belaïd

Integrating the SysML and ACME in a Model Driven Engineering approach to verify the Web service composition

Raoudha Maraoui

Modeling Change Pattern to Analyze, Maintain, and Evolve Event-Driven Architectures

Simon Tragatschnig and Uwe Zdun

RAMIRES: Risk Adaptive Management In Resilient Environments with Security

Mariagrazia Fugini and Mahsa Teimourikia

Cognitive Application Area Networks: A New Paradigm for Distributed Computing and Intelligent Service Orchestration

Rao Mikkilineni, Giovanni Morana and Daniele Zito

Analysing Wiki Quality using Probabilistic Model Checking

Giuseppe De Ruvo and Antonella Santone

MAROQ: A Resource Allocation Model Driven Through Quality of Experience

André D'Amato, Mario Dantas and Douglas Macedo

An Entity-Driven Approach to Web Resource Clustering and Exploration

Silvana Castano, Alfio Ferrara and Stefano Montanelli

Cloud Service Matchmaking using Constraint Programming

Begüm Ilke Zilci, Mathias Slawik and Axel Küpper

Towards Ontology-enabled BioContexts for Bioinformatics Research

Nicoletta Dessì, Giuliano Ferrentino, Emanuele Pascariello and Barbara Pes

Load Index Characterization: The Scientific Challenge, and a Survey Approach

Guilherme Maciel Ferreira and Mario Dantas

Expressivity and Accuracy of By-Example Structured Queries on Wikipedia

Maurizio Atzori and Carlo Zaniolo

Monitoring List for Compute Infrastructure in Eucalyptus Cloud

Aparna Datt, Anita Goyal and S.C Gupta

Clustering EU's Countries According to I. Th. Mazi's Systemic Geopolitical Theory Using K-means and MPI

Ilias Savvas, Alekos Stogiannos and Ioannis Mazis

A Decision-Oriented Approach Supporting Enterprise Architecture Evolution

Khaled Gaaloul and Sérgio Guerreiro

A Self-Optimized Storage for Distributed Data as a Service

K. Al Nuaimi, N. Mohamed, M. Alnuaimi and J- Al-Jaroodi

Analyzing Social Web Services' Capabilities

Zakaria Maamar, H. Yahyaoui, Azzam Mourad and Mohamed Sellami

Understanding the Effect of Multiple Factors on a Parallel File System's Performance

Eduardo Camilo Inacio, Laércio Lima Pilla and Mario Dantas

A Semantic Similarity Measure for Conceptual Web Services Classification

A. Abid, N. Messai, M. Rouached, T. Devogele and M. Abid

REST-based SLA Management for Cloud Applications

Alessandra De Benedictis, Massimiliano Rak, Mauro Turtur and Umberto Villano

ATP: An Aggregation and Transmission Protocol for Conserving Energy in Periodic Sensor Networks

H. Moustafa Harb, A. Makhoul, R. Couturier and M. Medlej

CDLVT: A Formal Verification Tool of Non-Functional Properties for WS-CDL specification

S. Rebai, H. Hadj Kacem, K. Mohamed, S.E. Pomares and A. Hadj Kacem

Privacy-aware Cloud Services Composition

Samer Ghafour, Parisa Ghodous and Christine Bonnet

Role Framework to Support Collaborative Virtual Prototyping of System of Systems

Jean-Philippe Schneider, Joel Champeau, Loic Lagadec and Eric Senn

An evolutionary approach for Cloud learning agents in multi-cloud distributed contexts

F. Messina, G. Pappalardo, D. Rosaci, G.M.L. Sarne', L. Fotia and A. Comi

Collaborative Enterprise Applications based on Business and Social Artifacts

Zakaria Maamar, Vanilson Buregio and Mohamed Sellami

Contrology - An ontology-based cloud assurance approach

Ulrich Koinig, Simon Tjoa and Jungwoo Ryoo

Impact Analysis of Process Change at Run-time

M. Hajmoosaei, Hanh-Nhi Tran, A. Front, C. Percebois and C. Roncancio

A Reputation-based approach to improve QoS in Cloud Service Composition

F. Messina, G. Pappalardo, D. Rosaci, G.M.L. Sarne', L. Fotia and A. Comi