1105 search results - page 155 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
128
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
151
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
142
Voted
IVC
2002
15 years 3 months ago
2002
This paper presents a novel three-dimensional model-based tracking system which has been incorporated into a visual servoing system. The tracking system combines modern graphical ...
133
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The lack of eye contact in video conference degrades the user’s experience. This problem has been known and studied for many years. There are hardware-based solutions to the eye...
104
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...