6527 search results - page 213 / 1306 » On Typing Information Flow |
WCE
2007
13 years 10 months ago
2007
—This paper studies the cardiovascular response under heart failure condition supported by two types of ventricular assist devices (VADs): the positive displacement pump and the ...
JLP
2010
13 years 4 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
JSCIC
2010
13 years 4 months ago
2010
While second order methods for computational simulations of fluid flow provide the basis of widely used commercial software, there is a need for higher order methods for more accur...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— We consider the network control problem for wireless networks with flow level dynamics under the general k-hop interference model. In particular, we investigate the co...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...