KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Applying Formal Methods: Testing, Performance, and M/E-Commerce
Band 3236

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

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.09.2004

Abbildungen

XI, 379 p.

Herausgeber

Manuel Núnez + weitere

Verlag

Springer Berlin

Seitenzahl

379

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

604 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-23169-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.09.2004

Abbildungen

XI, 379 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

379

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

604 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-23169-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Applying Formal Methods: Testing, Performance, and M/E-Commerce
  • 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.- Generationof Integration Tests for Self-Testing Components.- Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.- A Meta-model for TTCN-3.