default search action
23rd WETICE 2014: Parma, Italy
- Sumitra Reddy:
2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-4249-7 - Usman Wajid, M. Brian Blake, Iman Saleh:
Track Report of Adaptive Computing (and Agents) for Enhanced Collaboration (ACEC 2014). 1-2 - Dhaminda B. Abeywickrama, Nicklas Hoch, Franco Zambonelli
:
An Integrated Eclipse Plug-In for Engineering and Implementing Self-Adaptive Systems. 3-8 - Damian Clarke, Iman Saleh, M. Brian Blake:
Modelling Service Workflow Outcomes by Assessing the Underlying Message Flows. 9-14 - Elli Rapti, Anthony Karageorgos
Adaptive Constraint and Rule-Based Product Bundling in Enterprise Networks. 15-20 - Abdallah Namoun
Carbon Efficient Transport Management Using Multi-agent System. 21-26 - Mouna Ben Said, Nader Ben Amor
A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE Systems. 27-32 - Federico Bergenti
Supporting Social Networks with Agents. 33-35 - Khalil Drira, Slim Kallel
Track Report of Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures (AROSA 2014). 36-37 - Imene Lahyani, Mohamed Jmaiel, Christophe Chassot:
Analytical Decisional Model for Publish/Subscribe Systems on MANET. 38-43 - Nguyen Ngoc Chan, Walid Gaaloul
Querying Services Based on Composition Context. 44-49 - Maha Boussabbeh, Mohamed Tounsi
Enhancing Proofs of Local Computations through Formal Event-B Modularization. 50-55 - Zohra Saoud, Noura Faci, Zakaria Maamar
A Fuzzy Clustering-Based Credibility Model for Trust Assessment in a Service-Oriented Architecture. 56-61 - Afef Mdhaffar
CEP4Cloud: Complex Event Processing for Self-Healing Clouds. 62-67 - Imed Abbassi
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. 68-73 - K. M. Imtiaz-Ud-Din, Mohammad Ullah Khan:
Runtime Adaptation of End-User Composed Collaborative Services. 74-79 - Houda Khlif, Hatem Hadj Kacem
A Graph Transformation-Based Approach for the Validation of Checkpointing Algorithms in Distributed Systems. 80-85 - Aymen Kamoun, Saïd Tazi:
A Semantic Role-Based Access Control for Intra and Inter-organization Collaboration. 86-91 - Brahim Djoudi, Chafia Bouanaka
Model Checking Pervasive Context-Aware Systems. 92-97 - Mohamed Lamine Jellad, Maha Khemaja
Using an SWS Based Integration Approach for Learning Management Systems Adaptation and Reconfiguration. 98-103 - Guillaume Dugué, Mohamed Oulmahdi, Christophe Chassot:
Design Principles of a Service-Oriented and Component-Based Autonomic Transport Layer. 104-106 - Wilson A. Higashino, Cédric Eichler, Miriam A. M. Capretz, Thierry Monteil, Maria Beatriz Felgar de Toledo, Patricia Stolf:
Query Analyzer and Manager for Complex Event Processing as a Service. 107-109 - Tarek Zernadji, Chouki Tibermacine, Cherif Foudil:
Quality-Driven Design of Web Service Business Processes. 110-112 - Patricia Stolf, Thierry Monteil:
Track Report of Collaborative and Autonomic Green Computing (CAGing 2014). 113-114 - Violaine Villebonnet, Georges Da Costa
Thermal-Aware Cloud Middleware to Reduce Cooling Needs. 115-120 - Fabrizio Messina
Track Report of Convergence of Distributed Clouds, Grids and Their Management (CDCGM 2014). 121-124 - Eugene Eberbach
Cloud Computing with DNA Cognitive Architecture in the Context of Turing's "Unsinkable" Titanic Machine. 125-130 - Rao Mikkilineni, Giovanni Morana:
Infusing Cognition into Distributed Computing: A New Approach to Distributed Datacenters with Self-Managing Services on Commodity Hardware (Virtualized or Not). 131-136 - Claudia Canali
Balancing Accuracy and Execution Time for Similar Virtual Machines Identification in IaaS Cloud. 137-142 - Matthias Steinbauer, Gabriele Kotsis
Towards Cloud-Based Distributed Scaleable Processing over Large-Scale Temporal Graphs. 143-148 - Alessandra De Benedictis
Cloud-Aware Development of Scientific Applications. 149-154 - Marco Di Sano:
Business Intelligence as a Service: A New Approach to Manage Business Processes in the Cloud. 155-160 - Fabrizio Messina
An Agent Based Negotiation Protocol for Cloud Service Level Agreements. 161-166 - Izaias De Faria, Mario A. R. Dantas
Network and Energy-Aware Resource Selection Model for Opportunistic Grids. 167-172 - Wilson A. Higashino, Miriam A. M. Capretz, Maria Beatriz Felgar de Toledo:
Evaluation of Particle Swarm Optimization Applied to Grid Scheduling. 173-178 - Ilias K. Savvas
Parallelizing K-Means Algorithm for 1-D Data Using MPI. 179-184 - Christian Napoli
Improving Files Availability for Bittorrent Using a Diffusion Model. 191-196 - Andrea D'Ambrogio
Track Report of Collaborative Modeling and Simulation (CoMetS 2014). 197-198 - Paolo Bocciarelli
A Transformation Approach to Enact the Design-Time Simulation of BPMN Models. 199-204 - Claudio Gargiulo, Donato Pirozzi
A Platform to Collaborate around CFD Simulations. 205-210 - Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen
Distributed Simulation of Formal Models in System of Systems Engineering. 211-216 - Daniele Gianni, Paolo Bocciarelli
Referencing Capabilities for Collaborative Engineering of Conceptual Process Modeling with Object-Role Modeling. 217-222 - Konstantinos Kokkinos
A Collaborative Approach to Enviromental Modeling. 223-228 - Lorenzo Bracciale
Simulating the Statistics of the First Meetings Using Dynamic "Open Environments". 229-234 - Michele Angelaccio
Track Report of Collaboration Tools for Preservation of Environment and Cultural Heritage (COPECH 2014). 235-236 - Michela Basili
Equipment Isolation Systems by Means of Semi Active Control Devices. 237-242 - Raffaello Brondi, Marcello Carrozzino
Fostering Collaboration among Restoration Professionals Using Augmented Reality. 243-248 - Alessandra Basili, Walter Liguori
NFC Smart Tourist Card: Combining Mobile and Contactless Technologies towards a Smart Tourist Experience. 249-254 - Mahmoud Barhamgi
Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014). 255-256 - Feng Gao
Capability Annotation of Actions Based on Their Textual Descriptions. 257-262 - Khaled Gaaloul, Henderik Alex Proper
A Modeling Approach Supporting Access Control Delegation in a Disaster Management Context. 263-268 - Christophe Guyeux
A Security Framework for Wireless Sensor Networks: Theory and Practice. 269-274 - Hind Benfenatki, Catarina Ferreira Da Silva
Cloud-Based Business Applications Development Methodology. 275-280 - Michael Mrissa
Semantic Discovery and Invocation of Functionalities for the Web of Things. 281-286 - Stefania Monica
Accurate Indoor Localization with UWB Wireless Sensor Networks. 287-289 - Chamsi Abu Quba Rana, Salima Hassas, Usama M. Fayyad, Chamsi Hammam:
From a "Cold" to a "Warm" Start in Recommender Systems. 290-292 - Yassine Jamoussi, Bernard Coulette, Mahmoud Nassar
Track Report of Conference on Collaborative Software Process (CSP 2014). 293 - Lars Bendix, Christian Pendleton:
Collaboration in the Absence of Communication. 294-299 - Amina Magdich
A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis. 300-305 - Rahma Bouaziz, Slim Kallel
A Collaborative Process for Developing Secure Component Based Applications. 306-311 - Mohamed Graiet, Zied Jaoua, Kais Klai:
Track Report of Formal Verification of Service Based Systems (FVSBS 2014). 312 - Imed Abbassi
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. 313-318 - Nawal Guermouche, Saïd Tazi:
Track Report of Management of Dynamic Networked Enterprises (MADYNE 2014). 319 - Ikbel Guidara, Tarak Chaari, Mohamed Jmaiel:
An Efficient Service Selection Approach with Time-Dependent QoS. 320-325 - Saoussen Cheikhrouhou, Slim Kallel
Toward a Verification of Time-Centric Business Process Models. 326-331 - Mohamed Sellami
Track Report of Privacy and Accountability for Software and Cloud Services (PASCS 2014). 332 - Ronan-Alexandre Cherrueau, Mario Südholt:
Enforcing Expressive Accountability Policies. 333-338 - Nadia Bennani, Khouloud Boukadi
A Trust Management Solution in the Context of Hybrid Clouds. 339-344 - Kais Klai, Nawel Hamdi, Nejib Ben Hadj-Alouane
An On-the-Fly Approach for the Verification of Opacity in Critical Systems. 345-350 - Hatem Hadj Kacem
Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014). 351-352 - Gianmario Motta, Linlin You
Service Level Management (SLM) in Cloud Computing - Third Party SLM Framework. 353-358 - Hamza Sahli, Chafia Bouanaka
Towards a Formal Model for Cloud Computing Elasticity. 359-364 - Andrea Calvagna
Track Report of Validating Software for Critical Systems (VSC 2014). 365 - Giuseppe De Ruvo
An Eclipse-Based Editor to Support LOTOS Newcomers. 372-377 - Sohaib Ahmad, Osman Hasan
Towards Formal Reasoning about Molecular Pathways in HOL. 378-383 - Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana:
A Redundancy-Based Attack Detection Technique for Java Card Bytecode. 384-389 - Andrea Calvagna
Assessing the Correctness of JVM Implementations. 390-395 - Olga Nabuco, Rodrigo Bonacin
Track Report of Modeling the Collaborative Web Knowledge (Web2Touch 2014). 396-398 - Xavier Aimé, Jean Charlet:
Knowledge Engineering or Conformism Engineering? 399-404 - Júlio Cesar dos Reis, Marcos Da Silveira
Requirements for Implementing Mapping Adaptation Systems. 405-410 - Giuseppe De Ruvo
A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis. 411-416 - Nicoletta Dessì, Emanuele Pascariello, Barbara Pes
Integrating Ontological Information about Genes. 417-422 - Angelo Di Iorio
Exploiting Semantic Knowledge in Know Best. 423-428 - Mariagrazia Fugini
Dynamic Security Modeling in Risk Management Using Environmental Knowledge. 429-434 - Silvio D. Cardoso, Kleberson J. A. Serique, Flor K. Amanqui, José Laurindo Campos dos Santos, Dilvan A. Moreira:
A Gazetteer for Biodiversity Data as a Linked Open Data Solution. 435-440 - Maurizio Atzori, Andrea Dessi:
Ranking DBpedia Properties. 441-446 - Rodrigo Bonacin
Modeling the Impacts of Agriculture on Water Resources: Semantic Interoperability Issues. 447-452 - Andre Gregio, Rodrigo Bonacin
Ontology for Malware Behavior: A Core Model Proposal. 453-458
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: