6527 search results - page 30 / 1306 » On Typing Information Flow |
TIM
2011
13 years 2 months ago
2011
—Low-cost networked fluid flow velocity sensors are needed for high-density sampling in environmental research and other applications requiring automated fluid flow velocity mapp...
SFM
2010
Springer
13 years 11 months ago
2010
Springer
MASCOTS
2008
13 years 9 months ago
2008
Two classic categories of models exist for computer networks: network information flow and network of queues. The network information flow model appropriately captures the multi-ho...
INFORMS
1998
13 years 7 months ago
1998
POPL
2005
ACM
14 years 7 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...