5639 search results - page 806 / 1128 » Timed Abstract Non-interference |
124
click to vote
NOMS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Network monitoring and measurement is commonly regarded as an essential function for understanding, managing and improving the performance and security of network infra...
142
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
114
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We investigate channel estimation for single-carrierfrequency domain equalization (SC-FDE) system using the techniques typically used for an orthogonal frequency domain...
146
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract – Multiple-Input-Multiple-Output (MIMO) Orthogonal Frequency Division Multiplexing (OFDM) systems have recently attracted substantial research interest. However, compare...
117
click to vote
VTS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Numerous machine-learning-based test methodologies have been proposed in recent years as a fast alternative to the standard functional testing of mixed-signal/RF integr...