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

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

ISBN: 978-3-540-23169-1 (Print) 978-3-540-30233-9 (Online)

Table of contents (27 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. TheFormEMC

    1. No Access

      Book Chapter

      Pages 1-15

      Formal Analysis of the Internet Open Trading Protocol

    2. No Access

      Book Chapter

      Pages 16-29

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

    3. No Access

      Book Chapter

      Pages 30-43

      Specification of Autonomous Agents in E-commerce Systems

    4. No Access

      Book Chapter

      Pages 44-57

      An Approach for Assessment of Electronic Offers

    5. No Access

      Book Chapter

      Pages 58-71

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

    6. No Access

      Book Chapter

      Pages 72-85

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

    7. No Access

      Book Chapter

      Pages 86-100

      A Minimal Market Model in Ephemeral Markets

    8. No Access

      Book Chapter

      Pages 101-113

      A Process-Oriented Approach Towards Structured Market Modelling

  3. EPEW

    1. No Access

      Book Chapter

      Pages 114-127

      Formal Specification of Symbolic-Probabilistic Systems

    2. No Access

      Book Chapter

      Pages 128-142

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

    3. No Access

      Book Chapter

      Pages 143-155

      A Bounded True Concurrency Process Algebra for Performance Evaluation

    4. No Access

      Book Chapter

      Pages 156-169

      Branching Time Equivalences for Interactive Markov Chains

    5. No Access

      Book Chapter

      Pages 170-183

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

    6. No Access

      Book Chapter

      Pages 184-195

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

    7. No Access

      Book Chapter

      Pages 196-208

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

    8. No Access

      Book Chapter

      Pages 209-219

      Modeling and Analysis of Dual Block Multithreading

    9. No Access

      Book Chapter

      Pages 220-232

      Performance Evaluation of a SNAP-Based Grid Resource Broker

    10. No Access

      Book Chapter

      Pages 233-247

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

    11. No Access

      Book Chapter

      Pages 248-261

      An Analytical Design of a Practical Replication Protocol for Distributed Systems

    12. No Access

      Book Chapter

      Pages 262-277

      PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application

previous Page of 2