05574nam 22008175 450 99646563850331620200630013944.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[electronic resource] 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,0302-9743 ;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,0302-9743 ;3236Software engineeringComputer communication systemsComputer logicComputer system failuresComputers and civilizationSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSystem Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Computers and Societyhttps://scigraph.springernature.com/ontologies/product-market-codes/I24040Software engineering.Computer communication systems.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.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)MiAaPQMiAaPQMiAaPQBOOK996465638503316Applying Formal Methods: Testing, Performance, and M2204568UNISA