Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

Editors:

  1. Manuel Núñez

    1. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zakaria Maamar

    1. CIT, Zayed University, Dubai, United Arab Emirates, United Arab Emirates

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Fernando L. Pelayo

    1. Dept. de Sistemas Informáticos Escuela Politécnica Superior, Universidad Castilla-La Mancha, Albacete, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Key Pousttchi

    1. Business Informatics and Systems Engineering, University of Augsburg, Augsburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Fernando Rubio

    1. Dept. Sistemas Informáticos y Computación, Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3236)

Conference series link(s): FORTE: International Conference on Formal Techniques for Distributed Objects, Components, and Systems

Conference proceedings info: FORTE 2004.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (27 papers)

  1. Front Matter

    PDF

  2. TheFormEMC

    1. Formal Analysis of the Internet Open Trading Protocol

      • Chun Ouyang, Jonathan Billington
      Pages 1-15

    2. Life-Cycle E-commerce Testing with OO-TTCN-3

      • Robert L. Probert, Pulei Xiong, Bernard Stepien
      Pages 16-29

    3. Specification of Autonomous Agents in E-commerce Systems

      • Ismael Rodríguez, Manuel Núñez, Fernando Rubio
      Pages 30-43

    4. An Approach for Assessment of Electronic Offers

      • Bettina Bazijanec, Key Pousttchi, Klaus Turowski
      Pages 44-57

    6. A Construction Kit for Modeling the Security of M-commerce Applications

      • Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
      Pages 72-85

    7. A Minimal Market Model in Ephemeral Markets

      • Daniel Rolli, Dirk Neumann, Christof Weinhardt
      Pages 86-100

  3. EPEW

    1. Formal Specification of Symbolic-Probabilistic Systems

      • Natalia López, Manuel Núñez, Ismael Rodríguez
      Pages 114-127

    3. A Bounded True Concurrency Process Algebra for Performance Evaluation

      • M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, J. José Pardo, Hermenegilda Macià
      Pages 143-155

    4. Branching Time Equivalences for Interactive Markov Chains

      • Guangping Qin, Jinzhao Wu
      Pages 156-169

    6. Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times

      • Peixia Gao, Sabine Wittevrongel, Herwig Bruneel
      Pages 184-195

    9. Performance Evaluation of a SNAP-Based Grid Resource Broker

      • Iain Gourlay, Mohammed Haji, Karim Djemame, Peter Dew
      Pages 220-232

    11. An Analytical Design of a Practical Replication Protocol for Distributed Systems

      • Luis Irún-Briz, Francisco Castro-Company, Hendrik Decker, Francesc D. Muñoz-Escoí
      Pages 248-261
Back to top

Other Volumes

  1. Formal Techniques for Networked and Distributed Systems – FORTE 2004

  2. Applying Formal Methods: Testing, Performance, and M/E-Commerce

Back to top

Keywords

Back to top

Editors and Affiliations

  • Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Manuel Núñez

  • CIT, Zayed University, Dubai, United Arab Emirates, United Arab Emirates

    Zakaria Maamar

  • Dept. de Sistemas Informáticos Escuela Politécnica Superior, Universidad Castilla-La Mancha, Albacete, Spain

    Fernando L. Pelayo

  • Business Informatics and Systems Engineering, University of Augsburg, Augsburg, Germany

    Key Pousttchi

  • Dept. Sistemas Informáticos y Computación, Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Fernando Rubio

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation