2610 search results - page 319 / 522 » Computational Probabilistic Non-interference |
168
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
202
click to vote
PRDC
2007
IEEE
16 years 22 days ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
167
click to vote
AIIA
2007
Springer
16 years 19 days ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
172
click to vote
MFCS
2007
Springer
16 years 18 days ago
2007
Springer
A tournament is a graph in which each pair of distinct vertices is connected by exactly one directed edge. Tournaments are an important graph class, for which isomorphism testing ...
157
click to vote
SAFECOMP
2007
Springer
16 years 17 days ago
2007
Springer
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...