744 search results - page 26 / 149 » Observations on the Decidability of Transitions |
114
click to vote
FUIN
2006
15 years 1 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
114
click to vote
MATES
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. Demand responsive transportation has the potential to provide efficient public door-to-door transport with a high quality. In currently implemented systems in the Netherl...
117
click to vote
AUSAI
2004
Springer
15 years 7 months ago
2004
Springer
This paper is about tracking people in real-time as they move through the non-overlapping fields of view of multiple video cameras. The paper builds upon existing methods for trac...
119
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
It has been shown that secret information can be leaked to external observers through covert timing channels. In this paper we are concerned with a kind of timing attack that want...
104
Voted
VR
2009
IEEE
15 years 8 months ago
2009
IEEE
In order to increase a user’s sense of presence in an artificial environment some researchers propose a gradual transition from reality to the virtual world instead of immersin...