Applying formal methods : testing, performance, and M/E commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM | FormEMC (Workshop) (1st : 2004 : Toledo, Spain), Núñez, Manuel, Profesor, EPEW (Workshop) (1st : 2004 : Toledo, Spain), ITM (Conference) (1st : 2004 : Toledo, Spain)
Share on TelegramApplying formal methods : testing, performance, and M/E commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM
User Rating: Be the first one!
Author: FormEMC (Workshop) (1st : 2004 : Toledo, Spain), Núñez, Manuel, Profesor, EPEW (Workshop) (1st : 2004 : Toledo, Spain), ITM (Conference) (1st : 2004 : Toledo, Spain)
Added by: sketch
Added Date: 2015-12-29
Publication Date: 2004
Language: eng
Subjects: Formal methods (Computer science), Electronic data processing, Computer network protocols
Publishers: Berlin ; New York : Springer
Collections: journals contributions, journals
ISBN Number: 3540231692
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 181.81 MB
PDF Size: 4.13 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Edition: 1. ed.
Downloads: 726
Views: 776
Total Files: 18
Media Type: texts
Description
Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
Author: Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-23169-1
DOI: 10.1007/b100825
Table of Contents:
Includes bibliographical references and index
Author: Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-23169-1
DOI: 10.1007/b100825
Table of Contents:
- 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
- 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
Includes bibliographical references and index
