3828 search results - page 198 / 766 » Proof-Based System Engineering Using a Virtual System Model |
174
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
163
click to vote
EDOC
2007
IEEE
16 years 23 days ago
2007
IEEE
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
203
click to vote
CODES
1996
IEEE
15 years 10 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
156
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
171
click to vote
VR
2003
IEEE
15 years 11 months ago
2003
IEEE
Bone dissection is an important component of many surgical procedures. In this paper, we discuss adaptive techniques for providing real-time haptic and visual feedback during a vi...