05004nam 22007935 450 991014434620332120230810201328.010.1007/b100825(CKB)1000000000212577(SSID)ssj0000321365(PQKBManifestationID)11246324(PQKBTitleCode)TC0000321365(PQKBWorkID)10263733(PQKB)11672247(DE-He213)978-3-540-30233-9(MiAaPQ)EBC3088075(PPN)155169548(EXLCZ)99100000000021257720121227d2004 u| 0engurnn|008mamaatxtccrApplying 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 Rubio1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XI, 379 p.) Lecture Notes in Computer Science,1611-3349 ;3236Bibliographic Level Mode of Issuance: Monograph3-540-30233-6 3-540-23169-2 Includes bibliographical references and index.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.Lecture Notes in Computer Science,1611-3349 ;3236Software engineeringComputer networksComputer scienceElectronic digital computersEvaluationComputers and civilizationSoftware EngineeringComputer Communication NetworksComputer Science Logic and Foundations of ProgrammingSystem Performance and EvaluationComputers and SocietySoftware engineering.Computer networks.Computer science.Electronic digital computersEvaluation.Computers and civilization.Software Engineering.Computer Communication Networks.Computer Science Logic and Foundations of Programming.System Performance and Evaluation.Computers and Society.005.13/1Núnez Manueledthttp://id.loc.gov/vocabulary/relators/edtMaamar Zakaariaedthttp://id.loc.gov/vocabulary/relators/edtPelayo Fernandoedthttp://id.loc.gov/vocabulary/relators/edtPousttchi Keyedthttp://id.loc.gov/vocabulary/relators/edtRubio Fernandoedthttp://id.loc.gov/vocabulary/relators/edtFormEMC (Workshop)MiAaPQMiAaPQMiAaPQBOOK9910144346203321Applying Formal Methods: Testing, Performance, and M2204568UNINA