Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. ProceedingsAuthor: Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio Published by Springer Berlin Heidelberg ISBN: 978-3-540-23169-1 DOI: 10.1007/b100825Table of Contents:Formal Analysis of the Internet Open Trading Protocol Life-Cycle E-commerce Testing with OO-TTCN-3 Specification of Autonomous Agents in E-commerce Systems An Approach for Assessment of Electronic Offers A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges A Construction Kit for Modeling the Security of M-commerce Applications A Minimal Market Model in Ephemeral Markets A Process-Oriented Approach Towards Structured Market Modelling Formal Specification of Symbolic-Probabilistic Systems How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results A Bounded True Concurrency Process Algebra for Performance Evaluation Branching Time Equivalences for Interactive Markov Chains System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks Modeling and Analysis of Dual Block Multithreading Performance Evaluation of a SNAP-Based Grid Resource Broker Describing IEEE 802.11 Wireless Mechanisms by Using the π-Calculus and Performance Evaluation Process Algebra An Analytical Design of a Practical Replication Protocol for Distributed Systems PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application, Includes bibliographical references and index