2137 search results - page 298 / 428 » Proving Abstract Non-interference |
139
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We consider the computational complexity and algorithm challenges in designing survivable access networks. With limited routing capability, the structure of an access n...
151
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We present a framework for designing delayindependent end-to-end congestion control algorithms, where each end-user may have a different utility function. We only requir...
160
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— In the framework of physical Human-Robot Interaction (pHRI), methodologies and experimental tests are presented for the problem of detecting and reacting to collisions ...
130
Voted
MMSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Video shot boundary detection is one of the fundamental tasks of video indexing and retrieval applications. Although many methods have been proposed for this task, find...
128
click to vote
NOCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— In this paper, we discuss a real-time on-chip communication service with a priority-based wormhole switching policy. A novel off-line schedulability analysis approach i...