Abstract is missing.
- Track Report of Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC 2014)Usman Wajid, M. Brian Blake, Iman Saleh. 1-2 [doi]
- An Integrated Eclipse Plug-In for Engineering and Implementing Self-Adaptive SystemsDhaminda B. Abeywickrama, Nicklas Hoch, Franco Zambonelli. 3-8 [doi]
- Modelling Service Workflow Outcomes by Assessing the Underlying Message FlowsDamian Clarke, Iman Saleh, M. Brian Blake. 9-14 [doi]
- Adaptive Constraint and Rule-Based Product Bundling in Enterprise NetworksElli Rapti, Anthony Karageorgos, Georgios Ntalos. 15-20 [doi]
- Carbon Efficient Transport Management Using Multi-agent SystemAbdallah Namoun, Javad Akhlaghinia, Usman Wajid. 21-26 [doi]
- A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE SystemsMouna Ben Said, Nader Ben Amor, Yessine Hadj Kacem, Mickaël Kerboeuf, Mohamed Abid. 27-32 [doi]
- Supporting Social Networks with AgentsFederico Bergenti, Agostino Poggi, Michele Tomaiuolo. 33-35 [doi]
- Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014)Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez. 36-37 [doi]
- Analytical Decisional Model for Publish/Subscribe Systems on MANETImene Lahyani, Mohamed Jmaiel, Christophe Chassot. 38-43 [doi]
- Querying Services Based on Composition ContextNguyen Ngoc Chan, Walid Gaaloul. 44-49 [doi]
- Enhancing Proofs of Local Computations through Formal Event-B ModularizationMaha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah. 50-55 [doi]
- A Fuzzy Clustering-Based Credibility Model for Trust Assessment in a Service-Oriented ArchitectureZohra Saoud, Noura Faci, Zakaria Maamar, Djamal Benslimane. 56-61 [doi]
- CEP4Cloud: Complex Event Processing for Self-Healing CloudsAfef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben. 62-67 [doi]
- Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based ApproachImed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane. 68-73 [doi]
- Runtime Adaptation of End-User Composed Collaborative ServicesK. M. Imtiaz-ud-Din, Mohammad Ullah Khan. 74-79 [doi]
- A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed SystemsHouda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Cedric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon. 80-85 [doi]
- A Semantic Role-Based Access Control for Intra and Inter-organization CollaborationAymen Kamoun, Saïd Tazi. 86-91 [doi]
- Model Checking Pervasive Context-Aware SystemsBrahim Djoudi, Chafia Bouanaka, Nadia Zeghib. 92-97 [doi]
- Using an SWS Based Integration Approach for Learning Management Systems Adaptation and ReconfigurationMohamed Lamine Jellad, Maha Khemaja. 98-103 [doi]
- Design Principles of a Service-Oriented and Component-Based Autonomic Transport LayerGuillaume Dugué, Mohamed Oulmahdi, Christophe Chassot. 104-106 [doi]
- Query Analyzer and Manager for Complex Event Processing as a ServiceWilson A. Higashino, Cedric Eichler, Miriam A. M. Capretz, Thierry Monteil, Maria Beatriz Felgar de Toledo, Patricia Stolf. 107-109 [doi]
- Quality-Driven Design of Web Service Business ProcessesTarek Zernadji, Chouki Tibermacine, Foudil Cherif. 110-112 [doi]
- Track Report of Collaborative and Autonomic Green Computing (CAGing 2014)Patricia Stolf, Thierry Monteil. 113-114 [doi]
- Thermal-Aware Cloud Middleware to Reduce Cooling NeedsViolaine Villebonnet, Georges Da Costa. 115-120 [doi]
- Track Report of Convergence of Distributed Clouds, Grids and Their Management (CDCGM 2014)Fabrizio Messina, Rao Mikkilineni, Giovanni Morana. 121-124 [doi]
- Cloud Computing with DNA Cognitive Architecture in the Context of Turing's "Unsinkable" Titanic MachineEugene Eberbach, Rao Mikkilineni. 125-130 [doi]
- Infusing Cognition into Distributed Computing: A New Approach to Distributed Datacenters with Self-Managing Services on Commodity Hardware (Virtualized or Not)Rao Mikkilineni, Giovanni Morana. 131-136 [doi]
- Balancing Accuracy and Execution Time for Similar Virtual Machines Identification in IaaS CloudClaudia Canali, Riccardo Lancellotti. 137-142 [doi]
- Towards Cloud-Based Distributed Scaleable Processing over Large-Scale Temporal GraphsMatthias Steinbauer, Gabriele Kotsis. 143-148 [doi]
- Cloud-Aware Development of Scientific ApplicationsAlessandra De Benedictis, Massimiliano Rak, Mauro Turtur, Umberto Villano. 149-154 [doi]
- Business Intelligence as a Service: A New Approach to Manage Business Processes in the CloudMarco Di Sano. 155-160 [doi]
- An Agent Based Negotiation Protocol for Cloud Service Level AgreementsFabrizio Messina, Giuseppe Pappalardo, Corrado Santoro, Domenico Rosaci, Giuseppe M. L. Sarnè. 161-166 [doi]
- Network and Energy-Aware Resource Selection Model for Opportunistic GridsIzaias De Faria, Mario A. R. Dantas, Miriam A. M. Capretz, Wilson A. Higashino. 167-172 [doi]
- Evaluation of Particle Swarm Optimization Applied to Grid SchedulingWilson A. Higashino, Miriam A. M. Capretz, Maria Beatriz Felgar de Toledo. 173-178 [doi]
- Parallelizing K-Means Algorithm for 1-D Data Using MPIIlias K. Savvas, Georgia N. Sofianidou. 179-184 [doi]
- Improving Files Availability for Bittorrent Using a Diffusion ModelChristian Napoli, Giuseppe Pappalardo, Emiliano Tramontana. 191-196 [doi]
- Track Report of Collaborative Modeling and Simulation (CoMetS 2014)Andrea D'Ambrogio, Daniele Gianni, Joachim Fuchs, Giuseppe Iazeolla. 197-198 [doi]
- A Transformation Approach to Enact the Design-Time Simulation of BPMN ModelsPaolo Bocciarelli, Andrea D'Ambrogio, Andrea Giglio, Emiliano Paglia, Daniele Gianni. 199-204 [doi]
- A Platform to Collaborate around CFD SimulationsClaudio Gargiulo, Donato Pirozzi, Vittorio Scarano, Giuseppe Valentino. 205-210 [doi]
- Distributed Simulation of Formal Models in System of Systems EngineeringClaus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen. 211-216 [doi]
- Referencing Capabilities for Collaborative Engineering of Conceptual Process Modeling with Object-Role ModelingDaniele Gianni, Paolo Bocciarelli, Andrea D'Ambrogio. 217-222 [doi]
- A Collaborative Approach to Enviromental ModelingKonstantinos Kokkinos, Nicholas S. Samaras, Athanasios G. Loukas, Nikitas Mylopoulos. 223-228 [doi]
- Simulating the Statistics of the First Meetings Using Dynamic "Open Environments"Lorenzo Bracciale, Pierpaolo Loreti, Giuseppe Bianchi. 229-234 [doi]
- Track Report of Collaboration Tools for Preservation of Environment and Cultural Heritage (COPECH 2014)Michele Angelaccio, Berta Buttarazzi. 235-236 [doi]
- Equipment Isolation Systems by Means of Semi Active Control DevicesMichela Basili, Maurizio De Angelis. 237-242 [doi]
- Fostering Collaboration among Restoration Professionals Using Augmented RealityRaffaello Brondi, Marcello Carrozzino. 243-248 [doi]
- NFC Smart Tourist Card: Combining Mobile and Contactless Technologies towards a Smart Tourist ExperienceAlessandra Basili, Walter Liguori, Federica Palumbo. 249-254 [doi]
- Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014)Mahmoud Barhamgi, Walid Gaaloul, Joaquin Ezpeleta, ZhangBing Zhou. 255-256 [doi]
- Capability Annotation of Actions Based on Their Textual DescriptionsFeng Gao, Sami Bhiri. 257-262 [doi]
- A Modeling Approach Supporting Access Control Delegation in a Disaster Management ContextKhaled Gaaloul, Henderik Alex Proper. 263-268 [doi]
- A Security Framework for Wireless Sensor Networks: Theory and PracticeChristophe Guyeux, Abdallah Makhoul, Jacques M. Bahi. 269-274 [doi]
- Cloud-Based Business Applications Development MethodologyHind Benfenatki, Catarina Ferreira Da Silva, Aïcha-Nabila Benharkat, Parisa Ghodous. 275-280 [doi]
- Semantic Discovery and Invocation of Functionalities for the Web of ThingsMichael Mrissa, Lionel Médini, Jean-Paul Jamont. 281-286 [doi]
- Accurate Indoor Localization with UWB Wireless Sensor NetworksStefania Monica, GianLuigi Ferrari. 287-289 [doi]
- From a "Cold" to a "Warm" Start in Recommender SystemsChamsi Abu Quba Rana, Hassas Salima, Fayyad Usama, Chamsi Hammam. 290-292 [doi]
- Track Report of Conference on Collaborative Software Process (CSP 2014)Yassine Jamoussi, Bernard Coulette, Mahmoud Nassar. 293 [doi]
- Collaboration in the Absence of CommunicationLars Bendix, Christian Pendleton. 294-299 [doi]
- A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling AnalysisAmina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf. 300-305 [doi]
- A Collaborative Process for Developing Secure Component Based ApplicationsRahma Bouaziz 0001, Slim Kallel, Bernard Coulette. 306-311 [doi]
- Track Report of Formal Verification of Service Based Systems (FVSBS 2014)Mohamed Graiet, Zied Jaoua, Kais Klai. 312 [doi]
- Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-BImed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul. 313-318 [doi]
- Track Report of Management of Dynamic Networked Enterprises (MADYNE 2014)Nawal Guermouche, Saïd Tazi. 319 [doi]
- An Efficient Service Selection Approach with Time-Dependent QoSIkbel Guidara, Tarak Chaari, Mohamed Jmaiel. 320-325 [doi]
- Toward a Verification of Time-Centric Business Process ModelsSaoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel. 326-331 [doi]
- Track Report of Privacy and Accountability for Software and Cloud Services (PASCS 2014)Mohamed Sellami, Jean-Claude Royer, Anderson Santana de Oliveira. 332 [doi]
- Enforcing Expressive Accountability PoliciesRonan-Alexandre Cherrueau, Mario Südholt. 333-338 [doi]
- A Trust Management Solution in the Context of Hybrid CloudsNadia Bennani, Khouloud Boukadi, Chirine Ghedira Guegan. 339-344 [doi]
- An On-the-Fly Approach for the Verification of Opacity in Critical SystemsKais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane. 345-350 [doi]
- Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014)Hatem Hadj Kacem, Riadh Ben Halima, Samir Tata. 351-352 [doi]
- Service Level Management (SLM) in Cloud Computing - Third Party SLM FrameworkGianmario Motta, Linlin You, Nicola Sfondrini, Daniele Sacco, Tianyi Ma. 353-358 [doi]
- Towards a Formal Model for Cloud Computing ElasticityHamza Sahli, Chafia Bouanaka, Ahmed Taki Eddine Dib. 359-364 [doi]
- Track Report of Validating Software for Critical Systems (VSC 2014)Andrea Calvagna, Emiliano Tramontana. 365 [doi]
- An Eclipse-Based Editor to Support LOTOS NewcomersGiuseppe De Ruvo, Antonella Santone. 372-377 [doi]
- Towards Formal Reasoning about Molecular Pathways in HOLSohaib Ahmad, Osman Hasan, Umair Siddique. 378-383 [doi]
- A Redundancy-Based Attack Detection Technique for Java Card BytecodeRosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana. 384-389 [doi]
- Assessing the Correctness of JVM ImplementationsAndrea Calvagna, Andrea Fornaia, Emiliano Tramontana. 390-395 [doi]
- Track Report of Modeling the Collaborative Web Knowledge (Web2Touch 2014)Olga Nabuco, Rodrigo Bonacin, Mariagrazia Fugini, Marcos Renato Da Silveira. 396-398 [doi]
- Knowledge Engineering or Conformism Engineering?Xavier Aimé, Jean Charlet. 399-404 [doi]
- Requirements for Implementing Mapping Adaptation SystemsJúlio Cesar dos Reis, Marcos Da Silveira, Duy Dinh, Cédric Pruski, Chantal Reynaud-Delaître. 405-410 [doi]
- A Novel Methodology Based on Formal Methods for Analysis and Verification of WikisGiuseppe De Ruvo, Antonella Santone. 411-416 [doi]
- Integrating Ontological Information about GenesNicoletta Dessì, Emanuele Pascariello, Barbara Pes. 417-422 [doi]
- Exploiting Semantic Knowledge in Know BestAngelo Di Iorio, Davide Rossi, Elisa Turrini. 423-428 [doi]
- Dynamic Security Modeling in Risk Management Using Environmental KnowledgeMariagrazia Fugini, George C. Hadjichristofi, Mahsa Teimourikia. 429-434 [doi]
- A Gazetteer for Biodiversity Data as a Linked Open Data SolutionSilvio D. Cardoso, Kleberson J. Serique, Flor K. Amanqui, José Laurindo Campos dos Santos, Dilvan A. Moreira. 435-440 [doi]
- Ranking DBpedia PropertiesMaurizio Atzori, Andrea Dessi. 441-446 [doi]
- Modeling the Impacts of Agriculture on Water Resources: Semantic Interoperability IssuesRodrigo Bonacin, Olga Fernanda Nabuco, Ivo Pierozzi Jr.. 447-452 [doi]
- Ontology for Malware Behavior: A Core Model ProposalAndre Grecio, Rodrigo Bonacin, Olga Nabuco, Vitor Monte Afonso, Paulo Lício de Geus, Mario Jino. 453-458 [doi]