3828 search results - page 87 / 766 » Proof-Based System Engineering Using a Virtual System Model |
108
Voted
MICCAI
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. Angiogenesis, the growth of vascular structures, is an extremely complex biological process which has long puzzled scientists. Better physiological understanding of this ...
IEEECIT
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
125
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In the context of virtualized reality based telemicromanipulation, we present in this paper a visual calibration technique for optical microscope coupled with a CCD cam...
134
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Trust and reputation are central to effective interactions in open multi-agent systems in which agents, that are owned by a variety of stakeholders, can enter and leave the system ...
168
click to vote
FPT
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...