Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /

Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Núnez, Manuel (Editor, http://id.loc.gov/vocabulary/relators/edt), Maamar, Zakaaria (Editor, http://id.loc.gov/vocabulary/relators/edt), Pelayo, Fernando (Editor, http://id.loc.gov/vocabulary/relators/edt), Pousttchi, Key (Editor, http://id.loc.gov/vocabulary/relators/edt), Rubio, Fernando (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:1st ed. 2004.
Series:Lecture Notes in Computer Science, 3236
Subjects:
Software engineering.
Computer communication systems.
Computer logic.
Computer system failures.
Computers and civilization.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
System Performance and Evaluation.
Computers and Society.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • TheFormEMC
  • 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
  • Generation of Integration Tests for Self-Testing Components
  • Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
  • A Meta-model for TTCN-3.

Similar Items