2838 search results - page 508 / 568 » Verifying Controlled Components |
SAC
2008
ACM
13 years 8 months ago
2008
ACM
Human operators of large-scale control systems face the problem of information overload induced by the large amount of information provided by multiple heterogeneous and highlydyn...
TASLP
2008
13 years 8 months ago
2008
We propose in this paper a backward-compatible multichannel audio codec. This codec represents a multichannel audio input signal by a down mix and parametric data. In order to enab...
FGCS
2010
13 years 7 months ago
2010
This paper describes a conceptual model for attribute aggregation that allows a service provider (SP) to authorise a user’s access request based on attributes asserted by multip...
IAJIT
2010
13 years 7 months ago
2010
: Power amplifiers are essential components in communication systems and are inherently nonlinear. The nonlinearity creates spectral growth beyond the signal bandwidth, which inter...
ICALT
2010
IEEE
13 years 7 months ago
2010
IEEE
—Due to the difficulty and thus effort and expenses involved in creating them, personalization strategies in learning environments have to demonstrate a higher returnon-investmen...