Willkommen, schön sind Sie da!
Logo Ex Libris

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

  • E-Book (pdf)
  • 379 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
Inhalt TheFormEMC.- Formal Analysis of the Internet Open Trading Protocol.- Life-Cycle E-commerce Testing with OO-TTCN-3.- Specifi... Weiterlesen
CHF 100.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich



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.


Titel: Applying Formal Methods: Testing, Performance, and M/E-Commerce
Untertitel: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
EAN: 9783540302339
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 09.09.2004
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 379

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"