26151 search results - page 264 / 5231 » Parameterized system design |
140
click to vote
KIC
2000
15 years 8 months ago
2000
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...
203
click to vote
JOT
2007
15 years 6 months ago
2007
Demand for quality software has undergone with rapid growth during the last few years. This is leading to an increase in the development of metrics for measuring the properties of...
191
click to vote
SOFSEM
2007
Springer
16 years 23 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
190
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents a novel design and preliminary kinematic analysis of an Insertable Robotic Effector Platform (IREP) for Single Port Access (SPA) Surgery. The IREP robot can ...
210
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...