Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540231691, 9783540302339

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Minimal Market Model in Ephemeral Markets

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_7 ◽

2004 ◽

pp. 86-100 ◽

Cited By ~ 4

Author(s):

Daniel Rolli ◽

Dirk Neumann ◽

Christof Weinhardt

Keyword(s):

Market Model ◽

Minimal Market Model

Download Full-text

System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_13 ◽

2004 ◽

pp. 170-183

Author(s):

Bart Vinck ◽

Herwig Bruneel

Keyword(s):

Discrete Time ◽

Queueing Systems ◽

System Delay ◽

Versus System

Download Full-text

Formal Specification of Symbolic-Probabilistic Systems

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_9 ◽

2004 ◽

pp. 114-127 ◽

Cited By ~ 2

Author(s):

Natalia López ◽

Manuel Núñez ◽

Ismael Rodríguez

Keyword(s):

Formal Specification ◽

Probabilistic Systems

Download Full-text

A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_5 ◽

2004 ◽

pp. 58-71

Author(s):

Shantanu Biswas ◽

Y. Narahari ◽

Anish Das Sarma

Keyword(s):

Demand Aggregation

Download Full-text

Generation of Integration Tests for Self-Testing Components

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_25 ◽

2004 ◽

pp. 337-350 ◽

Cited By ~ 5

Author(s):

Leonardo Mariani ◽

Mauro Pezzè ◽

David Willmor

Keyword(s):

Self Testing

Download Full-text

Modeling and Testing Agent Systems Based on Statecharts

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_23 ◽

2004 ◽

pp. 308-321 ◽

Cited By ~ 3

Author(s):

Heui-Seok Seo ◽

Tadashi Araragi ◽

Yong Rae Kwon

Keyword(s):

Agent Systems

Download Full-text

An Analytical Design of a Practical Replication Protocol for Distributed Systems

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_19 ◽

2004 ◽

pp. 248-261 ◽

Cited By ~ 1

Author(s):

Luis Irún-Briz ◽

Francisco Castro-Company ◽

Hendrik Decker ◽

Francesc D. Muñoz-Escoí

Keyword(s):

Distributed Systems ◽

Analytical Design

Download Full-text

A Bounded True Concurrency Process Algebra for Performance Evaluation

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_11 ◽

2004 ◽

pp. 143-155 ◽

Cited By ~ 6

Author(s):

M. Carmen Ruiz ◽

Diego Cazorla ◽

Fernando Cuartero ◽

J. José Pardo ◽

Hermenegilda Macià

Keyword(s):

Performance Evaluation ◽

Process Algebra ◽

True Concurrency

Download Full-text

Modeling and Analysis of Dual Block Multithreading

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_16 ◽

2004 ◽

pp. 209-219

Author(s):

W. M. Zuberek

Keyword(s):

Modeling And Analysis

Download Full-text

A Process-Oriented Approach Towards Structured Market Modelling

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_8 ◽

2004 ◽

pp. 101-113 ◽

Cited By ~ 2

Author(s):

Juho Mäkiö

Keyword(s):

Process Oriented ◽

Oriented Approach

Download Full-text

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-CommerceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Minimal Market Model in Ephemeral Markets

System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals

Formal Specification of Symbolic-Probabilistic Systems

A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges

Generation of Integration Tests for Self-Testing Components

Modeling and Testing Agent Systems Based on Statecharts

An Analytical Design of a Practical Replication Protocol for Distributed Systems

A Bounded True Concurrency Process Algebra for Performance Evaluation

Modeling and Analysis of Dual Block Multithreading

A Process-Oriented Approach Towards Structured Market Modelling

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce
Latest Publications