default search action
FORTE Workshops 2004: Toledo, Spain
- Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio
:
Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Lecture Notes in Computer Science 3236, Springer 2004, ISBN 3-540-23169-2
TheFormEMC
- Chun Ouyang, Jonathan Billington:
Formal Analysis of the Internet Open Trading Protocol. 1-15 - Robert L. Probert, Pulei Xiong, Bernard Stepien:
Life-Cycle E-commerce Testing with OO-TTCN-3. 16-29 - Ismael Rodríguez, Manuel Núñez
Specification of Autonomous Agents in E-commerce Systems. 30-44 - Bettina Bazijanec, Key Pousttchi
An Approach for Assessment of Electronic Offers. 44-57 - Shantanu Biswas, Y. Narahari, Anish Das Sarma:
A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges. 58-71 - Dominik Haneberg, Wolfgang Reif, Kurt Stenzel:
A Construction Kit for Modeling the Security of M-commerce Applications. 72-85 - Daniel Rolli, Dirk Neumann, Christof Weinhardt:
A Minimal Market Model in Ephemeral Markets. 86-100 - Juho Mäkiö:
A Process-Oriented Approach Towards Structured Market Modelling. 101-113
EPEW
- Natalia López, Manuel Núñez
Formal Specification of Symbolic-Probabilistic Systems. 114-127 - Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas:
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. 128-142 - M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià:
A Bounded True Concurrency Process Algebra for Performance Evaluation. 143-155 - Guangping Qin, Jinzhao Wu:
Branching Time Equivalences for Interactive Markov Chains. 156-169 - Bart Vinck, Herwig Bruneel:
System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals. 170-183 - Peixia Gao, Sabine Wittevrongel, Herwig Bruneel:
Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times. 184-195 - Mahdi Jalili-Kharaajoo:
Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks. 196-208 - Wlodzimierz M. Zuberek
Modeling and Analysis of Dual Block Multithreading. 209-219 - Iain Gourlay, Mohammed H. Haji, Karim Djemame
Performance Evaluation of a SNAP-Based Grid Resource Broker. 220-232 - K. N. Sridhar, Gabriel Ciobanu:
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. 233-247 - Luis Irún-Briz, Francisco Castro-Company, Hendrik Decker, Francesc D. Muñoz-Escoí:
An Analytical Design of a Practical Replication Protocol for Distributed Systems. 248-261 - Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul:
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. 262-277 - Pere P. Sancho, Carlos Juiz, Ramón Puigjaner:
Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation. 278-292
ITM
- Matthias Kuntz, Markus Siegle
Symbolic Performance and Dependability Evaluation with the Tool CASPA. 293-307 - Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon:
Modeling and Testing Agent Systems Based on Statecharts. 308-321 - Manuel Núñez
Testing of Autonomous Agents Described as Utility State Machines. 322-336 - Leonardo Mariani, Mauro Pezzè, David Willmor:
Generation of Integration Tests for Self-Testing Components. 337-350 - Antonio Bucchiarone, Henry Muccini
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. 351-365 - Ina Schieferdecker, George Din:
A Meta-model for TTCN-3. 366-379
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: