Skip to main content
SpringerLink
Log in
SpringerLink
Log in

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

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

  • Conference proceedings
  • © 2004

Overview

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)

Included in the following conference series:

Conference proceedings info: FORTE 2004.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter 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

    5. A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges

      • Shantanu Biswas, Y. Narahari, Anish Das Sarma
      Pages 58-71

    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

    8. A Process-Oriented Approach Towards Structured Market Modelling

      • Juho Mäkiö
      Pages 101-113

  3. EPEW

    1. Formal Specification of Symbolic-Probabilistic Systems

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

    2. How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results

      • Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
      Pages 128-142

    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

    5. System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals

      • Bart Vinck, Herwig Bruneel
      Pages 170-183

    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

    7. Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks

      • Mahdi Jalili-Kharaajoo
      Pages 196-208

    8. Modeling and Analysis of Dual Block Multithreading

      • W. M. Zuberek
      Pages 209-219

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

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

    10. Describing IEEE 802.11 Wireless Mechanisms by Using the π-Calculus and Performance Evaluation Process Algebra

      • K. N. Sridhar, Gabriel Ciobanu
      Pages 233-247

    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

Keywords

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation