2079 search results - page 105 / 416 » Quantifying Information Flow |
SP
1990
IEEE
14 years 1 months ago
1990
IEEE
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...
DAGSTUHL
1996
13 years 10 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
CAISE
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
MASCOTS
2004
13 years 10 months ago
2004
This paper presents an accurate stochastic model for transfer latency of short-lived Web-like TCP flows with random packet losses. Our model characterizes a data transfer in alter...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
Matching based on local brightness is quite limited, because
small changes on local appearance invalidate the
constancy in brightness. The root of this limitation is its
treatme...