1. Home
  2. Proceedings
  3. WETICE
  4. WETICE 2014
Default Cover Image

2014 IEEE 23rd International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise (WETICE)

June 23 2014 to June 25 2014

Parma, Italy

Table of Contents

Title Page iFreely available from IEEE.pp. i-i
Title Page iiiFreely available from IEEE.pp. iii-iii
Copyright PageFreely available from IEEE.pp. iv-iv
Table of contentsFreely available from IEEE.pp. v-xii
Message from General Co-chairsFreely available from IEEE.pp. xiii-xiii
Message from Program Co-chairsFreely available from IEEE.pp. xiv-xiv
Conference OrganizationFreely available from IEEE.pp. xv-xv
ACEC 2014 Track OrganizationFreely available from IEEE.pp. xvi-xvi
AROSA 2014 Track OrganizationFreely available from IEEE.pp. xvii-xviii
CAGing 2014 Track OrganizationFreely available from IEEE.pp. xix-xix
CDCGM 2014 Track OrganizationFreely available from IEEE.pp. xx-xx
CoMetS 2014 Track OrganizationFreely available from IEEE.pp. xxi-xxi
COPECH 2014 Track OrganizationFreely available from IEEE.pp. xxii-xxii
CPS 2014 Track OrganizationFreely available from IEEE.pp. xxiii-xxiii
CSP 2014 Track OrganizationFreely available from IEEE.pp. xxiv-xxiv
FVSBS 2014 Track OrganizationFreely available from IEEE.pp. xxv-xxv
MADYNE 2014 Track OrganizationFreely available from IEEE.pp. xxvi-xxvi
PASCS 2014 Track OrganizationFreely available from IEEE.pp. xxvii-xxvii
PROMASC 2014 Track OrganizationFreely available from IEEE.pp. xxviii-xxviii
VSC 2014 Track OrganizationFreely available from IEEE.pp. xxix-xxix
Web2Touch 2014 Track OrganizationFreely available from IEEE.pp. xxx-xxx
Track Report of Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 1-2
by Usman Wajid, M. Brian Blake, Iman Saleh
An Integrated Eclipse Plug-In for Engineering and Implementing Self-Adaptive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 3-8
by Dhaminda B. Abeywickrama, Nicklas Hoch, Franco Zambonelli
Modelling Service Workflow Outcomes by Assessing the Underlying Message FlowsFull-text access may be available. Sign in or learn about subscription options.pp. 9-14
by Damian Clarke, Iman Saleh, M. Brian Blake
Adaptive Constraint and Rule-Based Product Bundling in Enterprise NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 15-20
by Elli Rapti, Anthony Karageorgos, Georgios Ntalos
Carbon Efficient Transport Management Using Multi-agent SystemFull-text access may be available. Sign in or learn about subscription options.pp. 21-26
by Abdallah Namoun, Javad Akhlaghinia, Usman Wajid
A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 27-32
by Mouna Ben Said, Nader Ben Amor, Yessine Hadj Kacem, Mickael Kerboeuf, Mohamed Abid
Supporting Social Networks with AgentsFull-text access may be available. Sign in or learn about subscription options.pp. 33-35
by Federico Bergenti, Agostino Poggi, Michele Tomaiuolo
Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 36-37
by Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez
Analytical Decisional Model for Publish/Subscribe Systems on MANETFull-text access may be available. Sign in or learn about subscription options.pp. 38-43
by Imene Lahyani, Mohamed Jmaiel, Christophe Chassot
Querying Services Based on Composition ContextFull-text access may be available. Sign in or learn about subscription options.pp. 44-49
by Nguyen Ngoc Chan, Walid Gaaloul
Enhancing Proofs of Local Computations through Formal Event-B ModularizationFull-text access may be available. Sign in or learn about subscription options.pp. 50-55
by Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
A Fuzzy Clustering-Based Credibility Model for Trust Assessment in a Service-Oriented ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 56-61
by Zohra Saoud, Noura Faci, Zakaria Maamar, Djamal Benslimane
CEP4Cloud: Complex Event Processing for Self-Healing CloudsFull-text access may be available. Sign in or learn about subscription options.pp. 62-67
by Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 68-73
by Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane
Runtime Adaptation of End-User Composed Collaborative ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 74-79
by K.M. Imtiaz-Ud-Din, Mohammad Ullah Khan
A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 80-85
by Houda Khlif, Hatem Hadj Kacem, Saul E. Pomares Hernandez, Cedric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon
A Semantic Role-Based Access Control for Intra and Inter-organization CollaborationFull-text access may be available. Sign in or learn about subscription options.pp. 86-91
by Aymen Kamoun, Said Tazi
Model Checking Pervasive Context-Aware SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 92-97
by Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
Using an SWS Based Integration Approach for Learning Management Systems Adaptation and ReconfigurationFull-text access may be available. Sign in or learn about subscription options.pp. 98-103
by Mohamed Lamine Jellad, Maha Khemaja
Design Principles of a Service-Oriented and Component-Based Autonomic Transport LayerFull-text access may be available. Sign in or learn about subscription options.pp. 104-106
by Guillaume Dugue, Mohamed Oulmahdi, Christophe Chassot
Query Analyzer and Manager for Complex Event Processing as a ServiceFull-text access may be available. Sign in or learn about subscription options.pp. 107-109
by Wilson A. Higashino, Cedric Eichler, Miriam A.M. Capretz, Thierry Monteil, Maria Beatriz F. De Toledo, Patricia Stolf
Quality-Driven Design of Web Service Business ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 110-112
by Tarek Zernadji, Chouki Tibermacine, Foudil Cherif
Track Report of Collaborative and Autonomic Green Computing (CAGing 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 113-114
by Patricia Stolf, Thierry Monteil
Thermal-Aware Cloud Middleware to Reduce Cooling NeedsFull-text access may be available. Sign in or learn about subscription options.pp. 115-120
by Violaine Villebonnet, Georges Da Costa
Track Report of Convergence of Distributed Clouds, Grids and Their Management (CDCGM 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 121-124
by Fabrizio Messina, Rao Mikkilineni, Giovanni Morana
Cloud Computing with DNA Cognitive Architecture in the Context of Turing's "Unsinkable" Titanic MachineFull-text access may be available. Sign in or learn about subscription options.pp. 125-130
by Eugene Eberbach, Rao Mikkilineni
Infusing Cognition into Distributed Computing: A New Approach to Distributed Datacenters with Self-Managing Services on Commodity Hardware (Virtualized or Not)Full-text access may be available. Sign in or learn about subscription options.pp. 131-136
by Rao Mikkilineni, Giovanni Morana
Balancing Accuracy and Execution Time for Similar Virtual Machines Identification in IaaS CloudFull-text access may be available. Sign in or learn about subscription options.pp. 137-142
by Claudia Canali, Riccardo Lancellotti
Towards Cloud-Based Distributed Scaleable Processing over Large-Scale Temporal GraphsFull-text access may be available. Sign in or learn about subscription options.pp. 143-148
by Matthias Steinbauer, Gabriele Kotsis
Cloud-Aware Development of Scientific ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 149-154
by Alessandra De Benedictis, Massimiliano Rak, Mauro Turtur, Umberto Villano
Business Intelligence as a Service: A New Approach to Manage Business Processes in the CloudFull-text access may be available. Sign in or learn about subscription options.pp. 155-160
by Marco Di Sano
An Agent Based Negotiation Protocol for Cloud Service Level AgreementsFull-text access may be available. Sign in or learn about subscription options.pp. 161-166
by Fabrizio Messina, Giuseppe Pappalardo, Corrado Santoro, Domenico Rosaci, Giuseppe M.L. Sarne
Network and Energy-Aware Resource Selection Model for Opportunistic GridsFull-text access may be available. Sign in or learn about subscription options.pp. 167-172
by Izaias De Faria, M.A.R. Dantas, Miriam A.M. Capretz, Wilson A. Higashino
Evaluation of Particle Swarm Optimization Applied to Grid SchedulingFull-text access may be available. Sign in or learn about subscription options.pp. 173-178
by Wilson A. Higashino, Miriam A.M. Capretz, Maria Beatriz Felgar De Toledo
Parallelizing K-Means Algorithm for 1-D Data Using MPIFull-text access may be available. Sign in or learn about subscription options.pp. 179-184
by Ilias K. Savvas, Georgia N. Sofianidou
Improving Files Availability for Bittorrent Using a Diffusion ModelFull-text access may be available. Sign in or learn about subscription options.pp. 191-196
by Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana
Track Report of Collaborative Modeling and Simulation (CoMetS 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 197-198
by Andrea D'Ambrogio, Daniele Gianni, Joachim Fuchs, Giuseppe Iazeolla
A Transformation Approach to Enact the Design-Time Simulation of BPMN ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 199-204
by P. Bocciarelli, A. D'ambrogio, A. Giglio, E. Paglia, D. Gianni
A Platform to Collaborate around CFD SimulationsFull-text access may be available. Sign in or learn about subscription options.pp. 205-210
by Claudio Gargiulo, Donato Pirozzi, Vittorio Scarano, Giuseppe Valentino
Distributed Simulation of Formal Models in System of Systems EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 211-216
by Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen
Referencing Capabilities for Collaborative Engineering of Conceptual Process Modeling with Object-Role ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 217-222
by Daniele Gianni, Paolo Bocciarelli, Andrea D'Ambrogio
A Collaborative Approach to Enviromental ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 223-228
by Konstantinos Kokkinos, Nicholas Samaras, Athanasios Loukas, Nikitas Mylopoulos
Simulating the Statistics of the First Meetings Using Dynamic "Open Environments"Full-text access may be available. Sign in or learn about subscription options.pp. 229-234
by Lorenzo Bracciale, Pierpaolo Loreti, Giuseppe Bianchi
Track Report of Collaboration Tools for Preservation of Environment and Cultural Heritage (COPECH 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 235-236
by Michele Angelaccio, Berta Buttarazzi
Equipment Isolation Systems by Means of Semi Active Control DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 237-242
by Michela Basili, Maurizio De Angelis
Fostering Collaboration among Restoration Professionals Using Augmented RealityFull-text access may be available. Sign in or learn about subscription options.pp. 243-248
by Raffaello Brondi, Marcello Carrozzino
NFC Smart Tourist Card: Combining Mobile and Contactless Technologies towards a Smart Tourist ExperienceFull-text access may be available. Sign in or learn about subscription options.pp. 249-254
by Alessandra Basili, Walter Liguori, Federica Palumbo
Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 255-256
by Mahmoud Barhamgi, Walid Gaaloul, Joaquin Ezpeleta, Zhanbing Zhou
Capability Annotation of Actions Based on Their Textual DescriptionsFull-text access may be available. Sign in or learn about subscription options.pp. 257-262
by Feng Gao, Sami Bhiri
A Modeling Approach Supporting Access Control Delegation in a Disaster Management ContextFull-text access may be available. Sign in or learn about subscription options.pp. 263-268
by Khaled Gaaloul, Henderik A. Proper
A Security Framework for Wireless Sensor Networks: Theory and PracticeFull-text access may be available. Sign in or learn about subscription options.pp. 269-274
by Christophe Guyeux, Abdallah Makhoul, Jacques M. Bahi
Cloud-Based Business Applications Development MethodologyFull-text access may be available. Sign in or learn about subscription options.pp. 275-280
by Hind Benfenatki, Catarina Ferreira Da Silva, Aicha-Nabila Benharkat, Parisa Ghodous
Semantic Discovery and Invocation of Functionalities for the Web of ThingsFull-text access may be available. Sign in or learn about subscription options.pp. 281-286
by Michael Mrissa, Lionel Medini, Jean-Paul Jamont
Accurate Indoor Localization with UWB Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 287-289
by Stefania Monica, Gianluigi Ferrari
From a "Cold" to a "Warm" Start in Recommender SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 290-292
by Chamsi Abu Quba Rana, Hassas Salima, Fayyad Usama, Chamsi Hammam
Track Report of Conference on Collaborative Software Process (CSP 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 293-293
by Yassine Jamoussi, Bernard Coulette, Mahmoud Nassar
Collaboration in the Absence of CommunicationFull-text access may be available. Sign in or learn about subscription options.pp. 294-299
by Lars Bendix, Christian Pendleton
A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 300-305
by Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mickael Kerboeuf
A Collaborative Process for Developing Secure Component Based ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 306-311
by Rahma Bouaziz, Slim Kallel, Bernard Coulette
Track Report of Formal Verification of Service Based Systems (FVSBS 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 312-312
by Mohamed Graiet, Zied Jaoua, Kais Klai
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-BFull-text access may be available. Sign in or learn about subscription options.pp. 313-318
by Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul
Track Report of Management of Dynamic Networked Enterprises (MADYNE 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 319-319
by Nawal Guermouche, Said Tazi
An Efficient Service Selection Approach with Time-Dependent QoSFull-text access may be available. Sign in or learn about subscription options.pp. 320-325
by Ikbel Guidara, Tarak Chaari, Mohamed Jmaiel
Toward a Verification of Time-Centric Business Process ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 326-331
by Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel
Track Report of Privacy and Accountability for Software and Cloud Services (PASCS 2014)Freely available from IEEE.pp. 332-332
by Mohamed Sellami, Jean-Claude Royer, Anderson Santana De Oliveira
Enforcing Expressive Accountability PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 333-338
by Ronan-Alexandre Cherrueau, Mario Sudholt
A Trust Management Solution in the Context of Hybrid CloudsFull-text access may be available. Sign in or learn about subscription options.pp. 339-344
by Nadia Bennani, Khouloud Boukadi, Chirine Ghedira-Guegan
An On-the-Fly Approach for the Verification of Opacity in Critical SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 345-350
by Kais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane
Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 351-352
by Hatem Hadj Kacem, Riadh Ben Halima, Samir Tata
Service Level Management (SLM) in Cloud Computing - Third Party SLM FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 353-358
by Gianmario Motta, Linlin You, Nicola Sfondrini, Daniele Sacco, Tianyi Ma
Towards a Formal Model for Cloud Computing ElasticityFull-text access may be available. Sign in or learn about subscription options.pp. 359-364
by Hamza Sahli, Chafia Bouanaka, Ahmed Taki Eddine Dib
Track Report of Validating Software for Critical Systems (VSC 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 365-365
by Andrea Calvagna, Emiliano Tramontana
An Eclipse-Based Editor to Support LOTOS NewcomersFull-text access may be available. Sign in or learn about subscription options.pp. 372-377
by Giuseppe De Ruvo, Antonella Santone
Towards Formal Reasoning about Molecular Pathways in HOLFull-text access may be available. Sign in or learn about subscription options.pp. 378-383
by Sohaib Ahmad, Osman Hasan, Umair Siddique
A Redundancy-Based Attack Detection Technique for Java Card BytecodeFull-text access may be available. Sign in or learn about subscription options.pp. 384-389
by Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana
Assessing the Correctness of JVM ImplementationsFull-text access may be available. Sign in or learn about subscription options.pp. 390-395
by Andrea Calvagna, Andrea Fornaia, Emiliano Tramontana
Track Report of Modeling the Collaborative Web Knowledge (Web2Touch 2014)Full-text access may be available. Sign in or learn about subscription options.pp. 396-398
by Olga Nabuco, Rodrigo Bonacin, Mariagrazia Fugini, Marcos Renato Da Silveira
Knowledge Engineering or Conformism Engineering?Full-text access may be available. Sign in or learn about subscription options.pp. 399-404
by Xavier Aime, Jean Charlet
Requirements for Implementing Mapping Adaptation SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 405-410
by Julio Cesar Dos Reis, Marcos Da Silveira, Duy Dinh, Cedric Pruski, Chantal Reynaud-Delaitre
Showing 100 out of 110
Load More
Load All