5639 search results - page 97 / 1128 » Timed Abstract Non-interference |
FTCS
1998
15 years 1 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
104
click to vote
BIRTHDAY
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. This paper considers how to adapt geometric algorithms, developed for content-based music retrieval of symbolically encoded music, to be robust against time deformations ...
107
click to vote
ENTCS
2006
14 years 12 months ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
JNW
2008
14 years 12 months ago
2008
Abstract-- We study the communication primitive of broadcasting (one-to-all communication) in known topology radio networks, i.e., where for each primitive the schedule of transmis...
110
click to vote
JBI
2007
14 years 11 months ago
2007
This paper deals with the exploration of biomedical multivariate time series to construct typical parameter evolution or scenarios. This task is known to be difficult: the tempora...