6527 search results - page 244 / 1306 » On Typing Information Flow |
196
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Collecting per-flow aggregates in high-speed links is challenging and usually requires traffic sampling to handle peak rates and extreme traffic mixes. Static selection of sa...
195
Voted
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
183
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
158
click to vote
INFORMS
2008
15 years 6 months ago
2008
We propose an exact solution method for a routing and capacity installation problem in networks. Given an input graph, the problem is to route traffic from a set of source nodes t...
172
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...