2468 search results - page 80 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
140
Voted
ISSTA
2006
ACM
15 years 9 months 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...
204
Voted
VLDB
2007
ACM
16 years 3 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...
126
Voted
WCE
2007
15 years 4 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...
138
Voted
ISTA
2004
15 years 4 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...
205
Voted
JUCS
2010
14 years 10 months 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...