1980 search results - page 221 / 396 » Compositional Model Checking of Real Time Systems |
151
Voted
HPCN
2000
Springer
15 years 7 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
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...
131
Voted
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
147
Voted
CMG
2001
15 years 5 months ago
2001
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...