1809 search results - page 169 / 362 » A Formal Specification of dMARS |
ER
2007
Springer
14 years 3 months ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
ANSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
COMSWARE
2006
IEEE
14 years 3 months ago
2006
IEEE
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
RTCSA
2006
IEEE
14 years 3 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
ACRI
2006
Springer
14 years 3 months ago
2006
Springer
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...