Starting from a classification of software validation techniques an innovative Petri net based methodology is proposed to integrate qualitative and quantitative analysis methods of parallel software systems. The approach combines qualitative analysis, monitoring and testing as well as quantitative analysis on the basis of a net-based intermediate representation of the parallel software system u...

During the last decade, the advance of Internet has enabled the emergence of previously nonexistent type of human social structures virtual 'online' communities. As compared to the traditional communities, online communities are distinguished by the drastic reduction of the requirement for the physical proximity and geographical clustering of their members. The primary cause of this shift away ...

The qualitative properties of spatially homogeneous stiff perfect fluid and minimally coupled massless scalar field models within general relativity are discussed. Consequently, by exploiting the formal equivalence under conformal transformations and field redefinitions of certain classes of theories of gravity, the asymptotic properties of spatially homogeneous models in a class of scalar-tens...

We characterize when a convex risk measure associated to a law-invariant acceptance set in L can be extended to L, 1�p<∞, preserving finiteness and continuity. This problem is strongly connected to the statistical robustness of the corresponding risk measures. Special attention is paid to concrete examples including risk measures based on expected utility, max-correlation risk measures, and dis...