945 search results - page 144 / 189 » Graph Types |
181
click to vote
INFOCOM
2007
IEEE
16 years 16 days ago
2007
IEEE
— We consider the problem of throughput-optimal cross-layer design of wireless networks. We propose a joint congestion control and scheduling algorithm that achieves a fraction d...
165
click to vote
ICICS
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents PCAV (Parallel Coordinates Attack Visualizer), a real-time visualization system for detecting large-scale Internet attacks including Internet worms, DDoS attack...
142
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
147
click to vote
APVIS
2008
15 years 7 months ago
2008
Animation is frequently utilized to visually depict change in timevarying data sets. For this task, it is a natural fit. Yet explicit animation is rarely employed for static data....
144
click to vote
ICRA
2006
IEEE
16 years 8 days ago
2006
IEEE
— Fault diagnosis of coupled mobile robots requires a large number of measurements to be communicated either between the robots or from the robots to a central diagnoser. As comp...