3107 search results - page 504 / 622 » Error-Correcting Source Code |
126
click to vote
IROS
2006
IEEE
15 years 9 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...
118
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Tracking of miniature robotic platforms involves major challenges in image recognition and data association. We present our 3-year effort into developing the platform-independe...
ISVLSI
2006
IEEE
15 years 9 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...
113
Voted
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
Network server consolidation has become popular through recent virtualization technology that builds secure, isolated network systems on shared hardware. One of the virtualization...
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...