If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
Michaela Huhn, Klaus Schneider, Thomas Kropf, Geor...
In this paper, we propose router mechanisms to regulate unresponsive best-effort traffic. By unresponsive traffic we mean flows that do not reduce their sending rate in response t...
This paper questions the status quo regarding Security Management (SM) tools that function in an isolated, monolithic fashion. People work best by interacting with others and with...
In thispaper, we present anadaptive networklayer protocol for VBR video transport. It: (1) minimizes buffer requirement in the network whileguaranteeingthat packets of VBR encoded...
Pawan Goyal, Harrick M. Vin, Chia Shen, Prashant J...
Accurate control of streamline density is key to producing several effective forms of visualization of 2-dimensional vector fields. We introduce a technique that uses an energy fu...