Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
3236 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Applying Formal Methods, Testing, Performance, and M/E-Commerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, october 1-2, 2004, proceedings, Manuel N'uñez, Zakaria Maamar, Fernando L. Pelayo ... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (XI-379 p.), Lecture notes in computer science, 3-54023169-2 • Applying Formal Methods: Testing, Performance, and M/E-Commerce, Texte imprimé, 9783662164709 |
Sommario:
- 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.