266 search results - page 40 / 54 » Specification and Verification of Dynamic Communication Syst... |
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
—Rooted in a deep understanding of their major properties, a control paradigm for complex systems is proposed based on latest advances in modeling the dynamics of complex network...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper evaluates the effect of the channel estimation inaccuracy on the performance of an HSDPA system. This study provides some results from system level simulations that have...
ISITA
2010
13 years 6 months ago
2010
The NRL Network Pump R , or Pump, is a standard for mitigating covert channels that arise in a multi-level secure (MLS) system when a high user (HU) sends acknowledgements to a low...
JUCS
2008
13 years 8 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Freshness and accuracy are two key measures of quality of service (QoS) in location-based, mobile continual queries (CQs). However, it is often difficult to provide both fresh and ...