5639 search results - page 276 / 1128 » Timed Abstract Non-interference |
134
click to vote
ICARIS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The paper makes an attempt to introduce a new approach for detection of local singularities in signals, including one-dimensional time series and two-dimensional images. ...
119
Voted
ISW
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We introduce the notion of persistent authenticated dictionaries, that is, dictionaries where the user can make queries of the type “was element e in set S at time t?â€...
111
Voted
WADS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We develop succinct data structures to represent (i) a sequence of values to support partial sum and select queries and update (changing values) and (ii) a dynamic array ...
115
click to vote
ECMAST
1998
Springer
15 years 7 months ago
1998
Springer
We have de ned an execution architecture for playing back synchronized multimedia documents. We suppose that such documents i ed by means of several abstractions including hypertim...
120
click to vote
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract— Replay attacks on security protocols have been discussed for quite some time in the literature. However, the efforts to address these attacks have been largely incomple...