1105 search results - page 136 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
145
Voted
HAPTICS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
123
Voted
AUIC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
144
Voted
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
16 years 4 months ago
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
127
Voted
WSC
2007
15 years 5 months ago
2007
The simulation of group-work interaction is significant for Chinese enterprise organizational management. As a result, a cellular-automata based simulation model is put forward. T...
155
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...