2834 search results - page 38 / 567 » A Probabilistic Approach to Measuring Robustness in Computin... |
114
Voted
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
168
Voted
IEEESCC
2006
IEEE
15 years 9 months ago
2006
IEEE
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
142
Voted
IEEEARES
2009
IEEE
15 years 1 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
127
click to vote
CAD
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
137
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...