Sciweavers

19986 search results - page 3584 / 3998
» On Designing Software Architectures
Sort
View
CCR
2004
147views more  CCR 2004»
15 years 6 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
ENTCS
2002
166views more  ENTCS 2002»
15 years 6 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
JIRS
2000
144views more  JIRS 2000»
15 years 6 months ago
An Integrated Approach of Learning, Planning, and Execution
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
Ramón García-Martínez, Daniel...
AROBOTS
1998
130views more  AROBOTS 1998»
15 years 6 months ago
Rough Terrain Autonomous Mobility-Part 2: An Active Vision, Predictive Control Approach
Off-road autonomous navigation is one of the most difficult automation challenges from the point of view of constraints on mobility, speed of motion, lack of environmental structur...
Alonzo Kelly, Anthony Stentz
TITB
2002
76views more  TITB 2002»
15 years 6 months ago
Technology improvements for image-guided and minimally invasive spine procedures
This paper reports on technology developments aimed at improving the state of the art for image-guided minimally invasive spine procedures. Back pain is a major health problem with...
Kevin Cleary, Mark Clifford, Dan Stoianovici, Matt...
« Prev « First page 3584 / 3998 Last » Next »