Sciweavers

1393 search results - page 91 / 279
» Virtual-Channel Flow Control
Sort
View
CORR
2008
Springer
143views Education» more  CORR 2008»
13 years 10 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
CCR
2002
105views more  CCR 2002»
13 years 10 months ago
Adaptive packet sampling for flow volume measurement
Traffic measurement and monitoring are an important component of network management and traffic engineering. With high-speed Internet backbone links, efficient and effective packe...
Baek-Young Choi, Jaesung Park, Zhi-Li Zhang
CSFW
2006
IEEE
14 years 4 months ago
Encoding Information Flow in Haskell
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
Peng Li, Steve Zdancewic
IROS
2006
IEEE
137views Robotics» more  IROS 2006»
14 years 4 months ago
A Robust Docking Strategy for a Mobile Robot using Flow Field Divergence
— We present a robust strategy for docking a mobile robot in close proximity with an upright surface using optical flow field divergence. Unlike previous approaches, we achieve...
Chris McCarthy, Nick Barnes
ISER
2004
Springer
108views Robotics» more  ISER 2004»
14 years 3 months ago
Comparison of Temporal Filters for Optical Flow Estimation in Continuous Mobile Robot Navigation
We present our complete study involving comparisons of three spatio-temporal used in the estimation of optical flow for continuous mobile robot navigation. Previous comparisons of...
Chris McCarthy, Nick Barnes