Núnez / Maamar / Pelayo | Applying Formal Methods: Testing, Performance, and M/E-Commerce | E-Book | sack.de
E-Book

E-Book, Englisch, Band 3236, 379 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Núnez / Maamar / Pelayo Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Erscheinungsjahr 2004
ISBN: 978-3-540-30233-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

E-Book, Englisch, Band 3236, 379 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-30233-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Núnez / Maamar / Pelayo Applying Formal Methods: Testing, Performance, and M/E-Commerce jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Núnez, Manuel
Maamar, Zakaaria
Pelayo, Fernando
Pousttchi, Key
Rubio, Fernando

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.