4666 search results - page 276 / 934 » Equations on Timed Languages |
209
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
195
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
Optical flow estimation from image sequences has been for several years a mathematical process carried out by general purpose processors in no real time. In this work a specific a...
150
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
184
click to vote
ISOLA
2007
Springer
16 years 26 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
204
click to vote
SEW
2006
IEEE
16 years 21 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...