1852 search results - page 216 / 371 » Block-level link analysis |
IWDC
2001
Springer
14 years 1 months ago
2001
Springer
Abstract— This paper presents the architecture of a passive monitoring system installed within the Sprint IP backbone network. This system differs from other packet monitoring sy...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
— We present a new analytical technique, based on the inclusion–exclusion principle from combinatorics, for the analysis of all-optical networks with no wavelength conversion a...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
During the Summer of 1997 - Nomad - a planetaryrelevant mobile robot, was driven via satellite link for more than 125 miles in the Atacama Desert of Chile by novice operators in N...
CAV
2006
Springer
14 years 28 days ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
COMPLIFE
2006
Springer
14 years 28 days ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...