LEADER 05004nam 22007935 450 001 9910144346203321 005 20230810201328.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 $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,$x1611-3349 ;$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,$x1611-3349 ;$v3236 606 $aSoftware engineering 606 $aComputer networks 606 $aComputer science 606 $aElectronic digital computers$xEvaluation 606 $aComputers and civilization 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSystem Performance and Evaluation 606 $aComputers and Society 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputers and civilization. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aComputer Science Logic and Foundations of Programming. 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 $a9910144346203321 996 $aApplying Formal Methods: Testing, Performance, and M$92204568 997 $aUNINA