FORTE Workshops 2004: Toledo, Spain

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, Fernando Rubio:
  Specification of Autonomous Agents in E-commerce Systems. 30-44
  
• Bettina Bazijanec, Key Pousttchi, Klaus Turowski:
  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, Ismael Rodríguez:
  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, Peter M. Dew:
  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, Edith Werner:
  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, Ismael Rodríguez, Fernando Rubio:
  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, Patrizio Pelliccione, P. Pierini:
  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
  

Last update Mon May 20 22:59:26 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page