5639 search results - page 708 / 1128 » Timed Abstract Non-interference |
170
click to vote
ISF
2006
15 years 6 months ago
2006
Abstract Research in information security, risk management and investment has grown in importance over the last few years. However, without reliable estimates on attack probabiliti...
155
click to vote
ERCIM
2007
15 years 6 months ago
2007
t of view of the service itself. It is an abstracted version of the original service. An operating guideline of a service represents the possible communication behaviours of partne...
190
click to vote
NETWORK
2008
15 years 6 months ago
2008
Consider a scenario where Jane is at an airport. She wants to find a restaurant with healthy food and short waiting time on the way to her terminal. The airport can provide such s...
161
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract--We describe in this paper an audio denoising technique based on sparse linear regression with structured priors. The noisy signal is decomposed as a linear combination of...
155
click to vote
TCOM
2008
15 years 6 months ago
2008
Abstract-- Traditionally, conflict resolution in an inputbuffered switch is solved by finding a matching between inputs and outputs per time slot. To do this, a switch not only nee...