5084 search results - page 671 / 1017 » Proving Possibility Properties |
182
click to vote
EMISA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract: Success of IT security not only depends on the evolution of technologies, but also relies on the knowledge of IT-Personnel and the level of their IT-security education. I...
176
click to vote
FSE
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we study the minimum distance between the set of bent functions and the set of 1-resilient Boolean functions and present a lower bound on that. The bound is proved to...
180
click to vote
ICCSA
2004
Springer
16 years 4 days ago
2004
Springer
Visualization is a key issue for multivariate data analysis. Multivariate visualization is an active research topic and many efforts have been made in order to find suitable and ...
168
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
159
click to vote
IFM
2004
Springer
16 years 4 days ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...