FORTE Workshops

Keyphrases

Publications

2004

Bettina Bazijanec, Key Pousttchi, Klaus Turowski
An Approach for Assessment of Electronic Offers. FORTE Workshops (2004)
Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon
Modeling and Testing Agent Systems Based on Statecharts. FORTE Workshops (2004)
Iain Gourlay, Mohammed H. Haji, Karim Djemame, Peter M. Dew
Performance Evaluation of a SNAP-Based Grid Resource Broker. FORTE Workshops (2004)
Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, Pierluigi Pierini
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. FORTE Workshops (2004)
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. FORTE Workshops (2004)
Ismael Rodríguez, Manuel Núñez, Fernando Rubio
Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops (2004)
Pere P. Sancho, Carlos Juiz, Ramón Puigjaner
Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation. FORTE Workshops (2004)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops (2004)
Wlodzimierz M. Zuberek
Modeling and Analysis of Dual Block Multithreading. FORTE Workshops (2004)
Matthias Kuntz, Markus Siegle, Edith Werner
Symbolic Performance and Dependability Evaluation with the Tool CASPA. FORTE Workshops (2004)
Guangping Qin, Jinzhao Wu
Branching Time Equivalences for Interactive Markov Chains. FORTE Workshops (2004)
Ina Schieferdecker, George Din
A Meta-model for TTCN-3. FORTE Workshops (2004)
Daniel Rolli, Dirk Neumann, Christof Weinhardt
A Minimal Market Model in Ephemeral Markets. FORTE Workshops (2004)
Shantanu Biswas, Y. Narahari, Anish Das Sarma
A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges. FORTE Workshops (2004)
Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops (2004)
Peixia Gao, Sabine Wittevrongel, Herwig Bruneel
Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times. FORTE Workshops (2004)
Mahdi Jalili-Kharaajoo
Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks. FORTE Workshops (2004)
Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
A Construction Kit for Modeling the Security of M-commerce Applications. FORTE Workshops (2004)
Natalia López, Manuel Núñez, Ismael Rodríguez
Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops (2004)
K. N. Sridhar, Gabriel Ciobanu
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra. FORTE Workshops (2004)
Juho Mäkiö
A Process-Oriented Approach Towards Structured Market Modelling. FORTE Workshops (2004)
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. FORTE Workshops (2004)
Leonardo Mariani, Mauro Pezzè, David Willmor
Generation of Integration Tests for Self-Testing Components. FORTE Workshops (2004)
Chun Ouyang, Jonathan Billington
Formal Analysis of the Internet Open Trading Protocol. FORTE Workshops (2004)
Manuel Núñez, Ismael Rodríguez, Fernando Rubio
Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops (2004)
Robert L. Probert, Pulei Xiong, Bernard Stepien
Life-Cycle E-commerce Testing with OO-TTCN-3. FORTE Workshops (2004)
Bart Vinck, Herwig Bruneel
System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals. FORTE Workshops (2004)

volume 3236, 2004

Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 FORTE Workshops 3236 (2004)