5639 search results - page 370 / 1128 » Timed Abstract Non-interference |
131
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Employing COTS components in real-time embedded systems leads to timing challenges. When multiple CPU cores and DMA peripherals run simultaneously, contention for access...
166
click to vote
WOLLIC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
211
click to vote
ICIAR
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Real time and markerless motion capture is an active research area, due to applications in human-computer interactions, for example. A large part of the existing markerle...
154
click to vote
COLCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—For a complex distributed system to be dependable, it must be continuously monitored, so that its failures and imperfections can be discovered and corrected in a timely ...
127
click to vote
COLT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We develop three new techniques to build on the recent advances in online learning with kernels. First, we show that an exponential speed-up in prediction time per trial ...