LEADER 05574nam 22008175 450 001 996465638503316 005 20200630013944.0 024 7 $a10.1007/b100825 035 $a(CKB)1000000000212577 035 $a(SSID)ssj0000321365 035 $a(PQKBManifestationID)11246324 035 $a(PQKBTitleCode)TC0000321365 035 $a(PQKBWorkID)10263733 035 $a(PQKB)11672247 035 $a(DE-He213)978-3-540-30233-9 035 $a(MiAaPQ)EBC3088075 035 $a(PPN)155169548 035 $a(EXLCZ)991000000000212577 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplying Formal Methods: Testing, Performance, and M/E-Commerce$b[electronic resource] $eFORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /$fedited by Manuel Núnez, Zakaaria Maamar, Fernando Pelayo, Key Pousttchi, Fernando Rubio 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XI, 379 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3236 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-30233-6 311 $a3-540-23169-2 320 $aIncludes bibliographical references and index. 327 $aTheFormEMC -- 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3236 606 $aSoftware engineering 606 $aComputer communication systems 606 $aComputer logic 606 $aComputer system failures 606 $aComputers and civilization 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aComputer logic. 615 0$aComputer system failures. 615 0$aComputers and civilization. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aLogics and Meanings of Programs. 615 24$aSystem Performance and Evaluation. 615 24$aComputers and Society. 676 $a005.13/1 702 $aNúnez$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaamar$b Zakaaria$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPelayo$b Fernando$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPousttchi$b Key$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRubio$b Fernando$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFormEMC (Workshop) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465638503316 996 $aApplying Formal Methods: Testing, Performance, and M$92204568 997 $aUNISA