Abstract is missing.
- Formal Analysis of the Internet Open Trading ProtocolChun Ouyang, Jonathan Billington. 1-15 [doi]
- Life-Cycle E-commerce Testing with OO-TTCN-3Robert L. Probert, Pulei Xiong, Bernard Stepien. 16-29 [doi]
- Specification of Autonomous Agents in E-commerce SystemsIsmael Rodríguez, Manuel Núñez, Fernando Rubio. 30-44 [doi]
- An Approach for Assessment of Electronic OffersBettina Bazijanec, Key Pousttchi, Klaus Turowski. 44-57 [doi]
- A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation ExchangesShantanu Biswas, Y. Narahari, Anish Das Sarma. 58-71 [doi]
- A Construction Kit for Modeling the Security of M-commerce ApplicationsDominik Haneberg, Wolfgang Reif, Kurt Stenzel. 72-85 [doi]
- A Minimal Market Model in Ephemeral MarketsDaniel Rolli, Dirk Neumann, Christof Weinhardt. 86-100 [doi]
- A Process-Oriented Approach Towards Structured Market ModellingJuho Mäkiö. 101-113 [doi]
- Formal Specification of Symbolic-Probabilistic SystemsNatalia López, Manuel Núñez, Ismael Rodríguez. 114-127 [doi]
- How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance ResultsJeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas. 128-142 [doi]
- A Bounded True Concurrency Process Algebra for Performance EvaluationM. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià. 143-155 [doi]
- Branching Time Equivalences for Interactive Markov ChainsGuangping Qin, Jinzhao Wu. 156-169 [doi]
- System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal ArrivalsBart Vinck, Herwig Bruneel. 170-183 [doi]
- Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service TimesPeixia Gao, Sabine Wittevrongel, Herwig Bruneel. 184-195 [doi]
- Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM NetworksMahdi Jalili-Kharaajoo. 196-208 [doi]
- Modeling and Analysis of Dual Block MultithreadingWlodzimierz M. Zuberek. 209-219 [doi]
- Performance Evaluation of a SNAP-Based Grid Resource BrokerIain Gourlay, Mohammed H. Haji, Karim Djemame, Peter M. Dew. 220-232 [doi]
- Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process AlgebraK. N. Sridhar, Gabriel Ciobanu. 233-247 [doi]
- An Analytical Design of a Practical Replication Protocol for Distributed SystemsLuis Irún-Briz, Francisco Castro-Company, Hendrik Decker, Francesc D. Muñoz-Escoí. 248-261 [doi]
- PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical ApplicationStephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul. 262-277 [doi]
- Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event SimulationPere P. Sancho, Carlos Juiz, Ramón Puigjaner. 278-292 [doi]
- Symbolic Performance and Dependability Evaluation with the Tool CASPAMatthias Kuntz, Markus Siegle, Edith Werner. 293-307 [doi]
- Modeling and Testing Agent Systems Based on StatechartsHeui-Seok Seo, Tadashi Araragi, Yong Rae Kwon. 308-321 [doi]
- Testing of Autonomous Agents Described as Utility State MachinesManuel Núñez, Ismael Rodríguez, Fernando Rubio. 322-336 [doi]
- Generation of Integration Tests for Self-Testing ComponentsLeonardo Mariani, Mauro Pezzè, David Willmor. 337-350 [doi]
- Model-Checking Plus Testing: From Software Architecture Analysis to Code TestingAntonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, P. Pierini. 351-365 [doi]
- A Meta-model for TTCN-3Ina Schieferdecker, George Din. 366-379 [doi]