1776 search results - page 112 / 356 » A Visual Modeling Environment for Embedded Component Systems |
118
click to vote
SEE
1997
Springer
15 years 6 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
130
click to vote
SERA
2007
Springer
15 years 8 months ago
2007
Springer
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
158
click to vote
SIGGRAPH
1998
ACM
15 years 6 months ago
1998
ACM
Virtual environment research has focused on interactive image generation and has largely ignored acoustic modeling for spatialization of sound. Yet, realistic auditory cues can co...
108
Voted
JSS
2006
15 years 2 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
136
Voted
MDM
2009
Springer
15 years 9 months ago
2009
Springer
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...