4418 search results - page 660 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
174
click to vote
VISUALIZATION
2005
IEEE
16 years 4 days ago
2005
IEEE
Gaining a comprehensive understanding of turbulent flows still poses one of the great challenges in fluid dynamics. A wellestablished approach to advance this research is the an...
162
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
161
click to vote
VR
1999
IEEE
15 years 10 months ago
1999
IEEE
The biggest single obstacle to building effective augmented reality (AR) systems is the lack of accurate wide-area sensors for trackers that report the locations and orientations ...
161
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
174
click to vote
RTAS
2005
IEEE
16 years 4 days ago
2005
IEEE
Dynamic voltage and frequency scaling is increasingly being used to reduce the energy requirements of embedded and real-time applications by exploiting idle CPU resources, while s...