4350 search results - page 272 / 870 » Case studies for contract-based systems |
181
click to vote
AI50
2006
15 years 10 months ago
2006
This case study demonstrates how the synthesis and the analysis of minimal recurrent neural robot control provide insights into the exploration of embodiment. By using structural e...
151
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
179
click to vote
WSC
2008
15 years 9 months ago
2008
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
182
click to vote
CHI
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we present the design process for developing a technology to support therapists for children with autism. To learn about the domain for which we were designing, one...
185
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...