The availability of software systems can be increased by preventive measures which are triggered by failure prediction mechanisms. In this paper we present and evaluate two non-parametric techniques which model and predict ...

A technique to describe and to verify distributed algorithms is suggested. This technique (based on Petri nets) reduces the modelling- and analysis effort to a reasonable expenditure. The paper outlines the technique along ...

Exon arrays enable the monitoring of expression on a more fine-grained level than conventional 3’ arrays. By targeting single exons alternative splicing events can be detected. However, the increased amount of data ...

We show present seven scenarios for context-ware systems that were developed by groups of students in a Master’s-level course at Humboldt University Berlin during the Summer semester 2009. The goal was to write scenarios ...

For the two-sample location problem we first consider two types of tests, linear rank tests with various scores, but also some tests based on U-statistics. For both types we construct adaptive tests as well as max-type ...

Despite a considerable number of topology generation algorithms for simulation of wireless multihop networks it is difficult to find one with output similar to real networks [13]. In this paper, we propose NPART { a Node ...

Deciding whether a service S can be substituted by another service S0 is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define three substitutability ...