1980 search results - page 302 / 396 » Compositional Model Checking of Real Time Systems |
111
click to vote
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
Hospital work is characterized by the need to manage multiple activities simultaneously, constant local mobility, frequently interruptions, and intense collaboration and communica...
122
click to vote
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
136
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present a new trajectory planning algorithm for virtual humans. Our approach focuses on implicit cooperation between multiple virtual agents in order to share th...
150
click to vote
AFRIGRAPH
2004
ACM
15 years 8 months ago
2004
ACM
In the real world, the human eye is confronted with a wide range of luminances from bright sunshine to low night light. Our eyes cope with this vast range of intensities by adapta...
138
click to vote
CODES
2008
IEEE
15 years 9 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...