Sciweavers

11374 search results - page 2238 / 2275
» A System Demonstration of ST-TCP
Sort
View
JFR
2007
150views more  JFR 2007»
14 years 11 months ago
Decisional autonomy of planetary rovers
To achieve the ever increasing demand for science return, planetary exploration rovers require more autonomy to successfully perform their missions. Indeed, the communication dela...
Félix Ingrand, Simon Lacroix, Solange Lemai...
JFR
2007
144views more  JFR 2007»
14 years 11 months ago
Real-Time SLAM with Octree Evidence Grids for Exploration in Underwater Tunnels
We describe a Simultaneous Localization and Mapping (SLAM) method for a hovering underwater vehicle that will explore underwater caves and tunnels, a true three dimensional (3D) e...
Nathaniel Fairfield, George Kantor, David Wettergr...
TON
2008
87views more  TON 2008»
14 years 11 months ago
Large-scale network parameter configuration using an on-line simulation framework
As the Internet infrastructure grows to support a variety of services, its legacy protocols are being overloaded with new functions such as traffic engineering. Today, operators en...
Tao Ye, Hema Tahilramani Kaur, Shivkumar Kalyanara...
TON
2008
103views more  TON 2008»
14 years 11 months ago
On the race of worms, alerts, and patches
We study the effectiveness of automatic patching and quantify the speed of patch or alert dissemination required for worm containment. We focus on random scanning as this is repres...
Milan Vojnovic, Ayalvadi J. Ganesh
TOSEM
2008
168views more  TOSEM 2008»
14 years 11 months ago
Developing and debugging algebraic specifications for Java classes
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
Johannes Henkel, Christoph Reichenbach, Amer Diwan
« Prev « First page 2238 / 2275 Last » Next »