319 search results - page 16 / 64 » formats 2003 |
MS
2003
13 years 10 months ago
2003
: - In this paper, we introduce a new panoramic movie system that can capture and play 360◦ viewing angle. The system captures surround movie by using four wide-angle video camer...
IADIS
2003
13 years 10 months ago
2003
Mass, multi-channel, network access to information requires a solution of several problems related to proper information delivery, including an important problem of adjusting data...
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties? These problems are not...
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...