Sciweavers

4098 search results - page 517 / 820
» Sound mobility models
Sort
View
UML
2004
Springer
16 years 1 days ago
System-on-Chip Verification Process Using UML
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
Qiang Zhu, Tsuneo Nakata, Masataka Mine, Kenichiro...
GLOBECOM
2007
IEEE
15 years 8 months ago
Exploiting Single SISO Impulse Responses to Predict the Capacity of Correlated MIMO Channels
—A novel strategy of precalculating potential MIMO spectral efficiencies of correlated channels based on both, measured as well as appropriately modeled SISO channel impulse res...
Andreas Knopp, Christian A. Hofmann, Mohamed Choua...
LADC
2007
Springer
16 years 25 days ago
Gossiping: Adaptive and Reliable Broadcasting in MANETs
Given the frequent topology changes in Mobile Ad Hoc Networks (MANET), the choice of appropriate broadcasting techniques is crucial to ensure reliable delivery of messages. The spr...
Abdelmajid Khelil, Neeraj Suri
MSWIM
2003
ACM
15 years 12 months ago
Simulation of large ad hoc networks
An ad hoc network is formed by wireless mobile nodes (hosts) that operate as terminals as well as routers in the network, without any centralized administration. Research in ad ho...
Valeriy Naoumov, Thomas R. Gross
ECWEB
2007
Springer
155views ECommerce» more  ECWEB 2007»
15 years 10 months ago
A Secure Payment Protocol for Restricted Connectivity Scenarios in M-Commerce
A significant number of mobile payment systems have been proposed in recent years, most of them based on a scenario where all the entities are directly connected one to another (fo...
Jesús Téllez Isaac, José Sier...