2044 search results - page 118 / 409 » System theory for numerical analysis |
150
click to vote
IEEEARES
2009
IEEE
15 years 2 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...
141
click to vote
JUCS
2008
15 years 4 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
127
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Traditional Dempster Shafer belief theory does not provide a simple method for judging the effect of statistical and probabilistic data on belief functions and vice versa. This put...
143
click to vote
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
—We introduce quantization feature functions to represent continuous or large range discrete data into the symbolic CRF data representation. We show that doing this convertion in...
154
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...