1 option
Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / edited by Manuel Núnez, Zakaaria Maamar, Fernando Pelayo, Key Pousttchi, Fernando Rubio.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 3236.
- Lecture Notes in Computer Science, 0302-9743 ; 3236
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer networks.
- Computer logic.
- Computer system failures.
- Computers and civilization.
- Software Engineering/Programming and Operating Systems.
- Software Engineering.
- Computer Communication Networks.
- Logics and Meanings of Programs.
- System Performance and Evaluation.
- Computers and Society.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Software Engineering.
- Computer Communication Networks.
- Logics and Meanings of Programs.
- System Performance and Evaluation.
- Computers and Society.
- Physical Description:
- 1 online resource (XI, 379 pages).
- Edition:
- First edition 2004.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-30233-9
- 9783540302339
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.