Applying formal methods

InhaltsverzeichnisTheFormEMC.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.EPEW.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.Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation.ITM.Symbolic Performance and Dependability Evaluation with the Tool CASPA.Modeling and Testing Agent Systems Based on Statecharts.Testing of Autonomous Agents Described as Utility State Machines.Generationof Integration Tests for Self-Testing Components.Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.A Meta-model for TTCN-3.