Abstract is missing.
- ACEC Track ReportFederico Bergenti, Giacomo Cabri, M. Brian Blake, Usman Wajid. 1-2 [doi]
- Collective Awareness for Human-ICT Collaboration in Smart CitiesNicola Bicocchi, Alket Cecaj, Damiano Fontana, Marco Mamei, Andrea Sassi, Franco Zambonelli. 3-8 [doi]
- Agent Behaviour Monitoring in Virtual OrganizationsMahdieh Shadi, Hamideh Afsarmanesh, Mehdi Dastani. 9-14 [doi]
- Decentralized Resource Coordination across Service Workflows in a Cloud EnvironmentYi Wei, M. Brian Blake. 15-20 [doi]
- Modeling Elasticity Trade-Offs in Adaptive Mixed SystemsMuhammad Z. C. Candra, Hong Linh Truong, Schahram Dustdar. 21-26 [doi]
- QoS-aware Automatic Web Service Composition based on Cooperative AgentsZaki Brahmi. 27-32 [doi]
- A Discovery Service for Automatic Composition of Web Services Oriented-AgentAbdellah Kouider El Ouahed, Mohamed Erradi, Hamid Azzoune. 33-35 [doi]
- Simulation Based Design for Adaptive Multi-agent Systems: Extension to the ADELFE MethdologyWafa Mefteh, Frédéric Migeon, Marie Pierre Gleizes, Faiez Gargouri. 36-38 [doi]
- S-DLCAM: A Self-Design and Learning Cooperative Agent Model for Adaptive Multi-agent SystemsWafa Mefteh, Frédéric Migeon, Marie Pierre Gleizes, Faiez Gargouri. 39-41 [doi]
- AROSA Track ReportKhalil Drira, Slim Kallel, Ismael Bouassida Rodriguez. 42-43 [doi]
- A Flexible Wireless Body Sensor Network System for Health MonitoringAhmed Harbouche, Mohammed Erradi, Abdellatif Kobbane. 44-49 [doi]
- Mobility Management in the HIP-based M2M Overlay NetworkAmine Dhraief, Mohamed Amine Ghorbali, Tarek Bouali, Abdelfettah Belghith. 50-55 [doi]
- A Delayed Checkpoint Approach for Communication-Induced Checkpointing in Autonomic ComputingAlberto Calixto Simon, Saúl E. Pomares Hernández, Jose Roberto Perez Cruz. 56-61 [doi]
- Is Self-Expression Useful? Evaluation by a Case StudyMariachiara Puviani, Carlo Pinciroli, Giacomo Cabri, Letizia Leonardi, Franco Zambonelli. 62-67 [doi]
- Towards an Aspect Oriented Language Compliant with Real Time ConstraintsWafa Gabsi, Rahma Bouaziz 0002, Bechir Zalila. 68-73 [doi]
- Graph-Based Formalism for Machine-to-Machine Self-Managed CommunicationsCedric Eichler, Ghada Gharbi, Nawal Guermouche, Thierry Monteil, Patricia Stolf. 74-79 [doi]
- A Decentralized Mediation-as-a-Service Architecture for Service CompositionMichael Mrissa, Mohamed Sellami, Pierre De Vettor, Djamal Benslimane, Bruno Defude. 80-85 [doi]
- Towards Context-Aware Deployment and ReconfigurationAmir Hammami, Thierry Villemur, Tom Guerout. 86-91 [doi]
- Developing Adapters for Structural Adaptation of Component-Based ApplicationsImen Ben Lahmar, Djamel Belaïd. 92-97 [doi]
- Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to ImplementationWafa Gabsi, Bechir Zalila. 98-103 [doi]
- From Event-B Specifications to Programs for Distributed AlgorithmsMohamed Tounsi, Mohamed Mosbah, Dominique Méry. 104-109 [doi]
- A Privacy Manager for Collaborative Working EnvironmentsDavid S. Allison, Miriam A. M. Capretz, Saod Tazi. 110-116 [doi]
- CAGing Track ReportPatricia Stolf, Thierry Monteil. 117-118 [doi]
- Autonomic Energy-Aware Tasks SchedulingTom Guerout, Mahdi Ben Alaya. 119-124 [doi]
- A QoS-driven Self-Adaptive Architecture for Wireless Sensor NetworksAhmed Jemal, Riadh Ben Halima. 125-130 [doi]
- CDCGM Track ReportRao Mikkilineni, Giovanni Morana. 131-133 [doi]
- Scalable and Configurable Monitoring System for Cloud EnvironmentsA. Di Stefano, Giovanni Morana, Daniele Zito. 134-139 [doi]
- Self-Managed Micro-containers for Service-Based Applications in the CloudMohamed Mohamed, Djamel Belaïd, Samir Tata. 140-145 [doi]
- Kaqudai: A Dependable Web Infrastructure Made Out of Existing ComponentsRosario Giunta, Fabrizio Messina, Giuseppe Pappalardo, Emiliano Tramontana. 146-151 [doi]
- Cost/Performance Evaluation for Cloud Applications Using SimulationMassimiliano Rak, Antonio Cuomo, Umberto Villano. 152-157 [doi]
- A Data Management in a Private Cloud Storage Environment Utilizing High Performance Distributed File SystemsTiago S. Soares, Mario A. R. Dantas, Douglas D. J. de Macedo, Michael A. Bauer. 158-163 [doi]
- CKDD Track ReportIlias K. Savvas, M. Tahar Kechadi. 164-165 [doi]
- Privacy-Preserving Collaborative Filtering on Overlapped RatingsBurak Memis, Ibrahim Yakut. 166-171 [doi]
- Weighted Features Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain OverlappingMohammad Hadi Soudkhah, Ryszard Janicki. 172-177 [doi]
- Platform for General-Purpose Distributed Data-Mining on Large Dynamic GraphsMatthias Steinbauer, Gabriele Kotsis. 178-183 [doi]
- COPECH Track ReportMichele Angelaccio, Berta Buttarazzi. 184-185 [doi]
- Application of a Wireless Sensor Network Technology Based on GPS for Structural Health MonitoringMichela Basili, Berta Buttarazzi, Kenji Oguni. 186-189 [doi]
- Application of Radio Frequency Identification for Museum EnvironmentRomeo Giuliano, Franco Mazzenga, Marco Petracca, Francesco Vatalaro. 190-195 [doi]
- Using Geo-business Intelligence and Social Integration for Smart Tourism Cultural Heritage PlatformsMichele Angelaccio, Alessandra Basili, Berta Buttarazzi. 196-199 [doi]
- CPS Track ReportZhangBing Zhou, Walid Gaaloul, Jianwei Niu. 200-201 [doi]
- A High-Level Service Composition Model for Building Applications on Sensor NetworksZahra Movahedi, Bruno Defude. 202-207 [doi]
- CSP Track ReportRédouane Lbath. 208 [doi]
- Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software ProcessesIbrahima Fall, Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc. 209-217 [doi]
- A Negotiation Based Approach for Satisfying the Actor Requirements in Web Services CompositionYassine Jamoussi, Asma Kerkeni. 218-224 [doi]
- A Causal Graph Based Method to Evaluate e-Collaboration ScenariosRaoudha Chebil, Wided Lejouad Chaari, Stefano A. Cerri, Khaled Ghédira. 225-230 [doi]
- An Engineering Process for Security Patterns Application in Component Based ModelsRahma Bouaziz 0001, Slim Kallel, Bernard Coulette. 231-236 [doi]
- An Agent-Based Model for Trust Management in Electronic CollaborationRaoudha Kobbi, Wided Lejouad Chaari. 237-242 [doi]
- CT2CM Track ReportNarjes Bellamine Ben Saoud, François Charoy, Chihab Hanachi, Serge Stinckwich. 243-244 [doi]
- Coupling Case Based Reasoning and Process Mining for a Web Based Crisis Management Decision Support SystemSameh Triki, Narjes Bellamine Ben Saoud, Julie Dugdale, Chihab Hanachi. 245-252 [doi]
- Intelligent Tutoring Systems and Serious Game for Crisis Management: A Multi-agents Integration ArchitectureM'hammed Ali Oulhaci, Erwan Tranvouez, Bernard Espinasse, Sébastien Fournier. 253-258 [doi]
- Organizing Capabilities Using Formal Concept AnalysisWassim Derguech, Souleiman Hasan, Sami Bhiri, Edward Curry. 260-265 [doi]
- A Model-Driven Engineering Approach for the Formal Verification of Composite Web ServicesRaoudha Maraoui, Eric Cariou, Bechir Ayeb. 266-271 [doi]
- WSCLT: A Tool for WS-BPEL Compositions Load TestingAfef Jmal Maâlej, Manel Hamza, Moez Krichen. 272-277 [doi]
- Checking Non-functional Properties of UML2.0 Components AssemblyMohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech. 278-283 [doi]
- Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the CloudMourad Amziani, Tarek Melliti, Samir Tata. 284-291 [doi]
- Application of Equivalence Checking in a Loan Origination Process in Banking IndustryAntonella Santone, Valentina Intilangelo, Domenico Raucci. 292-297 [doi]
- MADYNE Track ReportSaïd Tazi, Nawal Guermouche. 298 [doi]
- Surveying Collaborative and Content Management Platforms for EnterpriseSalsabil Dhouib, Riadh Ben Halima. 299-304 [doi]
- Towards Adopting Dynamic Manufacturing Networks for Future Manufacturing: Benefits and Risks of the IMAGINE DMN End-to-End Management MethodologyOurania I. Markaki, Dimitrios Panopoulos, Panagiotis Kokkinakos, Sotirios Koussouris, Dimitris Askounis. 305-310 [doi]
- PROMASC Track ReportRiadh Ben Halima, Hatem Hadj Kacem, Wajdi Louati. 311-312 [doi]
- Knowledge as a Service Framework for Disaster Data ManagementKatarina Grolinger, Miriam A. M. Capretz, Emna Mezghani, Ernesto Exposito. 313-318 [doi]
- Exact Adaptive Virtual Network Embedding in Cloud EnvironmentsInes Houidi, Djamal Zeghlache. 319-323 [doi]
- A Decision Method for Business Process Outsourcing Based on Enterprise ContextMouna Rekik, Khouloud Boukadi, Hanêne Ben-Abdallah. 324-329 [doi]
- An Approach for Modeling and Formalizing SOA Design PatternsImen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem. 330-335 [doi]
- A Comparative Study on Game Theoretic Approaches for Resource Allocation in Cloud Computing ArchitecturesMaha Jebalia, Asma Ben Letaifa, Mohamed Hamdi, Sami Tabbane. 336-341 [doi]
- Toward a Cloud-Ready Dynamic Load Balancer Based on the Apache Web ServerSteffen Heinzl, Christoph Metz. 342-345 [doi]
- VSC Track ReportAndrea Calvagna, Emiliano Tramontana. 346 [doi]
- Combinatorial Validation Testing of Java Card Byte Code VerifiersAndrea Calvagna, Emiliano Tramontana. 347-352 [doi]
- Towards Proved Distributed Algorithms through Refinement, Composition and Local ComputationsVincent Filou, Mohamed Mosbah, Mohamed Tounsi. 353-358 [doi]
- Detecting Attacks on Java Cards by Fingerprinting AppletsGiovanni Morana, Emiliano Tramontana, Daniele Zito. 359-364 [doi]
- Towards the Formal Performance Analysis of Wireless Sensor NetworksMaissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid. 365-370 [doi]
- On Pairwise Comparisons Based Internal and External Measures for Software EvaluationAgnieszka D. Bogobowicz, Ryszard Janicki. 371-376 [doi]
- Test Isolation Policy for Safe Runtime Validation of Evolvable Software SystemsMariam Lahami, Moez Krichen. 377-382 [doi]