1527 search results - page 103 / 306 » From Requirements to Design: Formalizing the Key Steps |
205
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
158
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
149
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— This article presents the design of Iromec, a modular robot companion tailored towards engaging in social exchanges with children with different disabilities with the aim to em...
220
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
It is well recognized that novel computational models, devices and technologies are needed in order to sustain the remarkable advancement of CMOS-based VLSI circuits and systems. ...
167
click to vote
TCOM
2010
15 years 4 months ago
2010
—The optimal performance-complexity tradeoff for error-correcting codes at rates strictly below the Shannon limit is a central question in coding theory. This paper proposes a nu...