4418 search results - page 259 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
164
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
To achieve good image quality for computed tomography scans, it is important to accurately know the geometrical relationship between the x-ray source, detector, and axis of rotati...
202
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
155
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— This paper proposes a new way of trajectory generation for industrial manipulators. A real-time algorithm for the interpolation of synchronized and time-optimal manipul...
185
click to vote
ICADL
2003
Springer
15 years 12 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
170
click to vote
DSOM
2003
Springer
15 years 12 months ago
2003
Springer
Systems are becoming exceedingly complex to manage. As such, there is an increasing trend towards developing systems that are self-managing. Policy-based infrastructures have been ...