4890 search results - page 540 / 978 » From system specifications to component behavioral models |
313
click to vote
JUCS
2002
15 years 7 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
196
click to vote
ROBOTICA
2008
15 years 6 months ago
2008
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...
246
Voted
TSMC
2010
15 years 2 months ago
2010
Abstract--For the last decade, we have developed a visionbased architecture for mobile robot navigation. Our bio-inspired model of the navigation has proved to achieve sensory-moto...
246
Voted
JCSC
2002
15 years 7 months ago
2002
There is a growing need to analyze and optimize the stand-by component of power in digital circuits designed for portable and battery-powered applications. Since these circuits re...
193
Voted
HCI
2009
15 years 5 months ago
2009
This work presents the design and implementation of the DocEmoX system for the automated typography-derived emotional extraction and annotation of printed and electronic documents....