2695 search results - page 296 / 539 » A Visual Approach to Validating System Level Designs |
148
click to vote
AROBOTS
2004
15 years 3 months ago
2004
In this paper, we report some important results of design and evaluation of a wheelchair-based robotic arm system, named as KARES II (KAIST Rehabilitation Engineering Service Syste...
150
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— The proliferation of wireless and mobile devices has fostered the demand of context aware applications, in which location is often viewed as one of the most significant context...
128
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a configurable and generic platform architecture suitable to interface several kinds of sensors for automotive applications. A platform-based design approach i...
126
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
123
click to vote
ICNSC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...