Sciweavers

EPEW
2006
Springer
13 years 11 months ago
Experimental Analysis of the Correlation of HTTP GET Invocations
In this paper we experimentally investigate if optimal retry times can be determined based on models that assume independence of successive tries. We do this using data obtained fo...
Philipp Reinecke, Aad P. A. van Moorsel, Katinka W...
EPEW
2006
Springer
13 years 11 months ago
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results
Benchmarking as a method of assessing software performance is known to suffer from random fluctuations that distort the observed performance. In this paper, we focus on the fluctua...
Tomás Kalibera, Petr Tuma
EPEW
2006
Springer
13 years 11 months ago
A Function-Equivalent Components Based Simplification Technique for PEPA Models
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
Jane Hillston, Leïla Kloul
EPEW
2006
Springer
13 years 11 months ago
Explicit Inverse Characterizations of Acyclic MAPs of Second Order
This paper shows how to construct a Markovian arrival process of second order from information on the marginal distribution and on its autocorrelation function. More precisely, clo...
Armin Heindl, Gábor Horváth, Karsten...
EPEW
2006
Springer
13 years 11 months ago
Dependability Evaluation of Web Service-Based Processes
Abstract. As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more cruc...
László Gönczy, Silvano Chiarado...
EPEW
2006
Springer
13 years 11 months ago
A Precedence PEPA Model for Performance and Reliability Analysis
We propose new techniques to simplify the computation of the cycle times and the absorption times for a large class of PEPA models. These techniques allow us to simplify the model ...
Jean-Michel Fourneau, Leïla Kloul
EPEW
2006
Springer
13 years 11 months ago
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
Manuela L. Bujorianu, Marius C. Bujorianu
EPEW
2006
Springer
13 years 11 months ago
Functional Performance Specification with Stochastic Probes
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
Ashok Argent-Katwala, Jeremy T. Bradley
ECOWS
2006
Springer
13 years 11 months ago
Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors
Loose coupling is often cited as a defining characteristic of service-oriented architectures. Interactions between services take place via messages in an asynchronous environment ...
Carlos Molina-Jiménez, Santosh K. Shrivasta...
ECOWS
2006
Springer
13 years 11 months ago
WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
Frank Kaufer, Matthias Klusch