The SCEAS System
Navigation Menu

Conferences in DBLP

2006 (conf/wsfm/2006)

  1. Wil M. P. van der Aalst, Maja Pesic
    DecSerFlow: Towards a Truly Declarative Service Flow Language. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:1-23 [Conf]
  2. Marco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar
    Service QoS Composition at the Level of Part Names. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:24-37 [Conf]
  3. Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
    SCC: A Service Centered Calculus. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:38-57 [Conf]
  4. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
    Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:58-72 [Conf]
  5. Rebhi Baraka, Wolfgang Schreiner
    Semantic Querying of Mathematical Web Service Descriptions. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:73-87 [Conf]
  6. Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
    Verified Reference Implementations of WS-Security Protocols. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:88-106 [Conf]
  7. Antonio Brogi, Razvan Popescu
    From BPEL Processes to YAWL Workflows. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:107-122 [Conf]
  8. Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto
    Translating Orc Features into Petri Nets and the Join Calculus. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:123-137 [Conf]
  9. Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito
    Dynamic Constraint-Based Invocation of Web Services. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:138-147 [Conf]
  10. Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
    A Formal Account of Contracts for Web Services. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:148-162 [Conf]
  11. Gero Decker, Johannes Maria Zaha, Marlon Dumas
    Execution Semantics for Service Choreographies. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:163-177 [Conf]
  12. Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero
    Analysis and Verification of Time Requirements Applied to the Web Services Composition. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:178-192 [Conf]
  13. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
    A Formal Approach to Service Component Architecture. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:193-213 [Conf]
  14. Stephen T. Gilmore, Mirco Tribastone
    Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:214-226 [Conf]
  15. Raman Kazhamiakin, Marco Pistore
    Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:227-241 [Conf]
  16. Il-Gon Kim, Debmalya Biswas
    Application of Model Checking to AXML System's Security: A Case Study. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:242-256 [Conf]
  17. Manuel Mazzara, Ivan Lanese
    Towards a Unifying Theory for Web Services Composition. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:257-272 [Conf]
  18. Xiangpeng Zhao, Hongli Yang, Zongyan Qiu
    Towards the Formal Model and Verification of Web Service Choreography Description Language. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:273-287 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002