1980 search results - page 242 / 396 » Compositional Model Checking of Real Time Systems |
114
Voted
JSS
2006
15 years 3 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
118
Voted
IJCSA
2006
15 years 3 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
141
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
We present a new localization algorithm called Sensor Resetting Localization which is an extension of Monte Carlo Localization. The algorithm adds sensor based resampling to Monte...
144
Voted
RTS
2006
15 years 3 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
129
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, we investigate the problem of automatic audio surveillance. This aspect of the surveillance, which extends the more investigated area of video surveillance, can be ...