default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd 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, Georgios Ntalos:
Adaptive Constraint and Rule-Based Product Bundling in Enterprise Networks. 15-20 - Abdallah Namoun, Javad Akhlaghinia, Usman Wajid:
Carbon Efficient Transport Management Using Multi-agent System. 21-26 - Mouna Ben Said, Nader Ben Amor, Yessine Hadj Kacem, Mickaël Kerboeuf, Mohamed Abid:
A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE Systems. 27-32 - Federico Bergenti, Agostino Poggi, Michele Tomaiuolo:
Supporting Social Networks with Agents. 33-35 - Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez:
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, Ahmed Hadj Kacem, Mohamed Mosbah:
Enhancing Proofs of Local Computations through Formal Event-B Modularization. 50-55 - Zohra Saoud, Noura Faci, Zakaria Maamar, Djamal Benslimane:
A Fuzzy Clustering-Based Credibility Model for Trust Assessment in a Service-Oriented Architecture. 56-61 - Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben:
CEP4Cloud: Complex Event Processing for Self-Healing Clouds. 62-67 - Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane:
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, Saúl E. Pomares Hernández, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon:
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, Nadia Zeghib:
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, Rao Mikkilineni, Giovanni Morana:
Track Report of Convergence of Distributed Clouds, Grids and Their Management (CDCGM 2014). 121-124 - Eugene Eberbach, Rao Mikkilineni:
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, Riccardo Lancellotti:
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, Massimiliano Rak, Mauro Turtur, Umberto Villano:
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, Giuseppe Pappalardo, Corrado Santoro, Domenico Rosaci, Giuseppe M. L. Sarnè:
An Agent Based Negotiation Protocol for Cloud Service Level Agreements. 161-166 - Izaias De Faria, Mario A. R. Dantas, Miriam A. M. Capretz, Wilson A. Higashino:
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, Georgia N. Sofianidou:
Parallelizing K-Means Algorithm for 1-D Data Using MPI. 179-184 - Christian Napoli, Giuseppe Pappalardo, Emiliano Tramontana:
Improving Files Availability for Bittorrent Using a Diffusion Model. 191-196 - Andrea D'Ambrogio, Daniele Gianni, Joachim Fuchs, Giuseppe Iazeolla:
Track Report of Collaborative Modeling and Simulation (CoMetS 2014). 197-198 - Paolo Bocciarelli, Andrea D'Ambrogio, Andrea Giglio, Emiliano Paglia, Daniele Gianni:
A Transformation Approach to Enact the Design-Time Simulation of BPMN Models. 199-204 - Claudio Gargiulo, Donato Pirozzi, Vittorio Scarano, Giuseppe Valentino:
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, Andrea D'Ambrogio:
Referencing Capabilities for Collaborative Engineering of Conceptual Process Modeling with Object-Role Modeling. 217-222 - Konstantinos Kokkinos, Nicholas S. Samaras, Athanasios G. Loukas, Nikitas Mylopoulos:
A Collaborative Approach to Enviromental Modeling. 223-228 - Lorenzo Bracciale, Pierpaolo Loreti, Giuseppe Bianchi:
Simulating the Statistics of the First Meetings Using Dynamic "Open Environments". 229-234 - Michele Angelaccio, Berta Buttarazzi:
Track Report of Collaboration Tools for Preservation of Environment and Cultural Heritage (COPECH 2014). 235-236 - Michela Basili, Maurizio De Angelis:
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, Federica Palumbo:
NFC Smart Tourist Card: Combining Mobile and Contactless Technologies towards a Smart Tourist Experience. 249-254 - Mahmoud Barhamgi, Walid Gaaloul, Joaquin Ezpeleta, ZhangBing Zhou:
Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014). 255-256 - Feng Gao, Sami Bhiri:
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, Abdallah Makhoul, Jacques M. Bahi:
A Security Framework for Wireless Sensor Networks: Theory and Practice. 269-274 - Hind Benfenatki, Catarina Ferreira Da Silva, Aïcha-Nabila Benharkat, Parisa Ghodous:
Cloud-Based Business Applications Development Methodology. 275-280 - Michael Mrissa, Lionel Médini, Jean-Paul Jamont:
Semantic Discovery and Invocation of Functionalities for the Web of Things. 281-286 - Stefania Monica, Gianluigi Ferrari:
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, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf:
A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis. 300-305 - Rahma Bouaziz, Slim Kallel, Bernard Coulette:
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, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul:
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, Mohamed Jmaiel:
Toward a Verification of Time-Centric Business Process Models. 326-331 - Mohamed Sellami, Jean-Claude Royer, Anderson Santana de Oliveira:
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, Chirine Ghedira Guegan:
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, Riadh Ben Halima, Samir Tata:
Track Report of Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC 2014). 351-352 - Gianmario Motta, Linlin You, Nicola Sfondrini, Daniele Sacco, Tianyi Ma:
Service Level Management (SLM) in Cloud Computing - Third Party SLM Framework. 353-358 - Hamza Sahli, Chafia Bouanaka, Ahmed Taki Eddine Dib:
Towards a Formal Model for Cloud Computing Elasticity. 359-364 - Andrea Calvagna, Emiliano Tramontana:
Track Report of Validating Software for Critical Systems (VSC 2014). 365 - Giuseppe De Ruvo, Antonella Santone:
An Eclipse-Based Editor to Support LOTOS Newcomers. 372-377 - Sohaib Ahmad, Osman Hasan, Umair Siddique:
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, Andrea Fornaia, Emiliano Tramontana:
Assessing the Correctness of JVM Implementations. 390-395 - Olga Nabuco, Rodrigo Bonacin, Mariagrazia Fugini, Marcos Renato Da Silveira:
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, Duy Dinh, Cédric Pruski, Chantal Reynaud-Delaître:
Requirements for Implementing Mapping Adaptation Systems. 405-410 - Giuseppe De Ruvo, Antonella Santone:
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, Davide Rossi, Elisa Turrini:
Exploiting Semantic Knowledge in Know Best. 423-428 - Mariagrazia Fugini, George C. Hadjichristofi, Mahsa Teimourikia:
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, Olga Fernanda Nabuco, Ivo Pierozzi Jr.:
Modeling the Impacts of Agriculture on Water Resources: Semantic Interoperability Issues. 447-452 - Andre Gregio, Rodrigo Bonacin, Olga Nabuco, Vitor Monte Afonso, Paulo Lício de Geus, Mário Jino:
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 2025-11-20 22:10 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:
