2079 search results - page 129 / 416 » Quantifying Information Flow |
FORTE
2007
13 years 10 months ago
2007
Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows i...
INFSOF
2002
13 years 8 months ago
2002
Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as part of their input. Points-to related data collect...
IMA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we present a theoretical framework to quantify the information brought by several linear approximations of a blockcipher without putting any restriction on ...
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
Studying the genetic control of molecular, anatomical and/or morphological phenotypes in model organisms is a powerful tool in the functional analysis of a gene. The goal of our r...
AAAI
2007
13 years 11 months ago
2007
Modeling and simulation have great potential as technologies capable of aiding analysts in making accurate predictions of future situations to help provide competitive advantage a...