3883 search results - page 318 / 777 » Design mentoring based on design evolution analysis |
156
click to vote
CAGD
2004
15 years 6 months ago
2004
Topologically consistent algorithms for the intersection and trimming of free-form parametric surfaces are of fundamental importance in computer-aided design, analysis, and manufa...
174
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
178
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
187
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— To realize the harmonious cooperation with the operator, the man-machine cooperative system must be designed so as to accommodate with the characteristics of the operator’s s...
165
click to vote
PERVASIVE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...