613 search results - page 106 / 123 » Executable Visual Contracts |
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
- Interactive avatar control means a control mechanism using AI techniques to improve user navigation efficiency as well as visual realism in a 3D virtual environment. This paper r...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
ISVLSI
2006
IEEE
14 years 3 months ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
VL
2006
IEEE
14 years 3 months ago
2006
IEEE
There is little understanding of how people describe software problems, but a variety of tools solicit, manage, and analyze these descriptions in order to streamline software deve...