Sciweavers

2272 search results - page 320 / 455
» Validity Invariants and Effects
Sort
View
ICRA
2003
IEEE
129views Robotics» more  ICRA 2003»
15 years 9 months ago
Self-positioning with an omni-directional stereo system
— This paper presents a self-positioning system for the mobile robot. The proposed positioning system consists of a stereo setup of two ODVs (Omni-Directional Vision) for obtaini...
Jyun-ichi Eino, Toshinobu Takashi, Jun-ichi Takigu...
ICSM
2003
IEEE
15 years 9 months ago
Characterizing the 'Security Vulnerability Likelihood' of Software Functions
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
Dan DaCosta, Christopher Dahn, Spiros Mancoridis, ...
INFOCOM
2003
IEEE
15 years 9 months ago
Adaptive joint playout buffer and FEC adjustement for Internet Telephony
— We develop a joint playout buffer and Forward Error Correction (FEC) adjustment scheme for Internet Telephony, which incorporates the impact of end-to-end delay on the perceive...
Catherine Boutremans, Jean-Yves Le Boudec
INFOCOM
2003
IEEE
15 years 9 months ago
Modeling Malware Spreading Dynamics
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
Michele Garetto, Weibo Gong, Donald F. Towsley
128
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
Understanding CHOKe
— A recently proposed active queue management, CHOKe, is stateless, simple to implement, yet surprisingly effective in protecting TCP from UDP flows. As UDP rate increases, even...
Ao Tang, Jiantao Wang, Steven H. Low