3828 search results - page 420 / 766 » Proof-Based System Engineering Using a Virtual System Model |
211
Voted
WSC
1997
15 years 8 months ago
1997
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
255
click to vote
CMC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
174
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
175
click to vote
VRST
2006
ACM
16 years 22 days ago
2006
ACM
Some tasks vital to many mixed and augmented reality systems are either too time consuming or complex to be carried out whilst the system is active. 3D scene modelling and labelli...
199
click to vote
TIM
2011
15 years 1 months ago
2011
—Estimating latency between the hosts in the Internet can play a significant role in the improvement of the performance of many services that use latency among hosts to make rout...