2468 search results - page 80 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
175
click to vote
ISSTA
2006
ACM
16 years 4 days ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
249
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In distributed stream processing environments, large numbers of continuous queries are distributed onto multiple servers. When one or more of these servers become overloaded due t...
161
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper presents an important outcome of a research programme which focuses on the development of a method for synthesizing, under controlled conditions in the laboratory, t...
178
click to vote
ISTA
2004
15 years 7 months ago
2004
: The article proposes a conceptual modeling technique based on Semantically Complete model, the main property of which is that relations carry complete information about interconn...
246
click to vote
JUCS
2010
15 years 29 days ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...