5639 search results - page 382 / 1128 » Timed Abstract Non-interference |
140
click to vote
MOR
2006
15 years 4 months ago
2006
Abstract. We solve the Poisson disorder problem when the delay is penalized exponentially. Our objective is to detect as quickly as possible the unobservable time of the change (or...
144
click to vote
IDA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present a method to extract a time series (Number of Active Requests (NAR)) from web cache logs which serves as a transport level measurement of internet traffic. This...
110
click to vote
SCL
2008
15 years 4 months ago
2008
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
139
click to vote
TAP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
127
click to vote
TIT
2008
15 years 4 months ago
2008
Abstract-- Distributed detection of information flows by timing analysis is considered. Timing measurements are subject to perturbations and the insertion of chaff noise. Moreover,...