446 search results - page 51 / 90 » Modal Logics for Timed Control |
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Many overload control mechanisms for Web based applications aim to prevent overload by setting limits on factors such as admitted load, number of server threads, buffer size. For ...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
Olfaction is considered to be an important sensory modality in next-generation virtual reality (VR) systems. We currently focus on spatiotemporal control of odor, rather than capt...
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
RTSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Modern FPGA devices, which include (multiple) processor core(s) as diffused IP on the silicon die, provide an excellent platform for developing custom multiprocessor systems-on-pr...
CORR
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...